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-4255265-1501618459/watcher-4255265-1501618459 -o /tmp/evaluation-result-4255265-1501618459/solver-4255265-1501618459 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10652 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1684910774 HOME/instance-4255265-1501618459.xml
pid=11038
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.77 1.78 1.84 4/200 11041
/proc/meminfo: memFree=31695456/32770624 swapFree=0/186316
[pid=11041] ppid=11038 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/11041/stat : 11041 (runsolver) D 11038 11041 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9661186 24240128 107 18446744073709551615 4194304 4338465 140720878122128 140720878119768 140247206998743 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 29200384 140720878129244 140720878129734 140720878129734 140720878133194 0
/proc/11041/statm: 5918 107 54 36 0 2156 0
[startup+0.10011 s]
/proc/loadavg: 1.77 1.78 1.84 4/200 11041
/proc/meminfo: memFree=31695456/32770624 swapFree=0/186316
[pid=11041] ppid=11038 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11041/stat : 11041 (xcsp3-exec) S 11038 11041 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9661186 9740288 345 18446744073709551615 4194304 5098028 140735017061776 140735017059880 140154054312572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18042880 140735017066907 140735017067111 140735017067111 140735017070571 0
/proc/11041/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.202756 s]
/proc/loadavg: 1.77 1.78 1.84 4/200 11041
/proc/meminfo: memFree=31695456/32770624 swapFree=0/186316
[pid=11041] ppid=11038 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11041/stat : 11041 (xcsp3-exec) S 11038 11041 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9661186 9740288 345 18446744073709551615 4194304 5098028 140735017061776 140735017059880 140154054312572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18042880 140735017066907 140735017067111 140735017067111 140735017070571 0
/proc/11041/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.305514 s]
/proc/loadavg: 1.77 1.78 1.84 4/200 11041
/proc/meminfo: memFree=31695456/32770624 swapFree=0/186316
[pid=11041] ppid=11038 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11041/stat : 11041 (xcsp3-exec) S 11038 11041 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9661186 9740288 345 18446744073709551615 4194304 5098028 140735017061776 140735017059880 140154054312572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18042880 140735017066907 140735017067111 140735017067111 140735017070571 0
/proc/11041/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.704872 s]
/proc/loadavg: 1.77 1.78 1.84 4/200 11041
/proc/meminfo: memFree=31695456/32770624 swapFree=0/186316
[pid=11041] ppid=11038 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11041/stat : 11041 (xcsp3-exec) S 11038 11041 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9661186 9740288 345 18446744073709551615 4194304 5098028 140735017061776 140735017059880 140154054312572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18042880 140735017066907 140735017067111 140735017067111 140735017070571 0
/proc/11041/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50064 s]
/proc/loadavg: 1.77 1.78 1.84 5/216 11057
/proc/meminfo: memFree=31598144/32770624 swapFree=0/186320
[pid=11041] ppid=11038 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11041/stat : 11041 (xcsp3-exec) S 11038 11041 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9661186 9740288 345 18446744073709551615 4194304 5098028 140735017061776 140735017059880 140154054312572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18042880 140735017066907 140735017067111 140735017067111 140735017070571 0
/proc/11041/statm: 2378 345 289 221 0 87 0
[pid=11043] ppid=11041 vsize=13980732 CPUtime=3.66 cores=0,2,4,6
/proc/11043/stat : 11043 (java) S 11041 11041 5228 0 -1 1077944320 39149 0 0 0 358 8 0 0 20 0 15 0 9661194 14316269568 30769 18446744073709551615 4194304 4196468 140736767411680 140736767394224 139921283706615 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
/proc/11043/statm: 3495183 30769 3175 1 0 3483484 0
[pid=11043/tid=11044] ppid=11041 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/11043/task/11044/stat : 11044 (java) R 11041 11041 5228 0 -1 4202560 9482 0 0 0 133 4 0 0 20 0 15 0 9661194 14316269568 30769 18446744073709551615 4194304 4196468 140736767411680 139921287937416 139920928989126 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11045] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11045/stat : 11045 (java) S 11041 11041 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9661195 14316269568 30769 18446744073709551615 4194304 4196468 140736767411680 139921244605200 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11046] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11046/stat : 11046 (java) S 11041 11041 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9661195 14316269568 30769 18446744073709551615 4194304 4196468 140736767411680 139920882985872 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11047] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11047/stat : 11047 (java) S 11041 11041 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9661195 14316269568 30769 18446744073709551615 4194304 4196468 140736767411680 139920881933328 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11048] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11048/stat : 11048 (java) S 11041 11041 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9661195 14316269568 30769 18446744073709551615 4194304 4196468 140736767411680 139920880880784 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11049] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11049/stat : 11049 (java) S 11041 11041 5228 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 9661196 14316269568 30769 18446744073709551615 4194304 4196468 140736767411680 139920761894896 139921283717762 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11050] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11050/stat : 11050 (java) S 11041 11041 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9661197 14316269568 30769 18446744073709551615 4194304 4196468 140736767411680 139920760841120 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11051] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11051/stat : 11051 (java) S 11041 11041 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9661197 14316269568 30769 18446744073709551615 4194304 4196468 140736767411680 139920759788528 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11052] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11052/stat : 11052 (java) S 11041 11041 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661199 14316269568 30769 18446744073709551615 4194304 4196468 140736767411680 139920758737104 139921283725211 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11053] ppid=11041 vsize=13980732 CPUtime=0.93 cores=0,2,4,6
/proc/11043/task/11053/stat : 11053 (java) R 11041 11041 5228 0 -1 4202560 11078 0 0 0 92 1 0 0 20 0 15 0 9661199 14316269568 30769 18446744073709551615 4194304 4196468 140736767411680 139920757669616 139921265229081 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11054] ppid=11041 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/11043/task/11054/stat : 11054 (java) R 11041 11041 5228 0 -1 4202560 14535 0 0 0 90 1 0 0 20 0 15 0 9661199 14316269568 30769 18446744073709551615 4194304 4196468 140736767411680 139920756618704 139921262963208 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11055] ppid=11041 vsize=13980732 CPUtime=0.43 cores=0,2,4,6
/proc/11043/task/11055/stat : 11055 (java) S 11041 11041 5228 0 -1 1077944384 2734 0 0 0 42 1 0 0 20 0 15 0 9661199 14316269568 30769 18446744073709551615 4194304 4196468 140736767411680 139920755579632 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11056] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11056/stat : 11056 (java) S 11041 11041 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661200 14316269568 30769 18446744073709551615 4194304 4196468 140736767411680 139920754527328 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11057] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11057/stat : 11057 (java) S 11041 11041 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661203 14316269568 30769 18446744073709551615 4194304 4196468 140736767411680 139920753473840 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 13990244
[startup+3.10069 s]
/proc/loadavg: 1.77 1.78 1.84 5/216 11057
/proc/meminfo: memFree=31577992/32770624 swapFree=0/186320
[pid=11041] ppid=11038 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11041/stat : 11041 (xcsp3-exec) S 11038 11041 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9661186 9740288 345 18446744073709551615 4194304 5098028 140735017061776 140735017059880 140154054312572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18042880 140735017066907 140735017067111 140735017067111 140735017070571 0
/proc/11041/statm: 2378 345 289 221 0 87 0
[pid=11043] ppid=11041 vsize=13980732 CPUtime=8.48 cores=0,2,4,6
/proc/11043/stat : 11043 (java) S 11041 11041 5228 0 -1 1077944320 44720 0 0 0 839 9 0 0 20 0 15 0 9661194 14316269568 34512 18446744073709551615 4194304 4196468 140736767411680 140736767394224 139921283706615 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
/proc/11043/statm: 3495183 34512 3189 1 0 3483484 0
[pid=11043/tid=11044] ppid=11041 vsize=13980732 CPUtime=2.97 cores=0,2,4,6
/proc/11043/task/11044/stat : 11044 (java) R 11041 11041 5228 0 -1 4202560 9848 0 0 0 293 4 0 0 20 0 15 0 9661194 14316269568 34512 18446744073709551615 4194304 4196468 140736767411680 139921287942040 139920930071515 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11045] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11045/stat : 11045 (java) S 11041 11041 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9661195 14316269568 34512 18446744073709551615 4194304 4196468 140736767411680 139921244605200 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11046] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11046/stat : 11046 (java) S 11041 11041 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9661195 14316269568 34512 18446744073709551615 4194304 4196468 140736767411680 139920882985872 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11047] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11047/stat : 11047 (java) S 11041 11041 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9661195 14316269568 34512 18446744073709551615 4194304 4196468 140736767411680 139920881933328 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11048] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11048/stat : 11048 (java) S 11041 11041 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9661195 14316269568 34512 18446744073709551615 4194304 4196468 140736767411680 139920880880784 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11049] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11049/stat : 11049 (java) S 11041 11041 5228 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 9661196 14316269568 34512 18446744073709551615 4194304 4196468 140736767411680 139920761894896 139921283717762 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11050] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11050/stat : 11050 (java) S 11041 11041 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9661197 14316269568 34512 18446744073709551615 4194304 4196468 140736767411680 139920760841120 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11051] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11051/stat : 11051 (java) S 11041 11041 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9661197 14316269568 34512 18446744073709551615 4194304 4196468 140736767411680 139920759788528 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11052] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11052/stat : 11052 (java) S 11041 11041 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661199 14316269568 34512 18446744073709551615 4194304 4196468 140736767411680 139920758737104 139921283725211 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11053] ppid=11041 vsize=13980732 CPUtime=2.52 cores=0,2,4,6
/proc/11043/task/11053/stat : 11053 (java) R 11041 11041 5228 0 -1 4202560 13705 0 0 0 251 1 0 0 20 0 15 0 9661199 14316269568 34512 18446744073709551615 4194304 4196468 140736767411680 139920757670736 139921264278687 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11054] ppid=11041 vsize=13980732 CPUtime=2.51 cores=0,2,4,6
/proc/11043/task/11054/stat : 11054 (java) R 11041 11041 5228 0 -1 4202560 17015 0 0 0 250 1 0 0 20 0 15 0 9661199 14316269568 34512 18446744073709551615 4194304 4196468 140736767411680 139920756618200 139921263543002 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11055] ppid=11041 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/11043/task/11055/stat : 11055 (java) S 11041 11041 5228 0 -1 1077944384 2789 0 0 0 44 1 0 0 20 0 15 0 9661199 14316269568 34512 18446744073709551615 4194304 4196468 140736767411680 139920755579632 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11056] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11056/stat : 11056 (java) S 11041 11041 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661200 14316269568 34512 18446744073709551615 4194304 4196468 140736767411680 139920754527328 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11057] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11057/stat : 11057 (java) S 11041 11041 5228 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 9661203 14316269568 34512 18446744073709551615 4194304 4196468 140736767411680 139920753473840 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
Current children cumulated CPU time (s) 8.48
Current children cumulated vsize (KiB) 13990244
[startup+6.30075 s]
/proc/loadavg: 1.87 1.80 1.85 6/216 11135
/proc/meminfo: memFree=31751660/32770624 swapFree=0/186356
[pid=11041] ppid=11038 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11041/stat : 11041 (xcsp3-exec) S 11038 11041 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9661186 9740288 345 18446744073709551615 4194304 5098028 140735017061776 140735017059880 140154054312572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18042880 140735017066907 140735017067111 140735017067111 140735017070571 0
/proc/11041/statm: 2378 345 289 221 0 87 0
[pid=11043] ppid=11041 vsize=13980732 CPUtime=16.91 cores=0,2,4,6
/proc/11043/stat : 11043 (java) S 11041 11041 5228 0 -1 1077944320 71097 0 0 0 1679 12 0 0 20 0 15 0 9661194 14316269568 50892 18446744073709551615 4194304 4196468 140736767411680 140736767394224 139921283706615 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
/proc/11043/statm: 3495183 50892 3199 1 0 3483484 0
[pid=11043/tid=11044] ppid=11041 vsize=13980732 CPUtime=6.17 cores=0,2,4,6
/proc/11043/task/11044/stat : 11044 (java) R 11041 11041 5228 0 -1 4202560 11771 0 0 0 612 5 0 0 20 0 15 0 9661194 14316269568 50892 18446744073709551615 4194304 4196468 140736767411680 139921287944664 139920931859278 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11045] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11045/stat : 11045 (java) S 11041 11041 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9661195 14316269568 50892 18446744073709551615 4194304 4196468 140736767411680 139921244605200 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11046] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11046/stat : 11046 (java) S 11041 11041 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9661195 14316269568 50892 18446744073709551615 4194304 4196468 140736767411680 139920882985872 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11047] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11047/stat : 11047 (java) S 11041 11041 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9661195 14316269568 50892 18446744073709551615 4194304 4196468 140736767411680 139920881933328 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11048] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11048/stat : 11048 (java) S 11041 11041 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9661195 14316269568 50892 18446744073709551615 4194304 4196468 140736767411680 139920880880784 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11049] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11049/stat : 11049 (java) S 11041 11041 5228 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 15 0 9661196 14316269568 50892 18446744073709551615 4194304 4196468 140736767411680 139920761894896 139921283717762 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11050] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11050/stat : 11050 (java) S 11041 11041 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9661197 14316269568 50892 18446744073709551615 4194304 4196468 140736767411680 139920760841120 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11051] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11051/stat : 11051 (java) S 11041 11041 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9661197 14316269568 50892 18446744073709551615 4194304 4196468 140736767411680 139920759788528 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11052] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11052/stat : 11052 (java) S 11041 11041 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661199 14316269568 50892 18446744073709551615 4194304 4196468 140736767411680 139920758737104 139921283725211 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11053] ppid=11041 vsize=13980732 CPUtime=5.02 cores=0,2,4,6
/proc/11043/task/11053/stat : 11053 (java) S 11041 11041 5228 0 -1 1077944384 27231 0 0 0 500 2 0 0 20 0 15 0 9661199 14316269568 50892 18446744073709551615 4194304 4196468 140736767411680 139920757684720 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11054] ppid=11041 vsize=13980732 CPUtime=5.05 cores=0,2,4,6
/proc/11043/task/11054/stat : 11054 (java) S 11041 11041 5228 0 -1 1077944384 26903 0 0 0 503 2 0 0 20 0 15 0 9661199 14316269568 50892 18446744073709551615 4194304 4196468 140736767411680 139920756632176 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11055] ppid=11041 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/11043/task/11055/stat : 11055 (java) S 11041 11041 5228 0 -1 1077944384 3616 0 0 0 62 1 0 0 20 0 15 0 9661199 14316269568 50892 18446744073709551615 4194304 4196468 140736767411680 139920755579632 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11056] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11056/stat : 11056 (java) S 11041 11041 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661200 14316269568 50892 18446744073709551615 4194304 4196468 140736767411680 139920754527328 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11057] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11057/stat : 11057 (java) S 11041 11041 5228 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 9661203 14316269568 50892 18446744073709551615 4194304 4196468 140736767411680 139920753473840 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
Current children cumulated CPU time (s) 16.91
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.12 1.85 1.87 3/216 11135
/proc/meminfo: memFree=31550052/32770624 swapFree=0/186372
[pid=11041] ppid=11038 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11041/stat : 11041 (xcsp3-exec) S 11038 11041 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9661186 9740288 345 18446744073709551615 4194304 5098028 140735017061776 140735017059880 140154054312572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18042880 140735017066907 140735017067111 140735017067111 140735017070571 0
/proc/11041/statm: 2378 345 289 221 0 87 0
[pid=11043] ppid=11041 vsize=13980732 CPUtime=24.39 cores=0,2,4,6
/proc/11043/stat : 11043 (java) S 11041 11041 5228 0 -1 1077944320 80018 0 0 0 2425 14 0 0 20 0 15 0 9661194 14316269568 63167 18446744073709551615 4194304 4196468 140736767411680 140736767394224 139921283706615 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
/proc/11043/statm: 3495183 63167 3218 1 0 3483484 0
[pid=11043/tid=11044] ppid=11041 vsize=13980732 CPUtime=12.56 cores=0,2,4,6
/proc/11043/task/11044/stat : 11044 (java) R 11041 11041 5228 0 -1 4202560 12861 0 0 0 1250 6 0 0 20 0 15 0 9661194 14316269568 63167 18446744073709551615 4194304 4196468 140736767411680 139921287942384 139920932965807 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11045] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11045/stat : 11045 (java) S 11041 11041 5228 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 15 0 9661195 14316269568 63167 18446744073709551615 4194304 4196468 140736767411680 139921244605200 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11046] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11046/stat : 11046 (java) S 11041 11041 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9661195 14316269568 63167 18446744073709551615 4194304 4196468 140736767411680 139920882985872 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
################
# More data... #
################
[pid=11043/tid=11050] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11050/stat : 11050 (java) S 11041 11041 5228 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9661197 14316269568 76490 18446744073709551615 4194304 4196468 140736767411680 139920760841184 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11051] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11051/stat : 11051 (java) S 11041 11041 5228 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 9661197 14316269568 76490 18446744073709551615 4194304 4196468 140736767411680 139920759788544 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11052] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11052/stat : 11052 (java) S 11041 11041 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661199 14316269568 76490 18446744073709551615 4194304 4196468 140736767411680 139920758737104 139921283725211 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11053] ppid=11041 vsize=13980732 CPUtime=7.89 cores=0,2,4,6
/proc/11043/task/11053/stat : 11053 (java) S 11041 11041 5228 0 -1 1077944384 41922 0 0 0 786 3 0 0 20 0 15 0 9661199 14316269568 76490 18446744073709551615 4194304 4196468 140736767411680 139920757684720 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11054] ppid=11041 vsize=13980732 CPUtime=8.13 cores=0,2,4,6
/proc/11043/task/11054/stat : 11054 (java) S 11041 11041 5228 0 -1 1077944384 40281 0 0 0 810 3 0 0 20 0 15 0 9661199 14316269568 76490 18446744073709551615 4194304 4196468 140736767411680 139920756632176 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11055] ppid=11041 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/11043/task/11055/stat : 11055 (java) S 11041 11041 5228 0 -1 1077944384 9405 0 0 0 89 2 0 0 20 0 15 0 9661199 14316269568 76490 18446744073709551615 4194304 4196468 140736767411680 139920755579632 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11056] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11056/stat : 11056 (java) S 11041 11041 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661200 14316269568 76490 18446744073709551615 4194304 4196468 140736767411680 139920754527328 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11057] ppid=11041 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/11043/task/11057/stat : 11057 (java) S 11041 11041 5228 0 -1 1077944384 314 0 0 0 0 2 0 0 20 0 15 0 9661203 14316269568 76490 18446744073709551615 4194304 4196468 140736767411680 139920753473840 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
Current children cumulated CPU time (s) 119.64
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.86 1.85 1.86 3/217 11168
/proc/meminfo: memFree=31399648/32770624 swapFree=0/186520
[pid=11041] ppid=11038 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11041/stat : 11041 (xcsp3-exec) S 11038 11041 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9661186 9740288 345 18446744073709551615 4194304 5098028 140735017061776 140735017059880 140154054312572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18042880 140735017066907 140735017067111 140735017067111 140735017070571 0
/proc/11041/statm: 2378 345 289 221 0 87 0
[pid=11043] ppid=11041 vsize=13980732 CPUtime=180.03 cores=0,2,4,6
/proc/11043/stat : 11043 (java) S 11041 11041 5228 0 -1 1077944320 117290 0 0 0 17970 33 0 0 20 0 15 0 9661194 14316269568 70497 18446744073709551615 4194304 4196468 140736767411680 140736767394224 139921283706615 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
/proc/11043/statm: 3495183 70497 3234 1 0 3483484 0
[pid=11043/tid=11044] ppid=11041 vsize=13980732 CPUtime=161.88 cores=0,2,4,6
/proc/11043/task/11044/stat : 11044 (java) R 11041 11041 5228 0 -1 4202560 17764 0 0 0 16180 8 0 0 20 0 15 0 9661194 14316269568 70497 18446744073709551615 4194304 4196468 140736767411680 139921287945872 139920930562466 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11045] ppid=11041 vsize=13980732 CPUtime=0.22 cores=0,2,4,6
/proc/11043/task/11045/stat : 11045 (java) S 11041 11041 5228 0 -1 1077944384 738 0 0 0 19 3 0 0 20 0 15 0 9661195 14316269568 70497 18446744073709551615 4194304 4196468 140736767411680 139921244605200 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11046] ppid=11041 vsize=13980732 CPUtime=0.22 cores=0,2,4,6
/proc/11043/task/11046/stat : 11046 (java) S 11041 11041 5228 0 -1 1077944384 1403 0 0 0 19 3 0 0 20 0 15 0 9661195 14316269568 70497 18446744073709551615 4194304 4196468 140736767411680 139920882985872 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11047] ppid=11041 vsize=13980732 CPUtime=0.22 cores=0,2,4,6
/proc/11043/task/11047/stat : 11047 (java) S 11041 11041 5228 0 -1 1077944384 1452 0 0 0 20 2 0 0 20 0 15 0 9661195 14316269568 70497 18446744073709551615 4194304 4196468 140736767411680 139920881933328 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11048] ppid=11041 vsize=13980732 CPUtime=0.21 cores=0,2,4,6
/proc/11043/task/11048/stat : 11048 (java) S 11041 11041 5228 0 -1 1077944384 1032 0 0 0 18 3 0 0 20 0 15 0 9661195 14316269568 70497 18446744073709551615 4194304 4196468 140736767411680 139920880880784 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11049] ppid=11041 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/11043/task/11049/stat : 11049 (java) S 11041 11041 5228 0 -1 1077944384 1243 0 0 0 3 0 0 0 20 0 15 0 9661196 14316269568 70497 18446744073709551615 4194304 4196468 140736767411680 139920761894896 139921283717762 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11050] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11050/stat : 11050 (java) S 11041 11041 5228 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9661197 14316269568 70497 18446744073709551615 4194304 4196468 140736767411680 139920760841184 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11051] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11051/stat : 11051 (java) S 11041 11041 5228 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 9661197 14316269568 70497 18446744073709551615 4194304 4196468 140736767411680 139920759788544 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11052] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11052/stat : 11052 (java) S 11041 11041 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661199 14316269568 70497 18446744073709551615 4194304 4196468 140736767411680 139920758737104 139921283725211 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11053] ppid=11041 vsize=13980732 CPUtime=8.06 cores=0,2,4,6
/proc/11043/task/11053/stat : 11053 (java) S 11041 11041 5228 0 -1 1077944384 42130 0 0 0 802 4 0 0 20 0 15 0 9661199 14316269568 70497 18446744073709551615 4194304 4196468 140736767411680 139920757684720 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11054] ppid=11041 vsize=13980732 CPUtime=8.14 cores=0,2,4,6
/proc/11043/task/11054/stat : 11054 (java) S 11041 11041 5228 0 -1 1077944384 40379 0 0 0 811 3 0 0 20 0 15 0 9661199 14316269568 70497 18446744073709551615 4194304 4196468 140736767411680 139920756632176 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11055] ppid=11041 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/11043/task/11055/stat : 11055 (java) S 11041 11041 5228 0 -1 1077944384 9482 0 0 0 89 2 0 0 20 0 15 0 9661199 14316269568 70497 18446744073709551615 4194304 4196468 140736767411680 139920755579632 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11056] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11056/stat : 11056 (java) S 11041 11041 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661200 14316269568 70497 18446744073709551615 4194304 4196468 140736767411680 139920754527328 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11057] ppid=11041 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/11043/task/11057/stat : 11057 (java) S 11041 11041 5228 0 -1 1077944384 316 0 0 0 1 2 0 0 20 0 15 0 9661203 14316269568 70497 18446744073709551615 4194304 4196468 140736767411680 139920753473840 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.69 1.78 1.84 3/218 11171
/proc/meminfo: memFree=31416936/32770624 swapFree=0/186552
[pid=11041] ppid=11038 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11041/stat : 11041 (xcsp3-exec) S 11038 11041 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9661186 9740288 345 18446744073709551615 4194304 5098028 140735017061776 140735017059880 140154054312572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18042880 140735017066907 140735017067111 140735017067111 140735017070571 0
/proc/11041/statm: 2378 345 289 221 0 87 0
[pid=11043] ppid=11041 vsize=13980732 CPUtime=240.59 cores=0,2,4,6
/proc/11043/stat : 11043 (java) S 11041 11041 5228 0 -1 1077944320 123567 0 0 0 24021 38 0 0 20 0 15 0 9661194 14316269568 69724 18446744073709551615 4194304 4196468 140736767411680 140736767394224 139921283706615 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
/proc/11043/statm: 3495183 69724 3234 1 0 3483484 0
[pid=11043/tid=11044] ppid=11041 vsize=13980732 CPUtime=221.76 cores=0,2,4,6
/proc/11043/task/11044/stat : 11044 (java) R 11041 11041 5228 0 -1 4202560 18307 0 0 0 22168 8 0 0 20 0 15 0 9661194 14316269568 69724 18446744073709551615 4194304 4196468 140736767411680 139921287943544 139920935403054 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11045] ppid=11041 vsize=13980732 CPUtime=0.34 cores=0,2,4,6
/proc/11043/task/11045/stat : 11045 (java) S 11041 11041 5228 0 -1 1077944384 917 0 0 0 30 4 0 0 20 0 15 0 9661195 14316269568 69724 18446744073709551615 4194304 4196468 140736767411680 139921244605200 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11046] ppid=11041 vsize=13980732 CPUtime=0.33 cores=0,2,4,6
/proc/11043/task/11046/stat : 11046 (java) S 11041 11041 5228 0 -1 1077944384 1447 0 0 0 29 4 0 0 20 0 15 0 9661195 14316269568 69724 18446744073709551615 4194304 4196468 140736767411680 139920882985872 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11047] ppid=11041 vsize=13980732 CPUtime=0.33 cores=0,2,4,6
/proc/11043/task/11047/stat : 11047 (java) S 11041 11041 5228 0 -1 1077944384 1486 0 0 0 30 3 0 0 20 0 15 0 9661195 14316269568 69724 18446744073709551615 4194304 4196468 140736767411680 139920881933328 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11048] ppid=11041 vsize=13980732 CPUtime=0.33 cores=0,2,4,6
/proc/11043/task/11048/stat : 11048 (java) S 11041 11041 5228 0 -1 1077944384 1074 0 0 0 29 4 0 0 20 0 15 0 9661195 14316269568 69724 18446744073709551615 4194304 4196468 140736767411680 139920880880784 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11049] ppid=11041 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/11043/task/11049/stat : 11049 (java) S 11041 11041 5228 0 -1 1077944384 1336 0 0 0 4 1 0 0 20 0 15 0 9661196 14316269568 69724 18446744073709551615 4194304 4196468 140736767411680 139920761894896 139921283717762 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11050] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11050/stat : 11050 (java) S 11041 11041 5228 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9661197 14316269568 69724 18446744073709551615 4194304 4196468 140736767411680 139920760841184 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11051] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11051/stat : 11051 (java) S 11041 11041 5228 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 9661197 14316269568 69724 18446744073709551615 4194304 4196468 140736767411680 139920759788544 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11052] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11052/stat : 11052 (java) S 11041 11041 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661199 14316269568 69724 18446744073709551615 4194304 4196468 140736767411680 139920758737104 139921283725211 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11053] ppid=11041 vsize=13980732 CPUtime=8.15 cores=0,2,4,6
/proc/11043/task/11053/stat : 11053 (java) S 11041 11041 5228 0 -1 1077944384 44161 0 0 0 811 4 0 0 20 0 15 0 9661199 14316269568 69724 18446744073709551615 4194304 4196468 140736767411680 139920757684720 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11054] ppid=11041 vsize=13980732 CPUtime=8.24 cores=0,2,4,6
/proc/11043/task/11054/stat : 11054 (java) S 11041 11041 5228 0 -1 1077944384 42472 0 0 0 821 3 0 0 20 0 15 0 9661199 14316269568 69724 18446744073709551615 4194304 4196468 140736767411680 139920756632176 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11055] ppid=11041 vsize=13980732 CPUtime=0.92 cores=0,2,4,6
/proc/11043/task/11055/stat : 11055 (java) S 11041 11041 5228 0 -1 1077944384 10677 0 0 0 90 2 0 0 20 0 15 0 9661199 14316269568 69724 18446744073709551615 4194304 4196468 140736767411680 139920755579632 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11056] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11056/stat : 11056 (java) S 11041 11041 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661200 14316269568 69724 18446744073709551615 4194304 4196468 140736767411680 139920754527328 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11057] ppid=11041 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/11043/task/11057/stat : 11057 (java) S 11041 11041 5228 0 -1 1077944384 339 0 0 0 2 3 0 0 20 0 15 0 9661203 14316269568 69724 18446744073709551615 4194304 4196468 140736767411680 139920753473840 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
Current children cumulated CPU time (s) 240.59
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.50 1.73 1.82 3/218 11172
/proc/meminfo: memFree=31414008/32770624 swapFree=0/186564
[pid=11041] ppid=11038 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11041/stat : 11041 (xcsp3-exec) S 11038 11041 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9661186 9740288 345 18446744073709551615 4194304 5098028 140735017061776 140735017059880 140154054312572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18042880 140735017066907 140735017067111 140735017067111 140735017070571 0
/proc/11041/statm: 2378 345 289 221 0 87 0
[pid=11043] ppid=11041 vsize=13980732 CPUtime=258.48 cores=0,2,4,6
/proc/11043/stat : 11043 (java) S 11041 11041 5228 0 -1 1077944320 125638 0 0 0 25807 41 0 0 20 0 15 0 9661194 14316269568 71322 18446744073709551615 4194304 4196468 140736767411680 140736767394224 139921283706615 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
/proc/11043/statm: 3495183 71322 3234 1 0 3483484 0
[pid=11043/tid=11044] ppid=11041 vsize=13980732 CPUtime=239.39 cores=0,2,4,6
/proc/11043/task/11044/stat : 11044 (java) R 11041 11041 5228 0 -1 4202560 19181 0 0 0 23931 8 0 0 20 0 15 0 9661194 14316269568 71322 18446744073709551615 4194304 4196468 140736767411680 139921287944168 139920935622821 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11045] ppid=11041 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/11043/task/11045/stat : 11045 (java) S 11041 11041 5228 0 -1 1077944384 972 0 0 0 35 4 0 0 20 0 15 0 9661195 14316269568 71322 18446744073709551615 4194304 4196468 140736767411680 139921244605200 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11046] ppid=11041 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/11043/task/11046/stat : 11046 (java) S 11041 11041 5228 0 -1 1077944384 1497 0 0 0 35 4 0 0 20 0 15 0 9661195 14316269568 71322 18446744073709551615 4194304 4196468 140736767411680 139920882985872 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11047] ppid=11041 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/11043/task/11047/stat : 11047 (java) S 11041 11041 5228 0 -1 1077944384 1865 0 0 0 35 4 0 0 20 0 15 0 9661195 14316269568 71322 18446744073709551615 4194304 4196468 140736767411680 139920881933328 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11048] ppid=11041 vsize=13980732 CPUtime=0.37 cores=0,2,4,6
/proc/11043/task/11048/stat : 11048 (java) S 11041 11041 5228 0 -1 1077944384 1207 0 0 0 33 4 0 0 20 0 15 0 9661195 14316269568 71322 18446744073709551615 4194304 4196468 140736767411680 139920880880784 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11049] ppid=11041 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/11043/task/11049/stat : 11049 (java) S 11041 11041 5228 0 -1 1077944384 1595 0 0 0 5 1 0 0 20 0 15 0 9661196 14316269568 71322 18446744073709551615 4194304 4196468 140736767411680 139920761894896 139921283717762 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11050] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11050/stat : 11050 (java) S 11041 11041 5228 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9661197 14316269568 71322 18446744073709551615 4194304 4196468 140736767411680 139920760841184 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11051] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11051/stat : 11051 (java) S 11041 11041 5228 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 9661197 14316269568 71322 18446744073709551615 4194304 4196468 140736767411680 139920759788544 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11052] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11052/stat : 11052 (java) S 11041 11041 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661199 14316269568 71322 18446744073709551615 4194304 4196468 140736767411680 139920758737104 139921283725211 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11053] ppid=11041 vsize=13980732 CPUtime=8.16 cores=0,2,4,6
/proc/11043/task/11053/stat : 11053 (java) S 11041 11041 5228 0 -1 1077944384 44166 0 0 0 812 4 0 0 20 0 15 0 9661199 14316269568 71322 18446744073709551615 4194304 4196468 140736767411680 139920757684720 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11054] ppid=11041 vsize=13980732 CPUtime=8.25 cores=0,2,4,6
/proc/11043/task/11054/stat : 11054 (java) S 11041 11041 5228 0 -1 1077944384 42477 0 0 0 822 3 0 0 20 0 15 0 9661199 14316269568 71322 18446744073709551615 4194304 4196468 140736767411680 139920756632176 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11055] ppid=11041 vsize=13980732 CPUtime=0.92 cores=0,2,4,6
/proc/11043/task/11055/stat : 11055 (java) S 11041 11041 5228 0 -1 1077944384 10971 0 0 0 90 2 0 0 20 0 15 0 9661199 14316269568 71322 18446744073709551615 4194304 4196468 140736767411680 139920755579632 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11056] ppid=11041 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11043/task/11056/stat : 11056 (java) S 11041 11041 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661200 14316269568 71322 18446744073709551615 4194304 4196468 140736767411680 139920754527328 139921283716821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
[pid=11043/tid=11057] ppid=11041 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/11043/task/11057/stat : 11057 (java) S 11041 11041 5228 0 -1 1077944384 356 0 0 0 2 3 0 0 20 0 15 0 9661203 14316269568 71322 18446744073709551615 4194304 4196468 140736767411680 139920753473840 139921283717762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140736767414740 140736767414915 140736767414915 140736767418319 0
Current children cumulated CPU time (s) 258.48
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 11043 sig 9
??? kill 11041 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 11041 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1840
# CPU time returned by wait4() is 0.00184
# while last known CPU time is 258.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.013
CPU time (s): 258.48
CPU user time (s): 258.07
CPU system time (s): 0.41
CPU usage (%): 107.694
Max. virtual memory (cumulated for all children) (KiB): 13993740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.00184
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.08292 second user time and 1.40779 second system time
The end