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-4254004-1501617485/watcher-4254004-1501617485 -o /tmp/evaluation-result-4254004-1501617485/solver-4254004-1501617485 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501610528-5289 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 731822138 HOME/instance-4254004-1501617485.xml
pid=10275
running on 4 cores: 1,3,5,7
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: 2.02 1.98 1.95 4/200 10278
/proc/meminfo: memFree=31275876/32770624 swapFree=0/185828
[pid=10278] ppid=10275 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10278/stat : 10278 (runsolver) D 10275 10278 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9563824 24240128 108 18446744073709551615 4194304 4338465 140732676104336 140732676101976 140539182199511 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 38641664 140732676108382 140732676108870 140732676108870 140732676112330 0
/proc/10278/statm: 5918 108 54 36 0 2156 0
[startup+0.100156 s]
/proc/loadavg: 2.02 1.98 1.95 4/200 10278
/proc/meminfo: memFree=31275876/32770624 swapFree=0/185828
[pid=10278] ppid=10275 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10278/stat : 10278 (runsolver) D 10275 10278 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9563824 24240128 108 18446744073709551615 4194304 4338465 140732676104336 140732676101976 140539182199511 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 38641664 140732676108382 140732676108870 140732676108870 140732676112330 0
/proc/10278/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200325 s]
/proc/loadavg: 2.02 1.98 1.95 4/200 10278
/proc/meminfo: memFree=31275876/32770624 swapFree=0/185828
[pid=10278] ppid=10275 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9563824 9740288 344 18446744073709551615 4194304 5098028 140729432873712 140729432871816 140655589081724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 13774848 140729432879516 140729432879719 140729432879719 140729432883179 0
/proc/10278/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300247 s]
/proc/loadavg: 2.02 1.98 1.95 4/200 10278
/proc/meminfo: memFree=31275876/32770624 swapFree=0/185828
[pid=10278] ppid=10275 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9563824 9740288 344 18446744073709551615 4194304 5098028 140729432873712 140729432871816 140655589081724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 13774848 140729432879516 140729432879719 140729432879719 140729432883179 0
/proc/10278/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.702553 s]
/proc/loadavg: 2.02 1.98 1.95 4/200 10278
/proc/meminfo: memFree=31275876/32770624 swapFree=0/185828
[pid=10278] ppid=10275 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9563824 9740288 344 18446744073709551615 4194304 5098028 140729432873712 140729432871816 140655589081724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 13774848 140729432879516 140729432879719 140729432879719 140729432883179 0
/proc/10278/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50071 s]
/proc/loadavg: 2.18 2.01 1.96 5/216 10294
/proc/meminfo: memFree=31116360/32770624 swapFree=0/185848
[pid=10278] ppid=10275 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9563824 9740288 344 18446744073709551615 4194304 5098028 140729432873712 140729432871816 140655589081724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 13774848 140729432879516 140729432879719 140729432879719 140729432883179 0
/proc/10278/statm: 2378 344 289 221 0 87 0
[pid=10280] ppid=10278 vsize=13980732 CPUtime=3.67 cores=1,3,5,7
/proc/10280/stat : 10280 (java) S 10278 10278 5228 0 -1 1077944320 26250 0 0 0 360 7 0 0 20 0 15 0 9563836 14316269568 44561 18446744073709551615 4194304 4196468 140727937035360 140727937017904 139910373383927 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
/proc/10280/statm: 3495183 44561 3174 1 0 3483484 0
[pid=10280/tid=10281] ppid=10278 vsize=13980732 CPUtime=1.31 cores=1,3,5,7
/proc/10280/task/10281/stat : 10281 (java) R 10278 10278 5228 0 -1 4202560 9270 0 0 0 127 4 0 0 20 0 15 0 9563836 14316269568 44561 18446744073709551615 4194304 4196468 140727937035360 139910377615184 139909990358351 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10282] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10282/stat : 10282 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 44561 18446744073709551615 4194304 4196468 140727937035360 139910307818640 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10283] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10283/stat : 10283 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 44561 18446744073709551615 4194304 4196468 140727937035360 139910306765840 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10284] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10284/stat : 10284 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 44561 18446744073709551615 4194304 4196468 140727937035360 139910305713040 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10285] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10285/stat : 10285 (java) S 10278 10278 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 44561 18446744073709551615 4194304 4196468 140727937035360 139909970705168 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10286] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10286/stat : 10286 (java) S 10278 10278 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9563838 14316269568 44561 18446744073709551615 4194304 4196468 140727937035360 139909852035440 139910373395074 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10287] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10287/stat : 10287 (java) S 10278 10278 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9563838 14316269568 44561 18446744073709551615 4194304 4196468 140727937035360 139909850981408 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10288] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10288/stat : 10288 (java) S 10278 10278 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9563839 14316269568 44561 18446744073709551615 4194304 4196468 140727937035360 139909849928560 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10289] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10289/stat : 10289 (java) S 10278 10278 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9563841 14316269568 44561 18446744073709551615 4194304 4196468 140727937035360 139909848876880 139910373402523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10290] ppid=10278 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/10280/task/10290/stat : 10290 (java) R 10278 10278 5228 0 -1 4202560 7694 0 0 0 92 0 0 0 20 0 15 0 9563841 14316269568 44561 18446744073709551615 4194304 4196468 140727937035360 139909847808640 139910354905276 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10291] ppid=10278 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/10280/task/10291/stat : 10291 (java) R 10278 10278 5228 0 -1 4202560 5566 0 0 0 91 0 0 0 20 0 15 0 9563841 14316269568 44561 18446744073709551615 4194304 4196468 140727937035360 139909846760816 139910358509716 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10292] ppid=10278 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/10280/task/10292/stat : 10292 (java) S 10278 10278 5228 0 -1 1077944384 2412 0 0 0 47 0 0 0 20 0 15 0 9563841 14316269568 44561 18446744073709551615 4194304 4196468 140727937035360 139909845719664 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10293] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10293/stat : 10293 (java) S 10278 10278 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9563841 14316269568 44561 18446744073709551615 4194304 4196468 140727937035360 139909844667104 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10294] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10294/stat : 10294 (java) S 10278 10278 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9563846 14316269568 44561 18446744073709551615 4194304 4196468 140727937035360 139909843614384 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 13990244
[startup+3.10061 s]
/proc/loadavg: 2.18 2.01 1.96 4/216 10294
/proc/meminfo: memFree=31109028/32770624 swapFree=0/185848
[pid=10278] ppid=10275 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9563824 9740288 344 18446744073709551615 4194304 5098028 140729432873712 140729432871816 140655589081724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 13774848 140729432879516 140729432879719 140729432879719 140729432883179 0
/proc/10278/statm: 2378 344 289 221 0 87 0
[pid=10280] ppid=10278 vsize=13980732 CPUtime=6.02 cores=1,3,5,7
/proc/10280/stat : 10280 (java) S 10278 10278 5228 0 -1 1077944320 27344 0 0 0 594 8 0 0 20 0 15 0 9563836 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 140727937017904 139910373383927 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
/proc/10280/statm: 3495183 45281 3178 1 0 3483484 0
[pid=10280/tid=10281] ppid=10278 vsize=13980732 CPUtime=2.91 cores=1,3,5,7
/proc/10280/task/10281/stat : 10281 (java) R 10278 10278 5228 0 -1 4202560 9598 0 0 0 287 4 0 0 20 0 15 0 9563836 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139910377619824 139909991719232 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10282] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10282/stat : 10282 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139910307818640 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10283] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10283/stat : 10283 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139910306765840 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10284] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10284/stat : 10284 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139910305713040 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10285] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10285/stat : 10285 (java) S 10278 10278 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909970705168 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10286] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10286/stat : 10286 (java) S 10278 10278 5228 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 9563838 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909852035440 139910373395074 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10287] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10287/stat : 10287 (java) S 10278 10278 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9563838 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909850981408 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10288] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10288/stat : 10288 (java) S 10278 10278 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9563839 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909849928560 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10289] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10289/stat : 10289 (java) S 10278 10278 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9563841 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909848876880 139910373402523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10290] ppid=10278 vsize=13980732 CPUtime=1.28 cores=1,3,5,7
/proc/10280/task/10290/stat : 10290 (java) S 10278 10278 5228 0 -1 1077944384 8014 0 0 0 127 1 0 0 20 0 15 0 9563841 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909847825264 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10291] ppid=10278 vsize=13980732 CPUtime=1.28 cores=1,3,5,7
/proc/10280/task/10291/stat : 10291 (java) S 10278 10278 5228 0 -1 1077944384 5784 0 0 0 127 1 0 0 20 0 15 0 9563841 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909846772464 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10292] ppid=10278 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/10280/task/10292/stat : 10292 (java) S 10278 10278 5228 0 -1 1077944384 2593 0 0 0 52 0 0 0 20 0 15 0 9563841 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909845719664 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10293] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10293/stat : 10293 (java) S 10278 10278 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9563841 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909844667104 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10294] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10294/stat : 10294 (java) S 10278 10278 5228 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 9563846 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909843614384 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10280 sig 9
??? kill 10278 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20755 s]
/proc/loadavg: 2.18 2.01 1.96 4/216 10294
/proc/meminfo: memFree=31109028/32770624 swapFree=0/185848
[pid=10278] ppid=10275 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9563824 9740288 344 18446744073709551615 4194304 5098028 140729432873712 140729432871816 140655589081724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 13774848 140729432879516 140729432879719 140729432879719 140729432883179 0
/proc/10278/statm: 2378 344 289 221 0 87 0
[pid=10280] ppid=10278 vsize=13980732 CPUtime=6.15 cores=1,3,5,7
/proc/10280/stat : 10280 (java) S 10278 10278 5228 0 -1 1077944320 27391 0 0 0 607 8 0 0 20 0 15 0 9563836 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 140727937017904 139910373383927 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
/proc/10280/statm: 3495183 45281 3178 1 0 3483484 0
[pid=10280/tid=10281] ppid=10278 vsize=13980732 CPUtime=3.02 cores=1,3,5,7
/proc/10280/task/10281/stat : 10281 (java) R 10278 10278 5228 0 -1 4202560 9609 0 0 0 298 4 0 0 20 0 15 0 9563836 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139910377619824 139909991205097 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10282] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10282/stat : 10282 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139910307818640 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10283] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10283/stat : 10283 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139910306765840 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10284] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10284/stat : 10284 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139910305713040 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10285] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10285/stat : 10285 (java) S 10278 10278 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909970705168 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10286] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10286/stat : 10286 (java) S 10278 10278 5228 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 9563838 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909852035440 139910373395074 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10287] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10287/stat : 10287 (java) S 10278 10278 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9563838 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909850981408 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10288] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10288/stat : 10288 (java) S 10278 10278 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9563839 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909849928560 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10289] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10289/stat : 10289 (java) S 10278 10278 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9563841 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909848876880 139910373402523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10290] ppid=10278 vsize=13980732 CPUtime=1.28 cores=1,3,5,7
/proc/10280/task/10290/stat : 10290 (java) S 10278 10278 5228 0 -1 1077944384 8026 0 0 0 127 1 0 0 20 0 15 0 9563841 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909847825264 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10291] ppid=10278 vsize=13980732 CPUtime=1.29 cores=1,3,5,7
/proc/10280/task/10291/stat : 10291 (java) R 10278 10278 5228 0 -1 4202560 5803 0 0 0 128 1 0 0 20 0 15 0 9563841 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909846758528 139910356794818 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10292] ppid=10278 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/10280/task/10292/stat : 10292 (java) S 10278 10278 5228 0 -1 1077944384 2598 0 0 0 52 0 0 0 20 0 15 0 9563841 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909845719664 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10293] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10293/stat : 10293 (java) S 10278 10278 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9563841 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909844667104 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10294] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10294/stat : 10294 (java) S 10278 10278 5228 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 9563846 14316269568 45281 18446744073709551615 4194304 4196468 140727937035360 139909843614384 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 13990244
[startup+4.80064 s]
/proc/loadavg: 2.18 2.01 1.96 3/216 10295
/proc/meminfo: memFree=31104184/32770624 swapFree=0/185856
[pid=10278] ppid=10275 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9563824 9740288 344 18446744073709551615 4194304 5098028 140729432873712 140729432871816 140655589081724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 13774848 140729432879516 140729432879719 140729432879719 140729432883179 0
/proc/10278/statm: 2378 344 289 221 0 87 0
[pid=10280] ppid=10278 vsize=13980732 CPUtime=7.96 cores=1,3,5,7
/proc/10280/stat : 10280 (java) S 10278 10278 5228 0 -1 1077944320 29405 0 0 0 788 8 0 0 20 0 15 0 9563836 14316269568 45855 18446744073709551615 4194304 4196468 140727937035360 140727937017904 139910373383927 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
/proc/10280/statm: 3495183 45856 3186 1 0 3483484 0
[pid=10280/tid=10281] ppid=10278 vsize=13980732 CPUtime=4.61 cores=1,3,5,7
/proc/10280/task/10281/stat : 10281 (java) R 10278 10278 5228 0 -1 4202560 10100 0 0 0 457 4 0 0 20 0 15 0 9563836 14316269568 45856 18446744073709551615 4194304 4196468 140727937035360 139910377620728 139909990358351 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10282] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10282/stat : 10282 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 45856 18446744073709551615 4194304 4196468 140727937035360 139910307818640 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10283] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10283/stat : 10283 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 45856 18446744073709551615 4194304 4196468 140727937035360 139910306765840 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10284] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10284/stat : 10284 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 45856 18446744073709551615 4194304 4196468 140727937035360 139910305713040 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10285] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10285/stat : 10285 (java) S 10278 10278 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 45856 18446744073709551615 4194304 4196468 140727937035360 139909970705168 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10286] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10286/stat : 10286 (java) S 10278 10278 5228 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 15 0 9563838 14316269568 45856 18446744073709551615 4194304 4196468 140727937035360 139909852035440 139910373395074 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10287] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10287/stat : 10287 (java) S 10278 10278 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9563838 14316269568 45856 18446744073709551615 4194304 4196468 140727937035360 139909850981408 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10288] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10288/stat : 10288 (java) S 10278 10278 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9563839 14316269568 45856 18446744073709551615 4194304 4196468 140727937035360 139909849928560 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10289] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10289/stat : 10289 (java) S 10278 10278 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9563841 14316269568 45856 18446744073709551615 4194304 4196468 140727937035360 139909848876880 139910373402523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10290] ppid=10278 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/10280/task/10290/stat : 10290 (java) R 10278 10278 5228 0 -1 4202560 8207 0 0 0 136 1 0 0 20 0 15 0 9563841 14316269568 45856 18446744073709551615 4194304 4196468 140727937035360 139909847825264 139910352881223 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10291] ppid=10278 vsize=13980732 CPUtime=1.41 cores=1,3,5,7
/proc/10280/task/10291/stat : 10291 (java) R 10278 10278 5228 0 -1 4202560 6808 0 0 0 140 1 0 0 20 0 15 0 9563841 14316269568 45856 18446744073709551615 4194304 4196468 140727937035360 139909846772464 139910357780763 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10292] ppid=10278 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/10280/task/10292/stat : 10292 (java) S 10278 10278 5228 0 -1 1077944384 2758 0 0 0 53 0 0 0 20 0 15 0 9563841 14316269568 45856 18446744073709551615 4194304 4196468 140727937035360 139909845719664 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10293] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10293/stat : 10293 (java) S 10278 10278 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9563841 14316269568 45856 18446744073709551615 4194304 4196468 140727937035360 139909844667104 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10294] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10294/stat : 10294 (java) S 10278 10278 5228 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 9563846 14316269568 45856 18446744073709551615 4194304 4196468 140727937035360 139909843614384 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 13990244
[startup+5.60648 s]
/proc/loadavg: 2.18 2.01 1.96 3/216 10295
/proc/meminfo: memFree=31112640/32770624 swapFree=0/185860
[pid=10278] ppid=10275 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9563824 9740288 344 18446744073709551615 4194304 5098028 140729432873712 140729432871816 140655589081724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 13774848 140729432879516 140729432879719 140729432879719 140729432883179 0
/proc/10278/statm: 2378 344 289 221 0 87 0
[pid=10280] ppid=10278 vsize=13980732 CPUtime=8.93 cores=1,3,5,7
/proc/10280/stat : 10280 (java) S 10278 10278 5228 0 -1 1077944320 31322 0 0 0 885 8 0 0 20 0 15 0 9563836 14316269568 43549 18446744073709551615 4194304 4196468 140727937035360 140727937017904 139910373383927 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
/proc/10280/statm: 3495183 43549 3186 1 0 3483484 0
[pid=10280/tid=10281] ppid=10278 vsize=13980732 CPUtime=5.42 cores=1,3,5,7
/proc/10280/task/10281/stat : 10281 (java) R 10278 10278 5228 0 -1 4202560 10249 0 0 0 538 4 0 0 20 0 15 0 9563836 14316269568 43549 18446744073709551615 4194304 4196468 140727937035360 139910377623096 139909990358922 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10282] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10282/stat : 10282 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 43549 18446744073709551615 4194304 4196468 140727937035360 139910307818640 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10283] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10283/stat : 10283 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 43549 18446744073709551615 4194304 4196468 140727937035360 139910306765840 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10284] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10284/stat : 10284 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 43549 18446744073709551615 4194304 4196468 140727937035360 139910305713040 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10285] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10285/stat : 10285 (java) S 10278 10278 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 43549 18446744073709551615 4194304 4196468 140727937035360 139909970705168 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10286] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10286/stat : 10286 (java) S 10278 10278 5228 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 15 0 9563838 14316269568 43549 18446744073709551615 4194304 4196468 140727937035360 139909852035440 139910373395074 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10287] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10287/stat : 10287 (java) S 10278 10278 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9563838 14316269568 43549 18446744073709551615 4194304 4196468 140727937035360 139909850981408 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10288] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10288/stat : 10288 (java) S 10278 10278 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9563839 14316269568 43549 18446744073709551615 4194304 4196468 140727937035360 139909849928560 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10289] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10289/stat : 10289 (java) S 10278 10278 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9563841 14316269568 43549 18446744073709551615 4194304 4196468 140727937035360 139909848876880 139910373402523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10290] ppid=10278 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/10280/task/10290/stat : 10290 (java) S 10278 10278 5228 0 -1 1077944384 9216 0 0 0 147 1 0 0 20 0 15 0 9563841 14316269568 43549 18446744073709551615 4194304 4196468 140727937035360 139909847825264 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10291] ppid=10278 vsize=13980732 CPUtime=1.47 cores=1,3,5,7
/proc/10280/task/10291/stat : 10291 (java) S 10278 10278 5228 0 -1 1077944384 7181 0 0 0 146 1 0 0 20 0 15 0 9563841 14316269568 43549 18446744073709551615 4194304 4196468 140727937035360 139909846772464 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10292] ppid=10278 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/10280/task/10292/stat : 10292 (java) S 10278 10278 5228 0 -1 1077944384 2772 0 0 0 53 0 0 0 20 0 15 0 9563841 14316269568 43549 18446744073709551615 4194304 4196468 140727937035360 139909845719664 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10293] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10293/stat : 10293 (java) S 10278 10278 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9563841 14316269568 43549 18446744073709551615 4194304 4196468 140727937035360 139909844667104 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10294] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10294/stat : 10294 (java) S 10278 10278 5228 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 15 0 9563846 14316269568 43549 18446744073709551615 4194304 4196468 140727937035360 139909843614384 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
Current children cumulated CPU time (s) 8.93
Current children cumulated vsize (KiB) 13990244
[startup+6.00059 s]
/proc/loadavg: 2.18 2.01 1.96 3/216 10295
/proc/meminfo: memFree=31112640/32770624 swapFree=0/185860
[pid=10278] ppid=10275 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9563824 9740288 344 18446744073709551615 4194304 5098028 140729432873712 140729432871816 140655589081724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 13774848 140729432879516 140729432879719 140729432879719 140729432883179 0
/proc/10278/statm: 2378 344 289 221 0 87 0
[pid=10280] ppid=10278 vsize=13980732 CPUtime=9.33 cores=1,3,5,7
/proc/10280/stat : 10280 (java) S 10278 10278 5228 0 -1 1077944320 31787 0 0 0 925 8 0 0 20 0 15 0 9563836 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 140727937017904 139910373383927 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
/proc/10280/statm: 3495183 44068 3186 1 0 3483484 0
[pid=10280/tid=10281] ppid=10278 vsize=13980732 CPUtime=5.81 cores=1,3,5,7
/proc/10280/task/10281/stat : 10281 (java) R 10278 10278 5228 0 -1 4202560 10349 0 0 0 577 4 0 0 20 0 15 0 9563836 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139910377622888 139909991076792 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10282] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10282/stat : 10282 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139910307818640 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10283] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10283/stat : 10283 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139910306765840 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10284] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10284/stat : 10284 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139910305713040 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10285] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10285/stat : 10285 (java) S 10278 10278 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909970705168 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10286] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10286/stat : 10286 (java) S 10278 10278 5228 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 15 0 9563838 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909852035440 139910373395074 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10287] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10287/stat : 10287 (java) S 10278 10278 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9563838 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909850981408 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10288] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10288/stat : 10288 (java) S 10278 10278 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9563839 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909849928560 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10289] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10289/stat : 10289 (java) S 10278 10278 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9563841 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909848876880 139910373402523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10290] ppid=10278 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/10280/task/10290/stat : 10290 (java) S 10278 10278 5228 0 -1 1077944384 9217 0 0 0 147 1 0 0 20 0 15 0 9563841 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909847825264 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10291] ppid=10278 vsize=13980732 CPUtime=1.47 cores=1,3,5,7
/proc/10280/task/10291/stat : 10291 (java) S 10278 10278 5228 0 -1 1077944384 7407 0 0 0 146 1 0 0 20 0 15 0 9563841 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909846772464 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10292] ppid=10278 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/10280/task/10292/stat : 10292 (java) S 10278 10278 5228 0 -1 1077944384 2910 0 0 0 53 0 0 0 20 0 15 0 9563841 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909845719664 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10293] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10293/stat : 10293 (java) S 10278 10278 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9563841 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909844667104 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10294] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10294/stat : 10294 (java) S 10278 10278 5228 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 15 0 9563846 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909843614384 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (KiB) 13990244
[startup+6.20056 s]
/proc/loadavg: 2.18 2.01 1.96 3/216 10295
/proc/meminfo: memFree=31112640/32770624 swapFree=0/185860
[pid=10278] ppid=10275 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10278/stat : 10278 (xcsp3-exec) S 10275 10278 5228 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9563824 9740288 344 18446744073709551615 4194304 5098028 140729432873712 140729432871816 140655589081724 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 13774848 140729432879516 140729432879719 140729432879719 140729432883179 0
/proc/10278/statm: 2378 344 289 221 0 87 0
[pid=10280] ppid=10278 vsize=13980732 CPUtime=9.53 cores=1,3,5,7
/proc/10280/stat : 10280 (java) S 10278 10278 5228 0 -1 1077944320 31789 0 0 0 945 8 0 0 20 0 15 0 9563836 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 140727937017904 139910373383927 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
/proc/10280/statm: 3495183 44068 3186 1 0 3483484 0
[pid=10280/tid=10281] ppid=10278 vsize=13980732 CPUtime=6.01 cores=1,3,5,7
/proc/10280/task/10281/stat : 10281 (java) R 10278 10278 5228 0 -1 4202560 10351 0 0 0 597 4 0 0 20 0 15 0 9563836 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139910377622888 139909991719290 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10282] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10282/stat : 10282 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139910307818640 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10283] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10283/stat : 10283 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139910306765840 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10284] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10284/stat : 10284 (java) S 10278 10278 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139910305713040 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10285] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10285/stat : 10285 (java) S 10278 10278 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9563837 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909970705168 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10286] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10286/stat : 10286 (java) S 10278 10278 5228 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 15 0 9563838 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909852035440 139910373395074 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10287] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10287/stat : 10287 (java) S 10278 10278 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9563838 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909850981408 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10288] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10288/stat : 10288 (java) S 10278 10278 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9563839 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909849928560 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10289] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10289/stat : 10289 (java) S 10278 10278 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9563841 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909848876880 139910373402523 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10290] ppid=10278 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/10280/task/10290/stat : 10290 (java) S 10278 10278 5228 0 -1 1077944384 9217 0 0 0 147 1 0 0 20 0 15 0 9563841 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909847825264 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10291] ppid=10278 vsize=13980732 CPUtime=1.47 cores=1,3,5,7
/proc/10280/task/10291/stat : 10291 (java) S 10278 10278 5228 0 -1 1077944384 7407 0 0 0 146 1 0 0 20 0 15 0 9563841 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909846772464 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10292] ppid=10278 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/10280/task/10292/stat : 10292 (java) S 10278 10278 5228 0 -1 1077944384 2910 0 0 0 53 0 0 0 20 0 15 0 9563841 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909845719664 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10293] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10293/stat : 10293 (java) S 10278 10278 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9563841 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909844667104 139910373394133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
[pid=10280/tid=10294] ppid=10278 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10280/task/10294/stat : 10294 (java) S 10278 10278 5228 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 15 0 9563846 14316269568 44068 18446744073709551615 4194304 4196468 140727937035360 139909843614384 139910373395074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13250560 140727937036756 140727937036931 140727937036931 140727937040335 0
Current children cumulated CPU time (s) 9.53
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 6.28568
CPU time (s): 9.62893
CPU user time (s): 9.54121
CPU system time (s): 0.087719
CPU usage (%): 153.188
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.54121
system time used= 0.087719
maximum resident set size= 183504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32821
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2338
involuntary context switches= 32
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024014 second user time and 0.046314 second system time
The end