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-4255335-1501618946/watcher-4255335-1501618946 -o /tmp/evaluation-result-4255335-1501618946/solver-4255335-1501618946 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10653 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 18268752 HOME/instance-4255335-1501618946.xml
pid=11474
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: 1.70 1.85 1.86 3/200 11477
/proc/meminfo: memFree=31732504/32770624 swapFree=0/186776
[pid=11477] ppid=11474 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/11477/stat : 11477 (runsolver) D 11474 11477 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9709961 24240128 107 18446744073709551615 4194304 4338465 140733177648192 140733177645832 139921704235735 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 9846784 140733177655390 140733177655878 140733177655878 140733177659338 0
/proc/11477/statm: 5918 107 54 36 0 2156 0
[startup+0.100113 s]
/proc/loadavg: 1.70 1.85 1.86 3/200 11477
/proc/meminfo: memFree=31732504/32770624 swapFree=0/186776
[pid=11477] ppid=11474 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11477/stat : 11477 (xcsp3-exec) S 11474 11477 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9709961 9740288 345 18446744073709551615 4194304 5098028 140732028064832 140732028062936 140195280151164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39354368 140732028072349 140732028072551 140732028072551 140732028076011 0
/proc/11477/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200294 s]
/proc/loadavg: 1.70 1.85 1.86 3/200 11477
/proc/meminfo: memFree=31732504/32770624 swapFree=0/186776
[pid=11477] ppid=11474 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11477/stat : 11477 (xcsp3-exec) S 11474 11477 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9709961 9740288 345 18446744073709551615 4194304 5098028 140732028064832 140732028062936 140195280151164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39354368 140732028072349 140732028072551 140732028072551 140732028076011 0
/proc/11477/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30024 s]
/proc/loadavg: 1.70 1.85 1.86 3/200 11477
/proc/meminfo: memFree=31732504/32770624 swapFree=0/186776
[pid=11477] ppid=11474 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11477/stat : 11477 (xcsp3-exec) S 11474 11477 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9709961 9740288 345 18446744073709551615 4194304 5098028 140732028064832 140732028062936 140195280151164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39354368 140732028072349 140732028072551 140732028072551 140732028076011 0
/proc/11477/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701782 s]
/proc/loadavg: 1.70 1.85 1.86 3/200 11477
/proc/meminfo: memFree=31732504/32770624 swapFree=0/186776
[pid=11477] ppid=11474 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11477/stat : 11477 (xcsp3-exec) S 11474 11477 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9709961 9740288 345 18446744073709551615 4194304 5098028 140732028064832 140732028062936 140195280151164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39354368 140732028072349 140732028072551 140732028072551 140732028076011 0
/proc/11477/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50069 s]
/proc/loadavg: 1.70 1.85 1.86 5/216 11493
/proc/meminfo: memFree=31619728/32770624 swapFree=0/186804
[pid=11477] ppid=11474 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11477/stat : 11477 (xcsp3-exec) S 11474 11477 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9709961 9740288 345 18446744073709551615 4194304 5098028 140732028064832 140732028062936 140195280151164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39354368 140732028072349 140732028072551 140732028072551 140732028076011 0
/proc/11477/statm: 2378 345 289 221 0 87 0
[pid=11479] ppid=11477 vsize=13980732 CPUtime=3.73 cores=1,3,5,7
/proc/11479/stat : 11479 (java) S 11477 11477 5228 0 -1 1077944320 31143 0 0 0 364 9 0 0 20 0 15 0 9709967 14316269568 31465 18446744073709551615 4194304 4196468 140720973610928 140720973593472 140547740700407 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
/proc/11479/statm: 3495183 31465 3177 1 0 3483484 0
[pid=11479/tid=11480] ppid=11477 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/11479/task/11480/stat : 11480 (java) R 11477 11477 5228 0 -1 4202560 9128 0 0 0 129 4 0 0 20 0 15 0 9709967 14316269568 31465 18446744073709551615 4194304 4196468 140720973610928 140547744938464 140547387225755 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11481] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11481/stat : 11481 (java) S 11477 11477 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9709968 14316269568 31465 18446744073709551615 4194304 4196468 140720973610928 140547705981200 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11482] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11482/stat : 11482 (java) S 11477 11477 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9709968 14316269568 31465 18446744073709551615 4194304 4196468 140720973610928 140547339848080 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11483] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11483/stat : 11483 (java) S 11477 11477 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9709968 14316269568 31465 18446744073709551615 4194304 4196468 140720973610928 140547338795536 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11484] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11484/stat : 11484 (java) S 11477 11477 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9709968 14316269568 31465 18446744073709551615 4194304 4196468 140720973610928 140547337742992 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11485] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11485/stat : 11485 (java) S 11477 11477 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9709969 14316269568 31465 18446744073709551615 4194304 4196468 140720973610928 140546926012912 140547740711554 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11486] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11486/stat : 11486 (java) S 11477 11477 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9709970 14316269568 31465 18446744073709551615 4194304 4196468 140720973610928 140546924959136 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11487] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11487/stat : 11487 (java) S 11477 11477 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9709970 14316269568 31465 18446744073709551615 4194304 4196468 140720973610928 140546923906544 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11488] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11488/stat : 11488 (java) S 11477 11477 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9709972 14316269568 31465 18446744073709551615 4194304 4196468 140720973610928 140546922855120 140547740719003 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11489] ppid=11477 vsize=13980732 CPUtime=0.89 cores=1,3,5,7
/proc/11479/task/11489/stat : 11489 (java) R 11477 11477 5228 0 -1 4202560 11320 0 0 0 88 1 0 0 20 0 15 0 9709972 14316269568 31465 18446744073709551615 4194304 4196468 140720973610928 140546921788008 140547723911144 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11490] ppid=11477 vsize=13980732 CPUtime=0.89 cores=1,3,5,7
/proc/11479/task/11490/stat : 11490 (java) R 11477 11477 5228 0 -1 4202560 5599 0 0 0 88 1 0 0 20 0 15 0 9709972 14316269568 31465 18446744073709551615 4194304 4196468 140720973610928 140546920734632 140547722263959 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11491] ppid=11477 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/11479/task/11491/stat : 11491 (java) S 11477 11477 5228 0 -1 1077944384 3788 0 0 0 58 1 0 0 20 0 15 0 9709972 14316269568 31465 18446744073709551615 4194304 4196468 140720973610928 140546919696624 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11492] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11492/stat : 11492 (java) S 11477 11477 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9709973 14316269568 31465 18446744073709551615 4194304 4196468 140720973610928 140546918644320 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11493] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11493/stat : 11493 (java) S 11477 11477 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9709980 14316269568 31465 18446744073709551615 4194304 4196468 140720973610928 140546917591856 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 13990244
[startup+3.10071 s]
/proc/loadavg: 1.70 1.85 1.86 5/216 11493
/proc/meminfo: memFree=31518740/32770624 swapFree=0/186804
[pid=11477] ppid=11474 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11477/stat : 11477 (xcsp3-exec) S 11474 11477 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9709961 9740288 345 18446744073709551615 4194304 5098028 140732028064832 140732028062936 140195280151164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39354368 140732028072349 140732028072551 140732028072551 140732028076011 0
/proc/11477/statm: 2378 345 289 221 0 87 0
[pid=11479] ppid=11477 vsize=13980732 CPUtime=8.63 cores=1,3,5,7
/proc/11479/stat : 11479 (java) S 11477 11477 5228 0 -1 1077944320 43999 0 0 0 850 13 0 0 20 0 15 0 9709967 14316269568 60725 18446744073709551615 4194304 4196468 140720973610928 140720973593472 140547740700407 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
/proc/11479/statm: 3495183 60725 3192 1 0 3483484 0
[pid=11479/tid=11480] ppid=11477 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/11479/task/11480/stat : 11480 (java) R 11477 11477 5228 0 -1 4202560 10035 0 0 0 287 6 0 0 20 0 15 0 9709967 14316269568 60725 18446744073709551615 4194304 4196468 140720973610928 140547744936664 140547387241549 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11481] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11481/stat : 11481 (java) S 11477 11477 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9709968 14316269568 60725 18446744073709551615 4194304 4196468 140720973610928 140547705981200 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11482] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11482/stat : 11482 (java) S 11477 11477 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9709968 14316269568 60725 18446744073709551615 4194304 4196468 140720973610928 140547339848080 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11483] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11483/stat : 11483 (java) S 11477 11477 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9709968 14316269568 60725 18446744073709551615 4194304 4196468 140720973610928 140547338795536 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11484] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11484/stat : 11484 (java) S 11477 11477 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9709968 14316269568 60725 18446744073709551615 4194304 4196468 140720973610928 140547337742992 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11485] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11485/stat : 11485 (java) S 11477 11477 5228 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 9709969 14316269568 60725 18446744073709551615 4194304 4196468 140720973610928 140546926012912 140547740711554 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11486] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11486/stat : 11486 (java) S 11477 11477 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9709970 14316269568 60725 18446744073709551615 4194304 4196468 140720973610928 140546924959136 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11487] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11487/stat : 11487 (java) S 11477 11477 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9709970 14316269568 60725 18446744073709551615 4194304 4196468 140720973610928 140546923906544 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11488] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11488/stat : 11488 (java) S 11477 11477 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9709972 14316269568 60725 18446744073709551615 4194304 4196468 140720973610928 140546922855120 140547740719003 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11489] ppid=11477 vsize=13980732 CPUtime=2.48 cores=1,3,5,7
/proc/11479/task/11489/stat : 11489 (java) R 11477 11477 5228 0 -1 4202560 17997 0 0 0 247 1 0 0 20 0 15 0 9709972 14316269568 60725 18446744073709551615 4194304 4196468 140720973610928 140546921787728 140547722244625 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11490] ppid=11477 vsize=13980732 CPUtime=2.48 cores=1,3,5,7
/proc/11479/task/11490/stat : 11490 (java) R 11477 11477 5228 0 -1 4202560 9561 0 0 0 247 1 0 0 20 0 15 0 9709972 14316269568 60755 18446744073709551615 4194304 4196468 140720973610928 140546920730368 140547722108286 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11491] ppid=11477 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/11479/task/11491/stat : 11491 (java) S 11477 11477 5228 0 -1 1077944384 5061 0 0 0 66 2 0 0 20 0 15 0 9709972 14316269568 60755 18446744073709551615 4194304 4196468 140720973610928 140546919696624 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11492] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11492/stat : 11492 (java) S 11477 11477 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9709973 14316269568 60755 18446744073709551615 4194304 4196468 140720973610928 140546918644320 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11493] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11493/stat : 11493 (java) S 11477 11477 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 9709980 14316269568 60755 18446744073709551615 4194304 4196468 140720973610928 140546917591856 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
Current children cumulated CPU time (s) 8.63
Current children cumulated vsize (KiB) 13990244
[startup+6.30071 s]
/proc/loadavg: 1.72 1.85 1.86 3/216 11493
/proc/meminfo: memFree=31395068/32770624 swapFree=0/186816
[pid=11477] ppid=11474 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11477/stat : 11477 (xcsp3-exec) S 11474 11477 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9709961 9740288 345 18446744073709551615 4194304 5098028 140732028064832 140732028062936 140195280151164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39354368 140732028072349 140732028072551 140732028072551 140732028076011 0
/proc/11477/statm: 2378 345 289 221 0 87 0
[pid=11479] ppid=11477 vsize=13980732 CPUtime=15.15 cores=1,3,5,7
/proc/11479/stat : 11479 (java) S 11477 11477 5228 0 -1 1077944320 46314 0 0 0 1499 16 0 0 20 0 15 0 9709967 14316269568 69368 18446744073709551615 4194304 4196468 140720973610928 140720973593472 140547740700407 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
/proc/11479/statm: 3495183 69368 3221 1 0 3483484 0
[pid=11479/tid=11480] ppid=11477 vsize=13980732 CPUtime=6.09 cores=1,3,5,7
/proc/11479/task/11480/stat : 11480 (java) R 11477 11477 5228 0 -1 4202560 10079 0 0 0 602 7 0 0 20 0 15 0 9709967 14316269568 69368 18446744073709551615 4194304 4196468 140720973610928 140547744936656 140547387637559 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11481] ppid=11477 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11479/task/11481/stat : 11481 (java) S 11477 11477 5228 0 -1 1077944384 323 0 0 0 3 0 0 0 20 0 15 0 9709968 14316269568 69368 18446744073709551615 4194304 4196468 140720973610928 140547705981200 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11482] ppid=11477 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11479/task/11482/stat : 11482 (java) S 11477 11477 5228 0 -1 1077944384 496 0 0 0 3 0 0 0 20 0 15 0 9709968 14316269568 69368 18446744073709551615 4194304 4196468 140720973610928 140547339848080 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11483] ppid=11477 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11479/task/11483/stat : 11483 (java) S 11477 11477 5228 0 -1 1077944384 84 0 0 0 2 0 0 0 20 0 15 0 9709968 14316269568 69368 18446744073709551615 4194304 4196468 140720973610928 140547338795536 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11484] ppid=11477 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/11479/task/11484/stat : 11484 (java) S 11477 11477 5228 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 15 0 9709968 14316269568 69368 18446744073709551615 4194304 4196468 140720973610928 140547337742992 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11485] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11485/stat : 11485 (java) S 11477 11477 5228 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 9709969 14316269568 69368 18446744073709551615 4194304 4196468 140720973610928 140546926012912 140547740711554 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11486] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11486/stat : 11486 (java) S 11477 11477 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9709970 14316269568 69368 18446744073709551615 4194304 4196468 140720973610928 140546924959136 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11487] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11487/stat : 11487 (java) S 11477 11477 5228 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9709970 14316269568 69368 18446744073709551615 4194304 4196468 140720973610928 140546923906544 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11488] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11488/stat : 11488 (java) S 11477 11477 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9709972 14316269568 69368 18446744073709551615 4194304 4196468 140720973610928 140546922855120 140547740719003 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11489] ppid=11477 vsize=13980732 CPUtime=4.09 cores=1,3,5,7
/proc/11479/task/11489/stat : 11489 (java) S 11477 11477 5228 0 -1 1077944384 18315 0 0 0 407 2 0 0 20 0 15 0 9709972 14316269568 69368 18446744073709551615 4194304 4196468 140720973610928 140546921801712 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11490] ppid=11477 vsize=13980732 CPUtime=4.03 cores=1,3,5,7
/proc/11479/task/11490/stat : 11490 (java) S 11477 11477 5228 0 -1 1077944384 9805 0 0 0 401 2 0 0 20 0 15 0 9709972 14316269568 69368 18446744073709551615 4194304 4196468 140720973610928 140546920749168 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11491] ppid=11477 vsize=13980732 CPUtime=0.77 cores=1,3,5,7
/proc/11479/task/11491/stat : 11491 (java) S 11477 11477 5228 0 -1 1077944384 5626 0 0 0 75 2 0 0 20 0 15 0 9709972 14316269568 69368 18446744073709551615 4194304 4196468 140720973610928 140546919696624 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11492] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11492/stat : 11492 (java) S 11477 11477 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9709973 14316269568 69368 18446744073709551615 4194304 4196468 140720973610928 140546918644320 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11493] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11493/stat : 11493 (java) S 11477 11477 5228 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 9709980 14316269568 69368 18446744073709551615 4194304 4196468 140720973610928 140546917591856 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
Current children cumulated CPU time (s) 15.15
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.74 1.85 1.86 3/216 11493
/proc/meminfo: memFree=31246676/32770624 swapFree=0/186824
[pid=11477] ppid=11474 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11477/stat : 11477 (xcsp3-exec) S 11474 11477 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9709961 9740288 345 18446744073709551615 4194304 5098028 140732028064832 140732028062936 140195280151164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39354368 140732028072349 140732028072551 140732028072551 140732028076011 0
/proc/11477/statm: 2378 345 289 221 0 87 0
[pid=11479] ppid=11477 vsize=13980732 CPUtime=22.46 cores=1,3,5,7
/proc/11479/stat : 11479 (java) S 11477 11477 5228 0 -1 1077944320 54835 0 0 0 2227 19 0 0 20 0 15 0 9709967 14316269568 73221 18446744073709551615 4194304 4196468 140720973610928 140720973593472 140547740700407 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
/proc/11479/statm: 3495183 73221 3231 1 0 3483484 0
[pid=11479/tid=11480] ppid=11477 vsize=13980732 CPUtime=12.41 cores=1,3,5,7
/proc/11479/task/11480/stat : 11480 (java) R 11477 11477 5228 0 -1 4202560 11090 0 0 0 1234 7 0 0 20 0 15 0 9709967 14316269568 73221 18446744073709551615 4194304 4196468 140720973610928 140547744939872 140547386199059 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11481] ppid=11477 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/11479/task/11481/stat : 11481 (java) S 11477 11477 5228 0 -1 1077944384 1455 0 0 0 9 0 0 0 20 0 15 0 9709968 14316269568 73221 18446744073709551615 4194304 4196468 140720973610928 140547705981200 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11482] ppid=11477 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/11479/task/11482/stat : 11482 (java) S 11477 11477 5228 0 -1 1077944384 839 0 0 0 9 1 0 0 20 0 15 0 9709968 14316269568 73221 18446744073709551615 4194304 4196468 140720973610928 140547339848080 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
################
# More data... #
################
[pid=11479/tid=11486] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11486/stat : 11486 (java) S 11477 11477 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9709970 14316269568 101474 18446744073709551615 4194304 4196468 140720973610928 140546924959136 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11487] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11487/stat : 11487 (java) S 11477 11477 5228 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9709970 14316269568 101474 18446744073709551615 4194304 4196468 140720973610928 140546923906544 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11488] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11488/stat : 11488 (java) S 11477 11477 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9709972 14316269568 101474 18446744073709551615 4194304 4196468 140720973610928 140546922855120 140547740719003 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11489] ppid=11477 vsize=13980732 CPUtime=4.94 cores=1,3,5,7
/proc/11479/task/11489/stat : 11489 (java) S 11477 11477 5228 0 -1 1077944384 26099 0 0 0 491 3 0 0 20 0 15 0 9709972 14316269568 101474 18446744073709551615 4194304 4196468 140720973610928 140546921801712 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11490] ppid=11477 vsize=13980732 CPUtime=4.68 cores=1,3,5,7
/proc/11479/task/11490/stat : 11490 (java) S 11477 11477 5228 0 -1 1077944384 18253 0 0 0 466 2 0 0 20 0 15 0 9709972 14316269568 101474 18446744073709551615 4194304 4196468 140720973610928 140546920749168 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11491] ppid=11477 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/11479/task/11491/stat : 11491 (java) S 11477 11477 5228 0 -1 1077944384 10069 0 0 0 82 3 0 0 20 0 15 0 9709972 14316269568 101474 18446744073709551615 4194304 4196468 140720973610928 140546919696624 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11492] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11492/stat : 11492 (java) S 11477 11477 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9709973 14316269568 101474 18446744073709551615 4194304 4196468 140720973610928 140546918644320 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11493] ppid=11477 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/11479/task/11493/stat : 11493 (java) S 11477 11477 5228 0 -1 1077944384 289 0 0 0 2 2 0 0 20 0 15 0 9709980 14316269568 101474 18446744073709551615 4194304 4196468 140720973610928 140546917591856 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
Current children cumulated CPU time (s) 115.02
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.75 1.86 1.86 3/216 11503
/proc/meminfo: memFree=31038664/32770624 swapFree=0/186932
[pid=11477] ppid=11474 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11477/stat : 11477 (xcsp3-exec) S 11474 11477 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9709961 9740288 345 18446744073709551615 4194304 5098028 140732028064832 140732028062936 140195280151164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39354368 140732028072349 140732028072551 140732028072551 140732028076011 0
/proc/11477/statm: 2378 345 289 221 0 87 0
[pid=11479] ppid=11477 vsize=13980732 CPUtime=176.99 cores=1,3,5,7
/proc/11479/stat : 11479 (java) S 11477 11477 5228 0 -1 1077944320 94321 0 0 0 17609 90 0 0 20 0 15 0 9709967 14316269568 99136 18446744073709551615 4194304 4196468 140720973610928 140720973593472 140547740700407 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
/proc/11479/statm: 3495183 99136 3242 1 0 3483484 0
[pid=11479/tid=11480] ppid=11477 vsize=13980732 CPUtime=160.62 cores=1,3,5,7
/proc/11479/task/11480/stat : 11480 (java) R 11477 11477 5228 0 -1 4202560 20184 0 0 0 16053 9 0 0 20 0 15 0 9709967 14316269568 99136 18446744073709551615 4194304 4196468 140720973610928 140547744940032 140547387255456 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11481] ppid=11477 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/11479/task/11481/stat : 11481 (java) S 11477 11477 5228 0 -1 1077944384 2945 0 0 0 118 16 0 0 20 0 15 0 9709968 14316269568 99136 18446744073709551615 4194304 4196468 140720973610928 140547705981200 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11482] ppid=11477 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/11479/task/11482/stat : 11482 (java) S 11477 11477 5228 0 -1 1077944384 2570 0 0 0 118 16 0 0 20 0 15 0 9709968 14316269568 99136 18446744073709551615 4194304 4196468 140720973610928 140547339848080 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11483] ppid=11477 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/11479/task/11483/stat : 11483 (java) S 11477 11477 5228 0 -1 1077944384 2282 0 0 0 117 17 0 0 20 0 15 0 9709968 14316269568 99136 18446744073709551615 4194304 4196468 140720973610928 140547338795536 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11484] ppid=11477 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/11479/task/11484/stat : 11484 (java) S 11477 11477 5228 0 -1 1077944384 2086 0 0 0 117 16 0 0 20 0 15 0 9709968 14316269568 99136 18446744073709551615 4194304 4196468 140720973610928 140547337742992 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11485] ppid=11477 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/11479/task/11485/stat : 11485 (java) S 11477 11477 5228 0 -1 1077944384 3204 0 0 0 10 2 0 0 20 0 15 0 9709969 14316269568 99136 18446744073709551615 4194304 4196468 140720973610928 140546926012912 140547740711554 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11486] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11486/stat : 11486 (java) S 11477 11477 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9709970 14316269568 99136 18446744073709551615 4194304 4196468 140720973610928 140546924959136 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11487] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11487/stat : 11487 (java) S 11477 11477 5228 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9709970 14316269568 99136 18446744073709551615 4194304 4196468 140720973610928 140546923906544 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11488] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11488/stat : 11488 (java) S 11477 11477 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9709972 14316269568 99136 18446744073709551615 4194304 4196468 140720973610928 140546922855120 140547740719003 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11489] ppid=11477 vsize=13980732 CPUtime=5.01 cores=1,3,5,7
/proc/11479/task/11489/stat : 11489 (java) S 11477 11477 5228 0 -1 1077944384 27487 0 0 0 498 3 0 0 20 0 15 0 9709972 14316269568 99136 18446744073709551615 4194304 4196468 140720973610928 140546921801712 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11490] ppid=11477 vsize=13980732 CPUtime=4.87 cores=1,3,5,7
/proc/11479/task/11490/stat : 11490 (java) S 11477 11477 5228 0 -1 1077944384 20907 0 0 0 485 2 0 0 20 0 15 0 9709972 14316269568 99136 18446744073709551615 4194304 4196468 140720973610928 140546920749168 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11491] ppid=11477 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/11479/task/11491/stat : 11491 (java) S 11477 11477 5228 0 -1 1077944384 11000 0 0 0 83 3 0 0 20 0 15 0 9709972 14316269568 99136 18446744073709551615 4194304 4196468 140720973610928 140546919696624 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11492] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11492/stat : 11492 (java) S 11477 11477 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9709973 14316269568 99136 18446744073709551615 4194304 4196468 140720973610928 140546918644320 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11493] ppid=11477 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/11479/task/11493/stat : 11493 (java) S 11477 11477 5228 0 -1 1077944384 315 0 0 0 4 3 0 0 20 0 15 0 9709980 14316269568 99136 18446744073709551615 4194304 4196468 140720973610928 140546917591856 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
Current children cumulated CPU time (s) 176.99
Current children cumulated vsize (KiB) 13990244
[startup+222.319 s]
/proc/loadavg: 1.46 1.76 1.83 3/216 11505
/proc/meminfo: memFree=31043512/32770624 swapFree=0/186956
[pid=11477] ppid=11474 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11477/stat : 11477 (xcsp3-exec) S 11474 11477 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9709961 9740288 345 18446744073709551615 4194304 5098028 140732028064832 140732028062936 140195280151164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39354368 140732028072349 140732028072551 140732028072551 140732028076011 0
/proc/11477/statm: 2378 345 289 221 0 87 0
[pid=11479] ppid=11477 vsize=13980732 CPUtime=238.82 cores=1,3,5,7
/proc/11479/stat : 11479 (java) S 11477 11477 5228 0 -1 1077944320 100559 0 0 0 23785 97 0 0 20 0 15 0 9709967 14316269568 90018 18446744073709551615 4194304 4196468 140720973610928 140720973593472 140547740700407 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
/proc/11479/statm: 3495183 90018 3248 1 0 3483484 0
[pid=11479/tid=11480] ppid=11477 vsize=13980732 CPUtime=220.03 cores=1,3,5,7
/proc/11479/task/11480/stat : 11480 (java) R 11477 11477 5228 0 -1 4202560 22695 0 0 0 21994 9 0 0 20 0 15 0 9709967 14316269568 90018 18446744073709551615 4194304 4196468 140720973610928 140547744940016 140547390790050 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11481] ppid=11477 vsize=13980732 CPUtime=1.88 cores=1,3,5,7
/proc/11479/task/11481/stat : 11481 (java) S 11477 11477 5228 0 -1 1077944384 3301 0 0 0 171 17 0 0 20 0 15 0 9709968 14316269568 90018 18446744073709551615 4194304 4196468 140720973610928 140547705981200 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11482] ppid=11477 vsize=13980732 CPUtime=1.88 cores=1,3,5,7
/proc/11479/task/11482/stat : 11482 (java) S 11477 11477 5228 0 -1 1077944384 3105 0 0 0 171 17 0 0 20 0 15 0 9709968 14316269568 90018 18446744073709551615 4194304 4196468 140720973610928 140547339848080 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11483] ppid=11477 vsize=13980732 CPUtime=1.88 cores=1,3,5,7
/proc/11479/task/11483/stat : 11483 (java) S 11477 11477 5228 0 -1 1077944384 2555 0 0 0 171 17 0 0 20 0 15 0 9709968 14316269568 90018 18446744073709551615 4194304 4196468 140720973610928 140547338795536 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11484] ppid=11477 vsize=13980732 CPUtime=1.86 cores=1,3,5,7
/proc/11479/task/11484/stat : 11484 (java) S 11477 11477 5228 0 -1 1077944384 2509 0 0 0 169 17 0 0 20 0 15 0 9709968 14316269568 90018 18446744073709551615 4194304 4196468 140720973610928 140547337742992 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11485] ppid=11477 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/11479/task/11485/stat : 11485 (java) S 11477 11477 5228 0 -1 1077944384 4402 0 0 0 14 3 0 0 20 0 15 0 9709969 14316269568 90018 18446744073709551615 4194304 4196468 140720973610928 140546926012912 140547740711554 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11486] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11486/stat : 11486 (java) S 11477 11477 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9709970 14316269568 90018 18446744073709551615 4194304 4196468 140720973610928 140546924959136 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11487] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11487/stat : 11487 (java) S 11477 11477 5228 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9709970 14316269568 90018 18446744073709551615 4194304 4196468 140720973610928 140546923906544 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11488] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11488/stat : 11488 (java) S 11477 11477 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9709972 14316269568 90018 18446744073709551615 4194304 4196468 140720973610928 140546922855120 140547740719003 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11489] ppid=11477 vsize=13980732 CPUtime=5.02 cores=1,3,5,7
/proc/11479/task/11489/stat : 11489 (java) S 11477 11477 5228 0 -1 1077944384 27532 0 0 0 499 3 0 0 20 0 15 0 9709972 14316269568 90018 18446744073709551615 4194304 4196468 140720973610928 140546921801712 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11490] ppid=11477 vsize=13980732 CPUtime=5.03 cores=1,3,5,7
/proc/11479/task/11490/stat : 11490 (java) S 11477 11477 5228 0 -1 1077944384 21137 0 0 0 501 2 0 0 20 0 15 0 9709972 14316269568 90018 18446744073709551615 4194304 4196468 140720973610928 140546920749168 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11491] ppid=11477 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/11479/task/11491/stat : 11491 (java) S 11477 11477 5228 0 -1 1077944384 11422 0 0 0 83 3 0 0 20 0 15 0 9709972 14316269568 90018 18446744073709551615 4194304 4196468 140720973610928 140546919696624 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11492] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11492/stat : 11492 (java) S 11477 11477 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9709973 14316269568 90018 18446744073709551615 4194304 4196468 140720973610928 140546918644320 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11493] ppid=11477 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/11479/task/11493/stat : 11493 (java) S 11477 11477 5228 0 -1 1077944384 560 0 0 0 5 5 0 0 20 0 15 0 9709980 14316269568 90018 18446744073709551615 4194304 4196468 140720973610928 140546917591856 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
Current children cumulated CPU time (s) 238.82
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.44 1.74 1.82 3/216 11587
/proc/meminfo: memFree=31371892/32770624 swapFree=0/186988
[pid=11477] ppid=11474 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11477/stat : 11477 (xcsp3-exec) S 11474 11477 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9709961 9740288 345 18446744073709551615 4194304 5098028 140732028064832 140732028062936 140195280151164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39354368 140732028072349 140732028072551 140732028072551 140732028076011 0
/proc/11477/statm: 2378 345 289 221 0 87 0
[pid=11479] ppid=11477 vsize=13980732 CPUtime=256.95 cores=1,3,5,7
/proc/11479/stat : 11479 (java) S 11477 11477 5228 0 -1 1077944320 102519 0 0 0 25593 102 0 0 20 0 15 0 9709967 14316269568 102010 18446744073709551615 4194304 4196468 140720973610928 140720973593472 140547740700407 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
/proc/11479/statm: 3495183 102010 3249 1 0 3483484 0
[pid=11479/tid=11480] ppid=11477 vsize=13980732 CPUtime=237.54 cores=1,3,5,7
/proc/11479/task/11480/stat : 11480 (java) R 11477 11477 5228 0 -1 4202560 23527 0 0 0 23744 10 0 0 20 0 15 0 9709967 14316269568 102010 18446744073709551615 4194304 4196468 140720973610928 140547744940096 140547389076514 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11481] ppid=11477 vsize=13980732 CPUtime=2.03 cores=1,3,5,7
/proc/11479/task/11481/stat : 11481 (java) S 11477 11477 5228 0 -1 1077944384 3470 0 0 0 184 19 0 0 20 0 15 0 9709968 14316269568 102010 18446744073709551615 4194304 4196468 140720973610928 140547705981200 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11482] ppid=11477 vsize=13980732 CPUtime=2.03 cores=1,3,5,7
/proc/11479/task/11482/stat : 11482 (java) S 11477 11477 5228 0 -1 1077944384 3273 0 0 0 185 18 0 0 20 0 15 0 9709968 14316269568 102010 18446744073709551615 4194304 4196468 140720973610928 140547339848080 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11483] ppid=11477 vsize=13980732 CPUtime=2.03 cores=1,3,5,7
/proc/11479/task/11483/stat : 11483 (java) S 11477 11477 5228 0 -1 1077944384 2772 0 0 0 185 18 0 0 20 0 15 0 9709968 14316269568 102010 18446744073709551615 4194304 4196468 140720973610928 140547338795536 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11484] ppid=11477 vsize=13980732 CPUtime=2.01 cores=1,3,5,7
/proc/11479/task/11484/stat : 11484 (java) S 11477 11477 5228 0 -1 1077944384 2708 0 0 0 183 18 0 0 20 0 15 0 9709968 14316269568 102010 18446744073709551615 4194304 4196468 140720973610928 140547337742992 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11485] ppid=11477 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/11479/task/11485/stat : 11485 (java) S 11477 11477 5228 0 -1 1077944384 4440 0 0 0 15 4 0 0 20 0 15 0 9709969 14316269568 102010 18446744073709551615 4194304 4196468 140720973610928 140546926012912 140547740711554 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11486] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11486/stat : 11486 (java) S 11477 11477 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9709970 14316269568 102010 18446744073709551615 4194304 4196468 140720973610928 140546924959136 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11487] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11487/stat : 11487 (java) S 11477 11477 5228 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9709970 14316269568 102010 18446744073709551615 4194304 4196468 140720973610928 140546923906544 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11488] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11488/stat : 11488 (java) S 11477 11477 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9709972 14316269568 102010 18446744073709551615 4194304 4196468 140720973610928 140546922855120 140547740719003 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11489] ppid=11477 vsize=13980732 CPUtime=5.02 cores=1,3,5,7
/proc/11479/task/11489/stat : 11489 (java) S 11477 11477 5228 0 -1 1077944384 27667 0 0 0 499 3 0 0 20 0 15 0 9709972 14316269568 102010 18446744073709551615 4194304 4196468 140720973610928 140546921801712 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11490] ppid=11477 vsize=13980732 CPUtime=5.03 cores=1,3,5,7
/proc/11479/task/11490/stat : 11490 (java) S 11477 11477 5228 0 -1 1077944384 21139 0 0 0 501 2 0 0 20 0 15 0 9709972 14316269568 102010 18446744073709551615 4194304 4196468 140720973610928 140546920749168 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11491] ppid=11477 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/11479/task/11491/stat : 11491 (java) S 11477 11477 5228 0 -1 1077944384 11622 0 0 0 83 3 0 0 20 0 15 0 9709972 14316269568 102010 18446744073709551615 4194304 4196468 140720973610928 140546919696624 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11492] ppid=11477 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11479/task/11492/stat : 11492 (java) S 11477 11477 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9709973 14316269568 102010 18446744073709551615 4194304 4196468 140720973610928 140546918644320 140547740710613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
[pid=11479/tid=11493] ppid=11477 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/11479/task/11493/stat : 11493 (java) S 11477 11477 5228 0 -1 1077944384 560 0 0 0 5 6 0 0 20 0 15 0 9709980 14316269568 102010 18446744073709551615 4194304 4196468 140720973610928 140546917591856 140547740711554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720973615572 140720973615747 140720973615747 140720973619151 0
Current children cumulated CPU time (s) 256.95
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 11479 sig 9
??? kill 11477 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 11477 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1697
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=931
# CPU time returned by wait4() is 0.002628
# while last known CPU time is 256.95
#
# 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): 256.95
CPU user time (s): 255.93
CPU system time (s): 1.02
CPU usage (%): 107.058
Max. virtual memory (cumulated for all children) (KiB): 13993328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001697
system time used= 0.000931
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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.18508 second user time and 1.47452 second system time
The end