runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4253920-1501616910/watcher-4253920-1501616910 -o /tmp/evaluation-result-4253920-1501616910/solver-4253920-1501616910 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5183 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1991360021 HOME/instance-4253920-1501616910.xml
pid=9695
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.89 1.87 1.84 3/196 9698
/proc/meminfo: memFree=31718288/32770624 swapFree=0/184328
[pid=9698] ppid=9695 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9698/stat : 9698 (runsolver) D 9695 9698 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10307984 24240128 106 18446744073709551615 4194304 4338465 140723195415072 140723195412712 139659998614231 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 16904192 140723195416669 140723195417158 140723195417158 140723195420618 0
/proc/9698/statm: 5918 106 53 36 0 2156 0
[startup+0.100121 s]
/proc/loadavg: 1.89 1.87 1.84 3/196 9698
/proc/meminfo: memFree=31718288/32770624 swapFree=0/184328
[pid=9698] ppid=9695 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9698/stat : 9698 (xcsp3-exec) S 9695 9698 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10307984 9740288 345 18446744073709551615 4194304 5098028 140736507496880 140736507494984 139672537129596 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21041152 140736507498907 140736507499111 140736507499111 140736507502571 0
/proc/9698/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200242 s]
/proc/loadavg: 1.89 1.87 1.84 3/196 9698
/proc/meminfo: memFree=31718288/32770624 swapFree=0/184328
[pid=9698] ppid=9695 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9698/stat : 9698 (xcsp3-exec) S 9695 9698 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10307984 9740288 345 18446744073709551615 4194304 5098028 140736507496880 140736507494984 139672537129596 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21041152 140736507498907 140736507499111 140736507499111 140736507502571 0
/proc/9698/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.302146 s]
/proc/loadavg: 1.89 1.87 1.84 3/196 9698
/proc/meminfo: memFree=31718288/32770624 swapFree=0/184328
[pid=9698] ppid=9695 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9698/stat : 9698 (xcsp3-exec) S 9695 9698 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10307984 9740288 345 18446744073709551615 4194304 5098028 140736507496880 140736507494984 139672537129596 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21041152 140736507498907 140736507499111 140736507499111 140736507502571 0
/proc/9698/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.709074 s]
/proc/loadavg: 1.89 1.87 1.84 3/196 9698
/proc/meminfo: memFree=31718288/32770624 swapFree=0/184328
[pid=9698] ppid=9695 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9698/stat : 9698 (xcsp3-exec) S 9695 9698 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10307984 9740288 345 18446744073709551615 4194304 5098028 140736507496880 140736507494984 139672537129596 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21041152 140736507498907 140736507499111 140736507499111 140736507502571 0
/proc/9698/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50071 s]
/proc/loadavg: 1.98 1.89 1.85 3/212 9714
/proc/meminfo: memFree=31658780/32770624 swapFree=0/184296
[pid=9698] ppid=9695 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9698/stat : 9698 (xcsp3-exec) S 9695 9698 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10307984 9740288 345 18446744073709551615 4194304 5098028 140736507496880 140736507494984 139672537129596 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21041152 140736507498907 140736507499111 140736507499111 140736507502571 0
/proc/9698/statm: 2378 345 289 221 0 87 0
[pid=9700] ppid=9698 vsize=13980732 CPUtime=2.7 cores=0,2,4,6
/proc/9700/stat : 9700 (java) S 9698 9698 5123 0 -1 1077944320 16463 0 0 0 265 5 0 0 20 0 15 0 10307990 14316269568 19166 18446744073709551615 4194304 4196468 140720649645712 140720649628256 139674666385143 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
/proc/9700/statm: 3495183 19166 3172 1 0 3483484 0
[pid=9700/tid=9701] ppid=9698 vsize=13980732 CPUtime=1.39 cores=0,2,4,6
/proc/9700/task/9701/stat : 9701 (java) R 9698 9698 5123 0 -1 4202560 8782 0 0 0 136 3 0 0 20 0 15 0 10307991 14316269568 19166 18446744073709551615 4194304 4196468 140720649645712 139674670623128 139674304116912 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9702] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9702/stat : 9702 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 19166 18446744073709551615 4194304 4196468 140720649645712 139674623351440 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9703] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9703/stat : 9703 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 19166 18446744073709551615 4194304 4196468 140720649645712 139674622298640 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9704] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9704/stat : 9704 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 19166 18446744073709551615 4194304 4196468 140720649645712 139674621245840 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9705] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9705/stat : 9705 (java) S 9698 9698 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 19166 18446744073709551615 4194304 4196468 140720649645712 139674620193040 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9706] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9706/stat : 9706 (java) S 9698 9698 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 19166 18446744073709551615 4194304 4196468 140720649645712 139674144189296 139674666396290 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9707] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9707/stat : 9707 (java) S 9698 9698 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 19166 18446744073709551615 4194304 4196468 140720649645712 139674143135264 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9708] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9708/stat : 9708 (java) S 9698 9698 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 19166 18446744073709551615 4194304 4196468 140720649645712 139674142082416 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9709] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9709/stat : 9709 (java) S 9698 9698 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10307996 14316269568 19166 18446744073709551615 4194304 4196468 140720649645712 139674141030736 139674666403739 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9710] ppid=9698 vsize=13980732 CPUtime=0.46 cores=0,2,4,6
/proc/9700/task/9710/stat : 9710 (java) S 9698 9698 5123 0 -1 1077944384 2296 0 0 0 46 0 0 0 20 0 15 0 10307996 14316269568 19166 18446744073709551615 4194304 4196468 140720649645712 139674139978096 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9711] ppid=9698 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/9700/task/9711/stat : 9711 (java) S 9698 9698 5123 0 -1 1077944384 2098 0 0 0 42 0 0 0 20 0 15 0 10307996 14316269568 19166 18446744073709551615 4194304 4196468 140720649645712 139674138925296 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9712] ppid=9698 vsize=13980732 CPUtime=0.4 cores=0,2,4,6
/proc/9700/task/9712/stat : 9712 (java) S 9698 9698 5123 0 -1 1077944384 1968 0 0 0 40 0 0 0 20 0 15 0 10307996 14316269568 19166 18446744073709551615 4194304 4196468 140720649645712 139674137872496 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9713] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9713/stat : 9713 (java) S 9698 9698 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10307996 14316269568 19166 18446744073709551615 4194304 4196468 140720649645712 139674136819936 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9714] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9714/stat : 9714 (java) S 9698 9698 5123 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 10308000 14316269568 19166 18446744073709551615 4194304 4196468 140720649645712 139674135768240 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 13990244
[startup+3.10073 s]
/proc/loadavg: 1.98 1.89 1.85 4/212 9714
/proc/meminfo: memFree=31657656/32770624 swapFree=0/184296
[pid=9698] ppid=9695 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9698/stat : 9698 (xcsp3-exec) S 9695 9698 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10307984 9740288 345 18446744073709551615 4194304 5098028 140736507496880 140736507494984 139672537129596 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21041152 140736507498907 140736507499111 140736507499111 140736507502571 0
/proc/9698/statm: 2378 345 289 221 0 87 0
[pid=9700] ppid=9698 vsize=13980732 CPUtime=4.65 cores=0,2,4,6
/proc/9700/stat : 9700 (java) S 9698 9698 5123 0 -1 1077944320 18296 0 0 0 460 5 0 0 20 0 15 0 10307990 14316269568 19348 18446744073709551615 4194304 4196468 140720649645712 140720649628256 139674666385143 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
/proc/9700/statm: 3495183 19348 3176 1 0 3483484 0
[pid=9700/tid=9701] ppid=9698 vsize=13980732 CPUtime=2.99 cores=0,2,4,6
/proc/9700/task/9701/stat : 9701 (java) R 9698 9698 5123 0 -1 4202560 8830 0 0 0 296 3 0 0 20 0 15 0 10307991 14316269568 19348 18446744073709551615 4194304 4196468 140720649645712 139674670620848 139674304161477 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9702] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9702/stat : 9702 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 19348 18446744073709551615 4194304 4196468 140720649645712 139674623351440 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9703] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9703/stat : 9703 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 19348 18446744073709551615 4194304 4196468 140720649645712 139674622298640 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9704] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9704/stat : 9704 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 19348 18446744073709551615 4194304 4196468 140720649645712 139674621245840 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9705] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9705/stat : 9705 (java) S 9698 9698 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 19348 18446744073709551615 4194304 4196468 140720649645712 139674620193040 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9706] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9706/stat : 9706 (java) S 9698 9698 5123 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 19348 18446744073709551615 4194304 4196468 140720649645712 139674144189296 139674666396290 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9707] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9707/stat : 9707 (java) S 9698 9698 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 19348 18446744073709551615 4194304 4196468 140720649645712 139674143135264 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9708] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9708/stat : 9708 (java) S 9698 9698 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 19348 18446744073709551615 4194304 4196468 140720649645712 139674142082416 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9709] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9709/stat : 9709 (java) S 9698 9698 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10307996 14316269568 19348 18446744073709551615 4194304 4196468 140720649645712 139674141030736 139674666403739 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9710] ppid=9698 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/9700/task/9710/stat : 9710 (java) S 9698 9698 5123 0 -1 1077944384 2625 0 0 0 60 0 0 0 20 0 15 0 10307996 14316269568 19348 18446744073709551615 4194304 4196468 140720649645712 139674139978096 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9711] ppid=9698 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/9700/task/9711/stat : 9711 (java) S 9698 9698 5123 0 -1 1077944384 3402 0 0 0 61 0 0 0 20 0 15 0 10307996 14316269568 19348 18446744073709551615 4194304 4196468 140720649645712 139674138925296 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9712] ppid=9698 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/9700/task/9712/stat : 9712 (java) S 9698 9698 5123 0 -1 1077944384 2044 0 0 0 42 0 0 0 20 0 15 0 10307996 14316269568 19348 18446744073709551615 4194304 4196468 140720649645712 139674137872496 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9713] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9713/stat : 9713 (java) S 9698 9698 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10307996 14316269568 19348 18446744073709551615 4194304 4196468 140720649645712 139674136819936 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9714] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9714/stat : 9714 (java) S 9698 9698 5123 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 10308000 14316269568 19348 18446744073709551615 4194304 4196468 140720649645712 139674135768240 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 13990244
[startup+6.30074 s]
/proc/loadavg: 1.98 1.89 1.85 3/212 9714
/proc/meminfo: memFree=31653860/32770624 swapFree=0/184308
[pid=9698] ppid=9695 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9698/stat : 9698 (xcsp3-exec) S 9695 9698 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10307984 9740288 345 18446744073709551615 4194304 5098028 140736507496880 140736507494984 139672537129596 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21041152 140736507498907 140736507499111 140736507499111 140736507502571 0
/proc/9698/statm: 2378 345 289 221 0 87 0
[pid=9700] ppid=9698 vsize=13980732 CPUtime=8.21 cores=0,2,4,6
/proc/9700/stat : 9700 (java) S 9698 9698 5123 0 -1 1077944320 23507 0 0 0 815 6 0 0 20 0 15 0 10307990 14316269568 21265 18446744073709551615 4194304 4196468 140720649645712 140720649628256 139674666385143 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
/proc/9700/statm: 3495183 21265 3176 1 0 3483484 0
[pid=9700/tid=9701] ppid=9698 vsize=13980732 CPUtime=6.18 cores=0,2,4,6
/proc/9700/task/9701/stat : 9701 (java) R 9698 9698 5123 0 -1 4202560 9299 0 0 0 615 3 0 0 20 0 15 0 10307991 14316269568 21265 18446744073709551615 4194304 4196468 140720649645712 139674670620912 139674304677527 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9702] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9702/stat : 9702 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 21265 18446744073709551615 4194304 4196468 140720649645712 139674623351440 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9703] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9703/stat : 9703 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 21265 18446744073709551615 4194304 4196468 140720649645712 139674622298640 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9704] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9704/stat : 9704 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 21265 18446744073709551615 4194304 4196468 140720649645712 139674621245840 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9705] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9705/stat : 9705 (java) S 9698 9698 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 21265 18446744073709551615 4194304 4196468 140720649645712 139674620193040 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9706] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9706/stat : 9706 (java) S 9698 9698 5123 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 21265 18446744073709551615 4194304 4196468 140720649645712 139674144189296 139674666396290 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9707] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9707/stat : 9707 (java) S 9698 9698 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 21265 18446744073709551615 4194304 4196468 140720649645712 139674143135264 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9708] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9708/stat : 9708 (java) S 9698 9698 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 21265 18446744073709551615 4194304 4196468 140720649645712 139674142082416 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9709] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9709/stat : 9709 (java) S 9698 9698 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10307996 14316269568 21265 18446744073709551615 4194304 4196468 140720649645712 139674141030736 139674666403739 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9710] ppid=9698 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/9700/task/9710/stat : 9710 (java) S 9698 9698 5123 0 -1 1077944384 4896 0 0 0 75 0 0 0 20 0 15 0 10307996 14316269568 21265 18446744073709551615 4194304 4196468 140720649645712 139674139978096 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9711] ppid=9698 vsize=13980732 CPUtime=0.81 cores=0,2,4,6
/proc/9700/task/9711/stat : 9711 (java) S 9698 9698 5123 0 -1 1077944384 5064 0 0 0 80 1 0 0 20 0 15 0 10307996 14316269568 21265 18446744073709551615 4194304 4196468 140720649645712 139674138925296 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9712] ppid=9698 vsize=13980732 CPUtime=0.43 cores=0,2,4,6
/proc/9700/task/9712/stat : 9712 (java) S 9698 9698 5123 0 -1 1077944384 2210 0 0 0 43 0 0 0 20 0 15 0 10307996 14316269568 21265 18446744073709551615 4194304 4196468 140720649645712 139674137872496 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9713] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9713/stat : 9713 (java) S 9698 9698 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10307996 14316269568 21265 18446744073709551615 4194304 4196468 140720649645712 139674136819936 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9714] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9714/stat : 9714 (java) S 9698 9698 5123 0 -1 1077944384 398 0 0 0 0 0 0 0 20 0 15 0 10308000 14316269568 21265 18446744073709551615 4194304 4196468 140720649645712 139674135768240 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
Current children cumulated CPU time (s) 8.21
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.98 1.89 1.85 3/212 9714
/proc/meminfo: memFree=31660872/32770624 swapFree=0/184312
[pid=9698] ppid=9695 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9698/stat : 9698 (xcsp3-exec) S 9695 9698 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10307984 9740288 345 18446744073709551615 4194304 5098028 140736507496880 140736507494984 139672537129596 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21041152 140736507498907 140736507499111 140736507499111 140736507502571 0
/proc/9698/statm: 2378 345 289 221 0 87 0
[pid=9700] ppid=9698 vsize=13980732 CPUtime=14.77 cores=0,2,4,6
/proc/9700/stat : 9700 (java) S 9698 9698 5123 0 -1 1077944320 26797 0 0 0 1470 7 0 0 20 0 15 0 10307990 14316269568 21201 18446744073709551615 4194304 4196468 140720649645712 140720649628256 139674666385143 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
/proc/9700/statm: 3495183 21201 3176 1 0 3483484 0
[pid=9700/tid=9701] ppid=9698 vsize=13980732 CPUtime=12.58 cores=0,2,4,6
/proc/9700/task/9701/stat : 9701 (java) R 9698 9698 5123 0 -1 4202560 9759 0 0 0 1255 3 0 0 20 0 15 0 10307991 14316269568 21201 18446744073709551615 4194304 4196468 140720649645712 139674670620880 139674303883296 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9702] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9702/stat : 9702 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 21201 18446744073709551615 4194304 4196468 140720649645712 139674623351440 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9703] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9703/stat : 9703 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 21201 18446744073709551615 4194304 4196468 140720649645712 139674622298640 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
################
# More data... #
################
[pid=9700/tid=9707] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9707/stat : 9707 (java) S 9698 9698 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 22652 18446744073709551615 4194304 4196468 140720649645712 139674143135264 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9708] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9708/stat : 9708 (java) S 9698 9698 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 22652 18446744073709551615 4194304 4196468 140720649645712 139674142082416 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9709] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9709/stat : 9709 (java) S 9698 9698 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10307996 14316269568 22652 18446744073709551615 4194304 4196468 140720649645712 139674141030736 139674666403739 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9710] ppid=9698 vsize=13980732 CPUtime=1.25 cores=0,2,4,6
/proc/9700/task/9710/stat : 9710 (java) S 9698 9698 5123 0 -1 1077944384 11449 0 0 0 124 1 0 0 20 0 15 0 10307996 14316269568 22652 18446744073709551615 4194304 4196468 140720649645712 139674139978096 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9711] ppid=9698 vsize=13980732 CPUtime=1.29 cores=0,2,4,6
/proc/9700/task/9711/stat : 9711 (java) S 9698 9698 5123 0 -1 1077944384 11518 0 0 0 127 2 0 0 20 0 15 0 10307996 14316269568 22652 18446744073709551615 4194304 4196468 140720649645712 139674138925296 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9712] ppid=9698 vsize=13980732 CPUtime=0.51 cores=0,2,4,6
/proc/9700/task/9712/stat : 9712 (java) S 9698 9698 5123 0 -1 1077944384 5360 0 0 0 50 1 0 0 20 0 15 0 10307996 14316269568 22652 18446744073709551615 4194304 4196468 140720649645712 139674137872496 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9713] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9713/stat : 9713 (java) S 9698 9698 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10307996 14316269568 22652 18446744073709551615 4194304 4196468 140720649645712 139674136819936 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9714] ppid=9698 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/9700/task/9714/stat : 9714 (java) S 9698 9698 5123 0 -1 1077944384 1261 0 0 0 1 1 0 0 20 0 15 0 10308000 14316269568 22652 18446744073709551615 4194304 4196468 140720649645712 139674135768240 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
Current children cumulated CPU time (s) 105.3
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.00 1.91 1.86 3/211 9796
/proc/meminfo: memFree=31394884/32770624 swapFree=0/184480
[pid=9698] ppid=9695 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9698/stat : 9698 (xcsp3-exec) S 9695 9698 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10307984 9740288 345 18446744073709551615 4194304 5098028 140736507496880 140736507494984 139672537129596 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21041152 140736507498907 140736507499111 140736507499111 140736507502571 0
/proc/9698/statm: 2378 345 289 221 0 87 0
[pid=9700] ppid=9698 vsize=13980732 CPUtime=165.61 cores=0,2,4,6
/proc/9700/stat : 9700 (java) S 9698 9698 5123 0 -1 1077944320 48449 0 0 0 16550 11 0 0 20 0 15 0 10307990 14316269568 23270 18446744073709551615 4194304 4196468 140720649645712 140720649628256 139674666385143 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
/proc/9700/statm: 3495183 23270 3183 1 0 3483484 0
[pid=9700/tid=9701] ppid=9698 vsize=13980732 CPUtime=162.18 cores=0,2,4,6
/proc/9700/task/9701/stat : 9701 (java) R 9698 9698 5123 0 -1 4202560 12852 0 0 0 16215 3 0 0 20 0 15 0 10307991 14316269568 23270 18446744073709551615 4194304 4196468 140720649645712 139674670621976 139674304559080 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9702] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9702/stat : 9702 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 23270 18446744073709551615 4194304 4196468 140720649645712 139674623351440 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9703] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9703/stat : 9703 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 23270 18446744073709551615 4194304 4196468 140720649645712 139674622298640 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9704] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9704/stat : 9704 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 23270 18446744073709551615 4194304 4196468 140720649645712 139674621245840 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9705] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9705/stat : 9705 (java) S 9698 9698 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 23270 18446744073709551615 4194304 4196468 140720649645712 139674620193040 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9706] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9706/stat : 9706 (java) S 9698 9698 5123 0 -1 1077944384 582 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 23270 18446744073709551615 4194304 4196468 140720649645712 139674144189296 139674666396290 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9707] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9707/stat : 9707 (java) S 9698 9698 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 23270 18446744073709551615 4194304 4196468 140720649645712 139674143135264 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9708] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9708/stat : 9708 (java) S 9698 9698 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 23270 18446744073709551615 4194304 4196468 140720649645712 139674142082416 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9709] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9709/stat : 9709 (java) S 9698 9698 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10307996 14316269568 23270 18446744073709551615 4194304 4196468 140720649645712 139674141030736 139674666403739 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9710] ppid=9698 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/9700/task/9710/stat : 9710 (java) S 9698 9698 5123 0 -1 1077944384 13211 0 0 0 135 1 0 0 20 0 15 0 10307996 14316269568 23270 18446744073709551615 4194304 4196468 140720649645712 139674139978096 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9711] ppid=9698 vsize=13980732 CPUtime=1.46 cores=0,2,4,6
/proc/9700/task/9711/stat : 9711 (java) S 9698 9698 5123 0 -1 1077944384 13364 0 0 0 144 2 0 0 20 0 15 0 10307996 14316269568 23270 18446744073709551615 4194304 4196468 140720649645712 139674138925296 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9712] ppid=9698 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/9700/task/9712/stat : 9712 (java) S 9698 9698 5123 0 -1 1077944384 5831 0 0 0 51 1 0 0 20 0 15 0 10307996 14316269568 23270 18446744073709551615 4194304 4196468 140720649645712 139674137872496 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9713] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9713/stat : 9713 (java) S 9698 9698 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10307996 14316269568 23270 18446744073709551615 4194304 4196468 140720649645712 139674136819936 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9714] ppid=9698 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/9700/task/9714/stat : 9714 (java) S 9698 9698 5123 0 -1 1077944384 1308 0 0 0 2 2 0 0 20 0 15 0 10308000 14316269568 23270 18446744073709551615 4194304 4196468 140720649645712 139674135768240 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
Current children cumulated CPU time (s) 165.61
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 2.00 1.92 1.87 3/211 9798
/proc/meminfo: memFree=31307680/32770624 swapFree=0/184516
[pid=9698] ppid=9695 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9698/stat : 9698 (xcsp3-exec) S 9695 9698 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10307984 9740288 345 18446744073709551615 4194304 5098028 140736507496880 140736507494984 139672537129596 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21041152 140736507498907 140736507499111 140736507499111 140736507502571 0
/proc/9698/statm: 2378 345 289 221 0 87 0
[pid=9700] ppid=9698 vsize=13980732 CPUtime=225.71 cores=0,2,4,6
/proc/9700/stat : 9700 (java) S 9698 9698 5123 0 -1 1077944320 51297 0 0 0 22559 12 0 0 20 0 15 0 10307990 14316269568 23796 18446744073709551615 4194304 4196468 140720649645712 140720649628256 139674666385143 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
/proc/9700/statm: 3495183 23796 3183 1 0 3483484 0
[pid=9700/tid=9701] ppid=9698 vsize=13980732 CPUtime=222.18 cores=0,2,4,6
/proc/9700/task/9701/stat : 9701 (java) R 9698 9698 5123 0 -1 4202560 13354 0 0 0 22215 3 0 0 20 0 15 0 10307991 14316269568 23796 18446744073709551615 4194304 4196468 140720649645712 139674670621456 139674304904789 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9702] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9702/stat : 9702 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 23796 18446744073709551615 4194304 4196468 140720649645712 139674623351440 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9703] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9703/stat : 9703 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 23796 18446744073709551615 4194304 4196468 140720649645712 139674622298640 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9704] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9704/stat : 9704 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 23796 18446744073709551615 4194304 4196468 140720649645712 139674621245840 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9705] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9705/stat : 9705 (java) S 9698 9698 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 23796 18446744073709551615 4194304 4196468 140720649645712 139674620193040 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9706] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9706/stat : 9706 (java) S 9698 9698 5123 0 -1 1077944384 626 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 23796 18446744073709551615 4194304 4196468 140720649645712 139674144189296 139674666396290 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9707] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9707/stat : 9707 (java) S 9698 9698 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 23796 18446744073709551615 4194304 4196468 140720649645712 139674143135264 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9708] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9708/stat : 9708 (java) S 9698 9698 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 23796 18446744073709551615 4194304 4196468 140720649645712 139674142082416 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9709] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9709/stat : 9709 (java) S 9698 9698 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10307996 14316269568 23796 18446744073709551615 4194304 4196468 140720649645712 139674141030736 139674666403739 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9710] ppid=9698 vsize=13980732 CPUtime=1.4 cores=0,2,4,6
/proc/9700/task/9710/stat : 9710 (java) S 9698 9698 5123 0 -1 1077944384 13985 0 0 0 139 1 0 0 20 0 15 0 10307996 14316269568 23796 18446744073709551615 4194304 4196468 140720649645712 139674139978096 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9711] ppid=9698 vsize=13980732 CPUtime=1.5 cores=0,2,4,6
/proc/9700/task/9711/stat : 9711 (java) S 9698 9698 5123 0 -1 1077944384 14741 0 0 0 148 2 0 0 20 0 15 0 10307996 14316269568 23796 18446744073709551615 4194304 4196468 140720649645712 139674138925296 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9712] ppid=9698 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/9700/task/9712/stat : 9712 (java) S 9698 9698 5123 0 -1 1077944384 5955 0 0 0 51 1 0 0 20 0 15 0 10307996 14316269568 23796 18446744073709551615 4194304 4196468 140720649645712 139674137872496 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9713] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9713/stat : 9713 (java) S 9698 9698 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10307996 14316269568 23796 18446744073709551615 4194304 4196468 140720649645712 139674136819936 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9714] ppid=9698 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/9700/task/9714/stat : 9714 (java) S 9698 9698 5123 0 -1 1077944384 1335 0 0 0 2 4 0 0 20 0 15 0 10308000 14316269568 23796 18446744073709551615 4194304 4196468 140720649645712 139674135768240 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
Current children cumulated CPU time (s) 225.71
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.00 1.93 1.87 3/211 9799
/proc/meminfo: memFree=31194792/32770624 swapFree=0/184524
[pid=9698] ppid=9695 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9698/stat : 9698 (xcsp3-exec) S 9695 9698 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10307984 9740288 345 18446744073709551615 4194304 5098028 140736507496880 140736507494984 139672537129596 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21041152 140736507498907 140736507499111 140736507499111 140736507502571 0
/proc/9698/statm: 2378 345 289 221 0 87 0
[pid=9700] ppid=9698 vsize=13980732 CPUtime=243.41 cores=0,2,4,6
/proc/9700/stat : 9700 (java) S 9698 9698 5123 0 -1 1077944320 51607 0 0 0 24329 12 0 0 20 0 15 0 10307990 14316269568 26569 18446744073709551615 4194304 4196468 140720649645712 140720649628256 139674666385143 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
/proc/9700/statm: 3495183 26569 3183 1 0 3483484 0
[pid=9700/tid=9701] ppid=9698 vsize=13980732 CPUtime=239.88 cores=0,2,4,6
/proc/9700/task/9701/stat : 9701 (java) R 9698 9698 5123 0 -1 4202560 13624 0 0 0 23985 3 0 0 20 0 15 0 10307991 14316269568 26569 18446744073709551615 4194304 4196468 140720649645712 139674670621456 139674304921894 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9702] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9702/stat : 9702 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 26569 18446744073709551615 4194304 4196468 140720649645712 139674623351440 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9703] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9703/stat : 9703 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 26569 18446744073709551615 4194304 4196468 140720649645712 139674622298640 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9704] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9704/stat : 9704 (java) S 9698 9698 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 26569 18446744073709551615 4194304 4196468 140720649645712 139674621245840 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9705] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9705/stat : 9705 (java) S 9698 9698 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10307991 14316269568 26569 18446744073709551615 4194304 4196468 140720649645712 139674620193040 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9706] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9706/stat : 9706 (java) S 9698 9698 5123 0 -1 1077944384 632 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 26569 18446744073709551615 4194304 4196468 140720649645712 139674144189296 139674666396290 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9707] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9707/stat : 9707 (java) S 9698 9698 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 26569 18446744073709551615 4194304 4196468 140720649645712 139674143135264 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9708] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9708/stat : 9708 (java) S 9698 9698 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10307993 14316269568 26569 18446744073709551615 4194304 4196468 140720649645712 139674142082416 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9709] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9709/stat : 9709 (java) S 9698 9698 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10307996 14316269568 26569 18446744073709551615 4194304 4196468 140720649645712 139674141030736 139674666403739 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9710] ppid=9698 vsize=13980732 CPUtime=1.4 cores=0,2,4,6
/proc/9700/task/9710/stat : 9710 (java) S 9698 9698 5123 0 -1 1077944384 13988 0 0 0 139 1 0 0 20 0 15 0 10307996 14316269568 26569 18446744073709551615 4194304 4196468 140720649645712 139674139978096 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9711] ppid=9698 vsize=13980732 CPUtime=1.5 cores=0,2,4,6
/proc/9700/task/9711/stat : 9711 (java) S 9698 9698 5123 0 -1 1077944384 14744 0 0 0 148 2 0 0 20 0 15 0 10307996 14316269568 26569 18446744073709551615 4194304 4196468 140720649645712 139674138925296 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9712] ppid=9698 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/9700/task/9712/stat : 9712 (java) S 9698 9698 5123 0 -1 1077944384 5962 0 0 0 51 1 0 0 20 0 15 0 10307996 14316269568 26569 18446744073709551615 4194304 4196468 140720649645712 139674137872496 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9713] ppid=9698 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9700/task/9713/stat : 9713 (java) S 9698 9698 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10307996 14316269568 26569 18446744073709551615 4194304 4196468 140720649645712 139674136819936 139674666395349 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
[pid=9700/tid=9714] ppid=9698 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/9700/task/9714/stat : 9714 (java) S 9698 9698 5123 0 -1 1077944384 1356 0 0 0 2 4 0 0 20 0 15 0 10308000 14316269568 26569 18446744073709551615 4194304 4196468 140720649645712 139674135768240 139674666396290 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22036480 140720649650644 140720649650819 140720649650819 140720649654223 0
Current children cumulated CPU time (s) 243.41
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9700 sig 9
??? kill 9698 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9698 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1983
# CPU time returned by wait4() is 0.001983
# while last known CPU time is 243.41
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 243.41
CPU user time (s): 243.29
CPU system time (s): 0.12
CPU usage (%): 101.417
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001983
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06859 second user time and 1.32229 second system time
The end