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-4249307-1502054450/watcher-4249307-1502054450 -o /tmp/evaluation-result-4249307-1502054450/solver-4249307-1502054450 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31899 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 339470888 HOME/instance-4249307-1502054450.xml
pid=6206
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 4.28 2.81 2.74 3/202 6209
/proc/meminfo: memFree=26800380/32770624 swapFree=0/324036
[pid=6209] ppid=6206 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6209/stat : 6209 (runsolver) D 6206 6209 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 53260321 24240128 108 18446744073709551615 4194304 4338465 140734009867936 140734009865576 139777167139543 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 23879680 140734009872471 140734009872969 140734009872969 140734009876426 0
/proc/6209/statm: 5918 108 54 36 0 2156 0
[startup+0.100111 s]
/proc/loadavg: 4.28 2.81 2.74 3/202 6209
/proc/meminfo: memFree=26800380/32770624 swapFree=0/324036
[pid=6209] ppid=6206 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53260321 9740288 345 18446744073709551615 4194304 5098028 140724770390016 140724770388120 140312218555004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40177664 140724770398617 140724770398826 140724770398826 140724770402283 0
/proc/6209/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200255 s]
/proc/loadavg: 4.28 2.81 2.74 3/202 6209
/proc/meminfo: memFree=26800380/32770624 swapFree=0/324036
[pid=6209] ppid=6206 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53260321 9740288 345 18446744073709551615 4194304 5098028 140724770390016 140724770388120 140312218555004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40177664 140724770398617 140724770398826 140724770398826 140724770402283 0
/proc/6209/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300298 s]
/proc/loadavg: 4.28 2.81 2.74 3/202 6209
/proc/meminfo: memFree=26800380/32770624 swapFree=0/324036
[pid=6209] ppid=6206 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53260321 9740288 345 18446744073709551615 4194304 5098028 140724770390016 140724770388120 140312218555004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40177664 140724770398617 140724770398826 140724770398826 140724770402283 0
/proc/6209/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700266 s]
/proc/loadavg: 4.28 2.81 2.74 3/202 6209
/proc/meminfo: memFree=26800380/32770624 swapFree=0/324036
[pid=6209] ppid=6206 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53260321 9740288 345 18446744073709551615 4194304 5098028 140724770390016 140724770388120 140312218555004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40177664 140724770398617 140724770398826 140724770398826 140724770402283 0
/proc/6209/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50646 s]
/proc/loadavg: 4.28 2.81 2.74 5/218 6225
/proc/meminfo: memFree=26518608/32770624 swapFree=0/324096
[pid=6209] ppid=6206 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53260321 9740288 345 18446744073709551615 4194304 5098028 140724770390016 140724770388120 140312218555004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40177664 140724770398617 140724770398826 140724770398826 140724770402283 0
/proc/6209/statm: 2378 345 289 221 0 87 0
[pid=6211] ppid=6209 vsize=12917280 CPUtime=3.68 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6209 25100 0 -1 1077944320 16550 0 0 0 340 28 0 0 20 0 15 0 53260328 13227294720 115080 18446744073709551615 4194304 4196468 140726901826736 140726901809280 139640573783799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
/proc/6211/statm: 3229320 115080 3203 1 0 3217612 0
[pid=6211/tid=6212] ppid=6209 vsize=12917280 CPUtime=1.23 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) S 6209 6209 25100 0 -1 1077944384 8060 0 0 0 116 7 0 0 20 0 15 0 53260328 13227294720 115080 18446744073709551615 4194304 4196468 140726901826736 139640578021568 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6213] ppid=6209 vsize=12917280 CPUtime=0.11 cores=1,3,5,7
/proc/6211/task/6213/stat : 6213 (java) R 6209 6209 25100 0 -1 4202560 81 0 0 0 7 4 0 0 20 0 15 0 53260329 13227294720 115080 18446744073709551615 4194304 4196468 140726901826736 139640530750424 139640552979015 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6214] ppid=6209 vsize=12917280 CPUtime=0.14 cores=1,3,5,7
/proc/6211/task/6214/stat : 6214 (java) R 6209 6209 25100 0 -1 4202560 112 0 0 0 9 5 0 0 20 0 15 0 53260329 13227294720 115080 18446744073709551615 4194304 4196468 140726901826736 139640529697880 139640558809080 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6215] ppid=6209 vsize=12917280 CPUtime=0.12 cores=1,3,5,7
/proc/6211/task/6215/stat : 6215 (java) R 6209 6209 25100 0 -1 4202560 112 0 0 0 8 4 0 0 20 0 15 0 53260329 13227294720 115080 18446744073709551615 4194304 4196468 140726901826736 139640528645136 139640558812071 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6216] ppid=6209 vsize=12917280 CPUtime=0.12 cores=1,3,5,7
/proc/6211/task/6216/stat : 6216 (java) R 6209 6209 25100 0 -1 4202560 93 0 0 0 8 4 0 0 20 0 15 0 53260329 13227294720 115080 18446744073709551615 4194304 4196468 140726901826736 139640173952344 139640558231907 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6217] ppid=6209 vsize=12917280 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6217/stat : 6217 (java) S 6209 6209 25100 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 53260330 13227294720 115080 18446744073709551615 4194304 4196468 140726901826736 139640057094688 139640573794005 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6218] ppid=6209 vsize=12917280 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6218/stat : 6218 (java) S 6209 6209 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 53260331 13227294720 115080 18446744073709551615 4194304 4196468 140726901826736 139640056042400 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6219] ppid=6209 vsize=12917280 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6219/stat : 6219 (java) S 6209 6209 25100 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 53260331 13227294720 115080 18446744073709551615 4194304 4196468 140726901826736 139640054989808 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6220] ppid=6209 vsize=12917280 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6220/stat : 6220 (java) S 6209 6209 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53260333 13227294720 115080 18446744073709551615 4194304 4196468 140726901826736 139640053938384 139640573802395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6221] ppid=6209 vsize=12917280 CPUtime=0.8 cores=1,3,5,7
/proc/6211/task/6221/stat : 6221 (java) S 6209 6209 25100 0 -1 1077944384 2684 0 0 0 80 0 0 0 20 0 15 0 53260333 13227294720 115080 18446744073709551615 4194304 4196468 140726901826736 139640052871472 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6222] ppid=6209 vsize=12917280 CPUtime=0.8 cores=1,3,5,7
/proc/6211/task/6222/stat : 6222 (java) R 6209 6209 25100 0 -1 4202560 2450 0 0 0 80 0 0 0 20 0 15 0 53260333 13227294720 115080 18446744073709551615 4194304 4196468 140726901826736 139640051819640 139640558705581 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6223] ppid=6209 vsize=12917280 CPUtime=0.28 cores=1,3,5,7
/proc/6211/task/6223/stat : 6223 (java) S 6209 6209 25100 0 -1 1077944384 1576 0 0 0 28 0 0 0 20 0 15 0 53260333 13227294720 115080 18446744073709551615 4194304 4196468 140726901826736 139640050780912 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6224] ppid=6209 vsize=12917280 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6224/stat : 6224 (java) S 6209 6209 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53260334 13227294720 115080 18446744073709551615 4194304 4196468 140726901826736 139640049728608 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6225] ppid=6209 vsize=12917280 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6225/stat : 6225 (java) S 6209 6209 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53260338 13227294720 115080 18446744073709551615 4194304 4196468 140726901826736 139640048675120 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 12926792
[startup+3.10145 s]
/proc/loadavg: 4.28 2.81 2.74 3/218 6225
/proc/meminfo: memFree=26073636/32770624 swapFree=0/324096
[pid=6209] ppid=6206 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53260321 9740288 345 18446744073709551615 4194304 5098028 140724770390016 140724770388120 140312218555004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40177664 140724770398617 140724770398826 140724770398826 140724770402283 0
/proc/6209/statm: 2378 345 289 221 0 87 0
[pid=6211] ppid=6209 vsize=12919328 CPUtime=6.56 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6209 25100 0 -1 1077944320 19757 0 0 0 612 44 0 0 20 0 15 0 53260328 13229391872 193676 18446744073709551615 4194304 4196468 140726901826736 140726901809280 139640573783799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
/proc/6211/statm: 3229832 193676 3227 1 0 3218124 0
[pid=6211/tid=6212] ppid=6209 vsize=12919328 CPUtime=2.5 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) R 6209 6209 25100 0 -1 4202560 9304 0 0 0 240 10 0 0 20 0 15 0 53260328 13229391872 193676 18446744073709551615 4194304 4196468 140726901826736 139640578019296 139640214507147 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6213] ppid=6209 vsize=12919328 CPUtime=0.2 cores=1,3,5,7
/proc/6211/task/6213/stat : 6213 (java) S 6209 6209 25100 0 -1 1077944384 275 0 0 0 13 7 0 0 20 0 15 0 53260329 13229391872 193676 18446744073709551615 4194304 4196468 140726901826736 139640530750224 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6214] ppid=6209 vsize=12919328 CPUtime=0.22 cores=1,3,5,7
/proc/6211/task/6214/stat : 6214 (java) S 6209 6209 25100 0 -1 1077944384 186 0 0 0 14 8 0 0 20 0 15 0 53260329 13229391872 193676 18446744073709551615 4194304 4196468 140726901826736 139640529697680 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6215] ppid=6209 vsize=12919328 CPUtime=0.2 cores=1,3,5,7
/proc/6211/task/6215/stat : 6215 (java) S 6209 6209 25100 0 -1 1077944384 235 0 0 0 13 7 0 0 20 0 15 0 53260329 13229391872 193676 18446744073709551615 4194304 4196468 140726901826736 139640528645136 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6216] ppid=6209 vsize=12919328 CPUtime=0.21 cores=1,3,5,7
/proc/6211/task/6216/stat : 6216 (java) S 6209 6209 25100 0 -1 1077944384 225 0 0 0 14 7 0 0 20 0 15 0 53260329 13229391872 193676 18446744073709551615 4194304 4196468 140726901826736 139640173952144 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6217] ppid=6209 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6217/stat : 6217 (java) S 6209 6209 25100 0 -1 1077944384 552 0 0 0 0 0 0 0 20 0 15 0 53260330 13229391872 193676 18446744073709551615 4194304 4196468 140726901826736 139640057096176 139640573794946 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6218] ppid=6209 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6218/stat : 6218 (java) S 6209 6209 25100 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 53260331 13229391872 193676 18446744073709551615 4194304 4196468 140726901826736 139640056042400 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6219] ppid=6209 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6219/stat : 6219 (java) S 6209 6209 25100 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 53260331 13229391872 193676 18446744073709551615 4194304 4196468 140726901826736 139640054989824 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6220] ppid=6209 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6220/stat : 6220 (java) S 6209 6209 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53260333 13229391872 193676 18446744073709551615 4194304 4196468 140726901826736 139640053938384 139640573802395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6221] ppid=6209 vsize=12919328 CPUtime=1.29 cores=1,3,5,7
/proc/6211/task/6221/stat : 6221 (java) R 6209 6209 25100 0 -1 4202560 2815 0 0 0 129 0 0 0 20 0 15 0 53260333 13229391872 193676 18446744073709551615 4194304 4196468 140726901826736 139640052873440 139640557194614 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6222] ppid=6209 vsize=12919328 CPUtime=1.3 cores=1,3,5,7
/proc/6211/task/6222/stat : 6222 (java) R 6209 6209 25100 0 -1 4202560 2619 0 0 0 130 0 0 0 20 0 15 0 53260333 13229391872 193676 18446744073709551615 4194304 4196468 140726901826736 139640051833456 139640555303880 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6223] ppid=6209 vsize=12919328 CPUtime=0.56 cores=1,3,5,7
/proc/6211/task/6223/stat : 6223 (java) R 6209 6209 25100 0 -1 4202560 2244 0 0 0 55 1 0 0 20 0 15 0 53260333 13229391872 193676 18446744073709551615 4194304 4196468 140726901826736 139640050780016 139640553970889 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6224] ppid=6209 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6224/stat : 6224 (java) S 6209 6209 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53260334 13229391872 193676 18446744073709551615 4194304 4196468 140726901826736 139640049728608 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6225] ppid=6209 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6225/stat : 6225 (java) S 6209 6209 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53260338 13229391872 193676 18446744073709551615 4194304 4196468 140726901826736 139640048675120 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
Current children cumulated CPU time (s) 6.56
Current children cumulated vsize (KiB) 12928840
[startup+6.30149 s]
/proc/loadavg: 4.34 2.84 2.75 6/218 6225
/proc/meminfo: memFree=25023088/32770624 swapFree=0/324100
[pid=6209] ppid=6206 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53260321 9740288 345 18446744073709551615 4194304 5098028 140724770390016 140724770388120 140312218555004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40177664 140724770398617 140724770398826 140724770398826 140724770402283 0
/proc/6209/statm: 2378 345 289 221 0 87 0
[pid=6211] ppid=6209 vsize=12919328 CPUtime=16.52 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6209 25100 0 -1 1077944320 33343 0 0 0 1541 111 0 0 20 0 15 0 53260328 13229391872 446534 18446744073709551615 4194304 4196468 140726901826736 140726901809280 139640573783799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
/proc/6211/statm: 3229832 446534 3250 1 0 3218124 0
[pid=6211/tid=6212] ppid=6209 vsize=12919328 CPUtime=4.06 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) S 6209 6209 25100 0 -1 1077944384 10457 0 0 0 389 17 0 0 20 0 15 0 53260328 13229391872 446534 18446744073709551615 4194304 4196468 140726901826736 139640578022560 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6213] ppid=6209 vsize=12919328 CPUtime=1.81 cores=1,3,5,7
/proc/6211/task/6213/stat : 6213 (java) R 6209 6209 25100 0 -1 4202560 1439 0 0 0 159 22 0 0 20 0 15 0 53260329 13229391872 446534 18446744073709551615 4194304 4196468 140726901826736 139640530750112 139640558484495 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6214] ppid=6209 vsize=12919328 CPUtime=1.83 cores=1,3,5,7
/proc/6211/task/6214/stat : 6214 (java) R 6209 6209 25100 0 -1 4202560 820 0 0 0 161 22 0 0 20 0 15 0 53260329 13229391872 446534 18446744073709551615 4194304 4196468 140726901826736 139640529697680 139640558484384 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6215] ppid=6209 vsize=12919328 CPUtime=1.8 cores=1,3,5,7
/proc/6211/task/6215/stat : 6215 (java) R 6209 6209 25100 0 -1 4202560 947 0 0 0 159 21 0 0 20 0 15 0 53260329 13229391872 446534 18446744073709551615 4194304 4196468 140726901826736 139640528645136 139640558780203 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6216] ppid=6209 vsize=12919328 CPUtime=1.82 cores=1,3,5,7
/proc/6211/task/6216/stat : 6216 (java) R 6209 6209 25100 0 -1 4202560 843 0 0 0 160 22 0 0 20 0 15 0 53260329 13229391872 446534 18446744073709551615 4194304 4196468 140726901826736 139640173952344 139640558484432 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6217] ppid=6209 vsize=12919328 CPUtime=0.02 cores=1,3,5,7
/proc/6211/task/6217/stat : 6217 (java) S 6209 6209 25100 0 -1 1077944384 2255 0 0 0 2 0 0 0 20 0 15 0 53260330 13229391872 446534 18446744073709551615 4194304 4196468 140726901826736 139640057094720 139640573794005 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6218] ppid=6209 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6218/stat : 6218 (java) S 6209 6209 25100 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 53260331 13229391872 446534 18446744073709551615 4194304 4196468 140726901826736 139640056042400 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6219] ppid=6209 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6219/stat : 6219 (java) S 6209 6209 25100 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 53260331 13229391872 446534 18446744073709551615 4194304 4196468 140726901826736 139640054989824 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6220] ppid=6209 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6220/stat : 6220 (java) S 6209 6209 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53260333 13229391872 446534 18446744073709551615 4194304 4196468 140726901826736 139640053938384 139640573802395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6221] ppid=6209 vsize=12919328 CPUtime=2.39 cores=1,3,5,7
/proc/6211/task/6221/stat : 6221 (java) S 6209 6209 25100 0 -1 1077944384 6875 0 0 0 238 1 0 0 20 0 15 0 53260333 13229391872 446534 18446744073709551615 4194304 4196468 140726901826736 139640052886000 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6222] ppid=6209 vsize=12919328 CPUtime=2.08 cores=1,3,5,7
/proc/6211/task/6222/stat : 6222 (java) S 6209 6209 25100 0 -1 1077944384 5307 0 0 0 208 0 0 0 20 0 15 0 53260333 13229391872 446534 18446744073709551615 4194304 4196468 140726901826736 139640051833456 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6223] ppid=6209 vsize=12919328 CPUtime=0.62 cores=1,3,5,7
/proc/6211/task/6223/stat : 6223 (java) S 6209 6209 25100 0 -1 1077944384 3002 0 0 0 61 1 0 0 20 0 15 0 53260333 13229391872 446534 18446744073709551615 4194304 4196468 140726901826736 139640050780912 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6224] ppid=6209 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6224/stat : 6224 (java) S 6209 6209 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53260334 13229391872 446534 18446744073709551615 4194304 4196468 140726901826736 139640049728608 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6225] ppid=6209 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6225/stat : 6225 (java) S 6209 6209 25100 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 53260338 13229391872 446534 18446744073709551615 4194304 4196468 140726901826736 139640048675120 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
Current children cumulated CPU time (s) 16.52
Current children cumulated vsize (KiB) 12928840
[startup+12.7015 s]
/proc/loadavg: 4.39 2.88 2.76 6/218 6225
/proc/meminfo: memFree=23534188/32770624 swapFree=0/324108
[pid=6209] ppid=6206 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53260321 9740288 345 18446744073709551615 4194304 5098028 140724770390016 140724770388120 140312218555004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40177664 140724770398617 140724770398826 140724770398826 140724770402283 0
/proc/6209/statm: 2378 345 289 221 0 87 0
[pid=6211] ppid=6209 vsize=12919328 CPUtime=32.21 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6209 25100 0 -1 1077944320 50491 0 0 0 3000 221 0 0 20 0 15 0 53260328 13229391872 887366 18446744073709551615 4194304 4196468 140726901826736 140726901809280 139640573783799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
/proc/6211/statm: 3229832 887366 3254 1 0 3218124 0
[pid=6211/tid=6212] ppid=6209 vsize=12919328 CPUtime=7.09 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) R 6209 6209 25100 0 -1 4202560 15751 0 0 0 680 29 0 0 20 0 15 0 53260328 13229391872 887366 18446744073709551615 4194304 4196468 140726901826736 139640578020216 139640215898443 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6213] ppid=6209 vsize=12919328 CPUtime=4.65 cores=1,3,5,7
/proc/6211/task/6213/stat : 6213 (java) S 6209 6209 25100 0 -1 1077944384 2672 0 0 0 420 45 0 0 20 0 15 0 53260329 13229391872 887366 18446744073709551615 4194304 4196468 140726901826736 139640530750224 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6214] ppid=6209 vsize=12919328 CPUtime=4.68 cores=1,3,5,7
/proc/6211/task/6214/stat : 6214 (java) S 6209 6209 25100 0 -1 1077944384 1809 0 0 0 422 46 0 0 20 0 15 0 53260329 13229391872 887366 18446744073709551615 4194304 4196468 140726901826736 139640529697680 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
################
# More data... #
################
/proc/6209/statm: 2378 345 289 221 0 87 0
[pid=6211] ppid=6209 vsize=13185584 CPUtime=2280.5 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6209 25100 0 -1 1077944320 323051 0 0 0 227470 580 0 0 20 0 19 0 53260328 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 140726901809280 139640573783799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
/proc/6211/statm: 3296396 1779741 3288 1 0 3284688 0
[pid=6211/tid=6212] ppid=6209 vsize=13185584 CPUtime=19.36 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) S 6209 6209 25100 0 -1 1077944384 21576 0 0 0 1906 30 0 0 20 0 19 0 53260328 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640578024576 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6213] ppid=6209 vsize=13185584 CPUtime=29.15 cores=1,3,5,7
/proc/6211/task/6213/stat : 6213 (java) S 6209 6209 25100 0 -1 1077944384 11787 0 0 0 2797 118 0 0 20 0 19 0 53260329 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640530750224 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6214] ppid=6209 vsize=13185584 CPUtime=29.1 cores=1,3,5,7
/proc/6211/task/6214/stat : 6214 (java) S 6209 6209 25100 0 -1 1077944384 16974 0 0 0 2792 118 0 0 20 0 19 0 53260329 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640529697680 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6215] ppid=6209 vsize=13185584 CPUtime=29.13 cores=1,3,5,7
/proc/6211/task/6215/stat : 6215 (java) S 6209 6209 25100 0 -1 1077944384 14030 0 0 0 2798 115 0 0 20 0 19 0 53260329 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640528645136 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6216] ppid=6209 vsize=13185584 CPUtime=29.24 cores=1,3,5,7
/proc/6211/task/6216/stat : 6216 (java) S 6209 6209 25100 0 -1 1077944384 20419 0 0 0 2806 118 0 0 20 0 19 0 53260329 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640173952144 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6217] ppid=6209 vsize=13185584 CPUtime=6.14 cores=1,3,5,7
/proc/6211/task/6217/stat : 6217 (java) S 6209 6209 25100 0 -1 1077944384 19429 0 0 0 610 4 0 0 20 0 19 0 53260330 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640057096176 139640573794946 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6218] ppid=6209 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6218/stat : 6218 (java) S 6209 6209 25100 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 19 0 53260331 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640056042464 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6219] ppid=6209 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6219/stat : 6219 (java) S 6209 6209 25100 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 19 0 53260331 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640054989824 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6220] ppid=6209 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6220/stat : 6220 (java) S 6209 6209 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53260333 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640053938384 139640573802395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6221] ppid=6209 vsize=13185584 CPUtime=5.22 cores=1,3,5,7
/proc/6211/task/6221/stat : 6221 (java) S 6209 6209 25100 0 -1 1077944384 29065 0 0 0 518 4 0 0 20 0 19 0 53260333 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640052886000 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6222] ppid=6209 vsize=13185584 CPUtime=5.17 cores=1,3,5,7
/proc/6211/task/6222/stat : 6222 (java) S 6209 6209 25100 0 -1 1077944384 34102 0 0 0 514 3 0 0 20 0 19 0 53260333 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640051833456 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6223] ppid=6209 vsize=13185584 CPUtime=1.17 cores=1,3,5,7
/proc/6211/task/6223/stat : 6223 (java) S 6209 6209 25100 0 -1 1077944384 20079 0 0 0 113 4 0 0 20 0 19 0 53260333 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640050780912 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6224] ppid=6209 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6224/stat : 6224 (java) S 6209 6209 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53260334 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640049728608 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6225] ppid=6209 vsize=13185584 CPUtime=1.14 cores=1,3,5,7
/proc/6211/task/6225/stat : 6225 (java) S 6209 6209 25100 0 -1 1077944384 4338 0 0 0 49 65 0 0 20 0 19 0 53260338 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640048675120 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6239] ppid=6209 vsize=13185584 CPUtime=68.84 cores=1,3,5,7
/proc/6211/task/6239/stat : 6239 (java) S 6209 6209 25100 0 -1 1077944384 41705 0 0 0 6881 3 0 0 20 0 19 0 53273777 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640041164336 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6240] ppid=6209 vsize=13185584 CPUtime=69.34 cores=1,3,5,7
/proc/6211/task/6240/stat : 6240 (java) S 6209 6209 25100 0 -1 1077944384 8019 0 0 0 6934 0 0 0 20 0 19 0 53273777 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640038007760 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6241] ppid=6209 vsize=13185584 CPUtime=1813.49 cores=1,3,5,7
/proc/6211/task/6241/stat : 6241 (java) R 6209 6209 25100 0 -1 4202560 49243 0 0 0 181343 6 0 0 20 0 19 0 53273777 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640039055048 139640216607283 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6242] ppid=6209 vsize=13185584 CPUtime=69.06 cores=1,3,5,7
/proc/6211/task/6242/stat : 6242 (java) S 6209 6209 25100 0 -1 1077944384 7021 0 0 0 6905 1 0 0 20 0 19 0 53273777 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640040113360 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
Current children cumulated CPU time (s) 2280.5
Current children cumulated vsize (KiB) 13195096
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.16 3/225 6368
/proc/meminfo: memFree=19669372/32770624 swapFree=0/324852
[pid=6209] ppid=6206 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53260321 9740288 345 18446744073709551615 4194304 5098028 140724770390016 140724770388120 140312218555004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40177664 140724770398617 140724770398826 140724770398826 140724770402283 0
/proc/6209/statm: 2378 345 289 221 0 87 0
[pid=6211] ppid=6209 vsize=13185584 CPUtime=2340.54 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6209 25100 0 -1 1077944320 324598 0 0 0 233473 581 0 0 20 0 19 0 53260328 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 140726901809280 139640573783799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
/proc/6211/statm: 3296396 1779741 3288 1 0 3284688 0
[pid=6211/tid=6212] ppid=6209 vsize=13185584 CPUtime=19.36 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) S 6209 6209 25100 0 -1 1077944384 21576 0 0 0 1906 30 0 0 20 0 19 0 53260328 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640578024576 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6213] ppid=6209 vsize=13185584 CPUtime=29.15 cores=1,3,5,7
/proc/6211/task/6213/stat : 6213 (java) S 6209 6209 25100 0 -1 1077944384 11787 0 0 0 2797 118 0 0 20 0 19 0 53260329 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640530750224 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6214] ppid=6209 vsize=13185584 CPUtime=29.1 cores=1,3,5,7
/proc/6211/task/6214/stat : 6214 (java) S 6209 6209 25100 0 -1 1077944384 16974 0 0 0 2792 118 0 0 20 0 19 0 53260329 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640529697680 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6215] ppid=6209 vsize=13185584 CPUtime=29.13 cores=1,3,5,7
/proc/6211/task/6215/stat : 6215 (java) S 6209 6209 25100 0 -1 1077944384 14030 0 0 0 2798 115 0 0 20 0 19 0 53260329 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640528645136 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6216] ppid=6209 vsize=13185584 CPUtime=29.24 cores=1,3,5,7
/proc/6211/task/6216/stat : 6216 (java) S 6209 6209 25100 0 -1 1077944384 20419 0 0 0 2806 118 0 0 20 0 19 0 53260329 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640173952144 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6217] ppid=6209 vsize=13185584 CPUtime=6.14 cores=1,3,5,7
/proc/6211/task/6217/stat : 6217 (java) S 6209 6209 25100 0 -1 1077944384 19459 0 0 0 610 4 0 0 20 0 19 0 53260330 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640057096176 139640573794946 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6218] ppid=6209 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6218/stat : 6218 (java) S 6209 6209 25100 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 19 0 53260331 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640056042464 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6219] ppid=6209 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6219/stat : 6219 (java) S 6209 6209 25100 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 19 0 53260331 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640054989824 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6220] ppid=6209 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6220/stat : 6220 (java) S 6209 6209 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53260333 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640053938384 139640573802395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6221] ppid=6209 vsize=13185584 CPUtime=5.22 cores=1,3,5,7
/proc/6211/task/6221/stat : 6221 (java) S 6209 6209 25100 0 -1 1077944384 29081 0 0 0 518 4 0 0 20 0 19 0 53260333 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640052886000 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6222] ppid=6209 vsize=13185584 CPUtime=5.17 cores=1,3,5,7
/proc/6211/task/6222/stat : 6222 (java) S 6209 6209 25100 0 -1 1077944384 34109 0 0 0 514 3 0 0 20 0 19 0 53260333 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640051833456 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6223] ppid=6209 vsize=13185584 CPUtime=1.17 cores=1,3,5,7
/proc/6211/task/6223/stat : 6223 (java) S 6209 6209 25100 0 -1 1077944384 20094 0 0 0 113 4 0 0 20 0 19 0 53260333 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640050780912 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6224] ppid=6209 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6224/stat : 6224 (java) S 6209 6209 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53260334 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640049728608 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6225] ppid=6209 vsize=13185584 CPUtime=1.17 cores=1,3,5,7
/proc/6211/task/6225/stat : 6225 (java) S 6209 6209 25100 0 -1 1077944384 4453 0 0 0 51 66 0 0 20 0 19 0 53260338 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640048675120 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6239] ppid=6209 vsize=13185584 CPUtime=68.84 cores=1,3,5,7
/proc/6211/task/6239/stat : 6239 (java) S 6209 6209 25100 0 -1 1077944384 41705 0 0 0 6881 3 0 0 20 0 19 0 53273777 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640041164336 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6240] ppid=6209 vsize=13185584 CPUtime=69.34 cores=1,3,5,7
/proc/6211/task/6240/stat : 6240 (java) S 6209 6209 25100 0 -1 1077944384 8019 0 0 0 6934 0 0 0 20 0 19 0 53273777 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640038007760 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6241] ppid=6209 vsize=13185584 CPUtime=1873.49 cores=1,3,5,7
/proc/6211/task/6241/stat : 6241 (java) R 6209 6209 25100 0 -1 4202560 50607 0 0 0 187343 6 0 0 20 0 19 0 53273777 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640039055048 139640210226268 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6242] ppid=6209 vsize=13185584 CPUtime=69.06 cores=1,3,5,7
/proc/6211/task/6242/stat : 6242 (java) S 6209 6209 25100 0 -1 1077944384 7021 0 0 0 6905 1 0 0 20 0 19 0 53273777 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640040113360 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
Current children cumulated CPU time (s) 2340.54
Current children cumulated vsize (KiB) 13195096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2081.8 s]
/proc/loadavg: 2.00 2.02 2.15 3/226 6371
/proc/meminfo: memFree=19669316/32770624 swapFree=0/324896
[pid=6209] ppid=6206 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6209/stat : 6209 (xcsp3-exec) S 6206 6209 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53260321 9740288 345 18446744073709551615 4194304 5098028 140724770390016 140724770388120 140312218555004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40177664 140724770398617 140724770398826 140724770398826 140724770402283 0
/proc/6209/statm: 2378 345 289 221 0 87 0
[pid=6211] ppid=6209 vsize=13185584 CPUtime=2400.07 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6209 25100 0 -1 1077944320 326314 0 0 0 239425 582 0 0 20 0 19 0 53260328 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 140726901809280 139640573783799 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
/proc/6211/statm: 3296396 1779741 3288 1 0 3284688 0
[pid=6211/tid=6212] ppid=6209 vsize=13185584 CPUtime=19.36 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) S 6209 6209 25100 0 -1 1077944384 21576 0 0 0 1906 30 0 0 20 0 19 0 53260328 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640578024576 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6213] ppid=6209 vsize=13185584 CPUtime=29.15 cores=1,3,5,7
/proc/6211/task/6213/stat : 6213 (java) S 6209 6209 25100 0 -1 1077944384 11787 0 0 0 2797 118 0 0 20 0 19 0 53260329 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640530750224 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6214] ppid=6209 vsize=13185584 CPUtime=29.1 cores=1,3,5,7
/proc/6211/task/6214/stat : 6214 (java) S 6209 6209 25100 0 -1 1077944384 16974 0 0 0 2792 118 0 0 20 0 19 0 53260329 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640529697680 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6215] ppid=6209 vsize=13185584 CPUtime=29.13 cores=1,3,5,7
/proc/6211/task/6215/stat : 6215 (java) S 6209 6209 25100 0 -1 1077944384 14030 0 0 0 2798 115 0 0 20 0 19 0 53260329 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640528645136 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6216] ppid=6209 vsize=13185584 CPUtime=29.24 cores=1,3,5,7
/proc/6211/task/6216/stat : 6216 (java) S 6209 6209 25100 0 -1 1077944384 20419 0 0 0 2806 118 0 0 20 0 19 0 53260329 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640173952144 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6217] ppid=6209 vsize=13185584 CPUtime=6.15 cores=1,3,5,7
/proc/6211/task/6217/stat : 6217 (java) S 6209 6209 25100 0 -1 1077944384 19478 0 0 0 610 5 0 0 20 0 19 0 53260330 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640057096176 139640573794946 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6218] ppid=6209 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6218/stat : 6218 (java) S 6209 6209 25100 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 19 0 53260331 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640056042464 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6219] ppid=6209 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6219/stat : 6219 (java) S 6209 6209 25100 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 19 0 53260331 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640054989824 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6220] ppid=6209 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6220/stat : 6220 (java) S 6209 6209 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53260333 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640053938384 139640573802395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6221] ppid=6209 vsize=13185584 CPUtime=5.22 cores=1,3,5,7
/proc/6211/task/6221/stat : 6221 (java) S 6209 6209 25100 0 -1 1077944384 29092 0 0 0 518 4 0 0 20 0 19 0 53260333 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640052886000 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6222] ppid=6209 vsize=13185584 CPUtime=5.17 cores=1,3,5,7
/proc/6211/task/6222/stat : 6222 (java) S 6209 6209 25100 0 -1 1077944384 34128 0 0 0 514 3 0 0 20 0 19 0 53260333 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640051833456 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6223] ppid=6209 vsize=13185584 CPUtime=1.17 cores=1,3,5,7
/proc/6211/task/6223/stat : 6223 (java) S 6209 6209 25100 0 -1 1077944384 20122 0 0 0 113 4 0 0 20 0 19 0 53260333 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640050780912 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6224] ppid=6209 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6224/stat : 6224 (java) S 6209 6209 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53260334 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640049728608 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6225] ppid=6209 vsize=13185584 CPUtime=1.21 cores=1,3,5,7
/proc/6211/task/6225/stat : 6225 (java) S 6209 6209 25100 0 -1 1077944384 4531 0 0 0 53 68 0 0 20 0 19 0 53260338 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640048675120 139640573794946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6239] ppid=6209 vsize=13185584 CPUtime=68.84 cores=1,3,5,7
/proc/6211/task/6239/stat : 6239 (java) S 6209 6209 25100 0 -1 1077944384 41705 0 0 0 6881 3 0 0 20 0 19 0 53273777 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640041164336 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6240] ppid=6209 vsize=13185584 CPUtime=69.34 cores=1,3,5,7
/proc/6211/task/6240/stat : 6240 (java) S 6209 6209 25100 0 -1 1077944384 8019 0 0 0 6934 0 0 0 20 0 19 0 53273777 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640038007760 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6241] ppid=6209 vsize=13185584 CPUtime=1932.99 cores=1,3,5,7
/proc/6211/task/6241/stat : 6241 (java) R 6209 6209 25100 0 -1 4202560 52168 0 0 0 193293 6 0 0 20 0 19 0 53273777 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640039055048 139640211673866 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
[pid=6211/tid=6242] ppid=6209 vsize=13185584 CPUtime=69.06 cores=1,3,5,7
/proc/6211/task/6242/stat : 6242 (java) S 6209 6209 25100 0 -1 1077944384 7021 0 0 0 6905 1 0 0 20 0 19 0 53273777 13502038016 1779741 18446744073709551615 4194304 4196468 140726901826736 139640040113360 139640573794005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20492288 140726901830102 140726901830278 140726901830278 140726901833679 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 13195096
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 6211 sig 9
??? kill 6209 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 6209 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1877
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=117
# CPU time returned by wait4() is 0.001994
# while last known CPU time is 2400.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 2081.84
CPU time (s): 2400.07
CPU user time (s): 2394.25
CPU system time (s): 5.82
CPU usage (%): 115.286
Max. virtual memory (cumulated for all children) (KiB): 13195096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001877
system time used= 0.000117
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
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 15.6048 second user time and 10.4551 second system time
The end