runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14960 MiB free)
  memory of node 1: 16384 MiB (15333 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281938-1503145363/watcher-4281938-1503145363 -o /tmp/evaluation-result-4281938-1503145363/solver-4281938-1503145363 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8616 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 264267513 HOME/instance-4281938-1503145363.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17203, runsolver pid=17200
Current StackSize limit: 8192 KiB


[startup+0.10014 s]*
/proc/loadavg: 1.98 1.56 1.46 3/197 17205
/proc/meminfo: memFree=31019380/32770624 swapFree=67105588/67108860
[pid=17203] ppid=17200 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17203/stat : 17203 (xcsp3-exec) S 17200 17203 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116731401 9740288 345 18446744073709551615 4194304 5098028 140721313514144 140721313512248 139834365895292 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 21176320 140721313522041 140721313522245 140721313522245 140721313525739 0
/proc/17203/statm: 2378 345 289 221 0 87 0
[pid=17205] ppid=17203 vsize=13356504 memory=10920 CPUtime=0 cores=1,3,5,7
/proc/17205/stat : 17205 (java) S 17203 17203 8557 0 -1 1077944320 2476 0 0 0 0 0 0 0 20 0 6 0 116731411 13677060096 2730 18446744073709551615 4194304 4196468 140731684601600 140731684584144 139663934861047 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
/proc/17205/statm: 3339126 2730 1261 1 0 3329096 0
[pid=17205/tid=17206] ppid=17203 vsize=13356504 memory=-8713483618642721886 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17206/stat : 17206 (java) R 17203 17203 8557 0 -1 4202560 1302 0 0 0 0 0 0 0 20 0 6 0 116731411 13677060096 2796 18446744073709551615 4194304 4196468 140731684601600 139663939102824 139663927540240 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17207] ppid=17203 vsize=13356508 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17207/stat : 17207 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 116731412 13677064192 2796 18446744073709551615 4194304 4196468 140731684601600 139663891827216 139663934871253 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17208] ppid=17203 vsize=13356504 memory=139622698903168 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17208/stat : 17208 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 116731412 13677060096 2801 18446744073709551615 4194304 4196468 140731684601600 139663890774672 139663934871253 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17209] ppid=17203 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17209/stat : 17209 (java) S 17203 17203 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 116731412 13677060096 2801 18446744073709551615 4194304 4196468 140731684601600 139663889721616 139663934871253 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17210] ppid=17203 vsize=13356504 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17210/stat : 17210 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 116731412 13677060096 2801 18446744073709551615 4194304 4196468 140731684601600 139663888669072 139663934871253 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12300 KiB

[startup+0.211394 s]*
/proc/loadavg: 1.98 1.56 1.46 3/211 17219
/proc/meminfo: memFree=31008604/32770624 swapFree=67105588/67108860
[pid=17203] ppid=17200 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17203/stat : 17203 (xcsp3-exec) S 17200 17203 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116731401 9740288 345 18446744073709551615 4194304 5098028 140721313514144 140721313512248 139834365895292 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 21176320 140721313522041 140721313522245 140721313522245 140721313525739 0
/proc/17203/statm: 2378 345 289 221 0 87 0
[pid=17205] ppid=17203 vsize=13974352 memory=24836 CPUtime=0.07 cores=1,3,5,7
/proc/17205/stat : 17205 (java) S 17203 17203 8557 0 -1 1077944320 5152 0 0 0 6 1 0 0 20 0 15 0 116731411 14309736448 6209 18446744073709551615 4194304 4196468 140731684601600 140731684584144 139663934861047 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
/proc/17205/statm: 3493588 6209 2720 1 0 3482964 0
[pid=17205/tid=17206] ppid=17203 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/17205/task/17206/stat : 17206 (java) R 17203 17203 8557 0 -1 4202560 3319 0 0 0 5 0 0 0 20 0 15 0 116731411 14309736448 6209 18446744073709551615 4194304 4196468 140731684601600 139663939086736 139663934882973 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17207] ppid=17203 vsize=13974352 memory=8893 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17207/stat : 17207 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116731412 14309736448 6209 18446744073709551615 4194304 4196468 140731684601600 139663891827216 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17208] ppid=17203 vsize=13974352 memory=3690900218924164768 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17208/stat : 17208 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116731412 14309736448 6209 18446744073709551615 4194304 4196468 140731684601600 139663890774672 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17209] ppid=17203 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17209/stat : 17209 (java) S 17203 17203 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116731412 14309736448 6209 18446744073709551615 4194304 4196468 140731684601600 139663889721616 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17210] ppid=17203 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17210/stat : 17210 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116731412 14309736448 6209 18446744073709551615 4194304 4196468 140731684601600 139663888669072 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17211] ppid=17203 vsize=13974352 memory=139622698903168 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17211/stat : 17211 (java) S 17203 17203 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116731413 14309736448 6209 18446744073709551615 4194304 4196468 140731684601600 139663480605424 139663934872194 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17212] ppid=17203 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17212/stat : 17212 (java) S 17203 17203 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116731414 14309736448 6209 18446744073709551615 4194304 4196468 140731684601600 139663479551648 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17213] ppid=17203 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17213/stat : 17213 (java) S 17203 17203 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116731414 14309736448 6209 18446744073709551615 4194304 4196468 140731684601600 139663276762352 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17214] ppid=17203 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17214/stat : 17214 (java) S 17203 17203 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116731417 14309736448 6209 18446744073709551615 4194304 4196468 140731684601600 139663275710928 139663934879643 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17215] ppid=17203 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17215/stat : 17215 (java) S 17203 17203 8557 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 116731417 14309736448 6209 18446744073709551615 4194304 4196468 140731684601600 139663274658032 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17216] ppid=17203 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17216/stat : 17216 (java) S 17203 17203 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116731417 14309736448 6209 18446744073709551615 4194304 4196468 140731684601600 139663273605488 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17217] ppid=17203 vsize=13974352 memory=139622698903168 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17217/stat : 17217 (java) S 17203 17203 8557 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 116731417 14309736448 6209 18446744073709551615 4194304 4196468 140731684601600 139663272552432 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17218] ppid=17203 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17218/stat : 17218 (java) S 17203 17203 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116731417 14309736448 6209 18446744073709551615 4194304 4196468 140731684601600 139663271500128 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17219] ppid=17203 vsize=13974352 memory=139622698903168 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17219/stat : 17219 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116731422 14309736448 6209 18446744073709551615 4194304 4196468 140731684601600 139663270448176 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26216 KiB

[startup+0.310258 s]*
/proc/loadavg: 1.98 1.56 1.46 3/211 17219
/proc/meminfo: memFree=30993068/32770624 swapFree=67105588/67108860
[pid=17203] ppid=17200 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17203/stat : 17203 (xcsp3-exec) S 17200 17203 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116731401 9740288 345 18446744073709551615 4194304 5098028 140721313514144 140721313512248 139834365895292 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 21176320 140721313522041 140721313522245 140721313522245 140721313525739 0
/proc/17203/statm: 2378 345 289 221 0 87 0
[pid=17205] ppid=17203 vsize=13974352 memory=36952 CPUtime=0.25 cores=1,3,5,7
/proc/17205/stat : 17205 (java) S 17203 17203 8557 0 -1 1077944320 8800 0 0 0 23 2 0 0 20 0 15 0 116731411 14309736448 9238 18446744073709551615 4194304 4196468 140731684601600 140731684584144 139663934861047 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
/proc/17205/statm: 3493588 9238 2979 1 0 3482964 0
[pid=17205/tid=17206] ppid=17203 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/17205/task/17206/stat : 17206 (java) R 17203 17203 8557 0 -1 4202560 6044 0 0 0 14 2 0 0 20 0 15 0 116731411 14309736448 9238 18446744073709551615 4194304 4196468 140731684601600 139663939083424 139663934882973 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17207] ppid=17203 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17207/stat : 17207 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116731412 14309736448 9238 18446744073709551615 4194304 4196468 140731684601600 139663891827216 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17208] ppid=17203 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17208/stat : 17208 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116731412 14309736448 9238 18446744073709551615 4194304 4196468 140731684601600 139663890774672 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17209] ppid=17203 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17209/stat : 17209 (java) S 17203 17203 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116731412 14309736448 9238 18446744073709551615 4194304 4196468 140731684601600 139663889721616 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17210] ppid=17203 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17210/stat : 17210 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116731412 14309736448 9238 18446744073709551615 4194304 4196468 140731684601600 139663888669072 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17211] ppid=17203 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17211/stat : 17211 (java) S 17203 17203 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116731413 14309736448 9238 18446744073709551615 4194304 4196468 140731684601600 139663480605424 139663934872194 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17212] ppid=17203 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17212/stat : 17212 (java) S 17203 17203 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116731414 14309736448 9238 18446744073709551615 4194304 4196468 140731684601600 139663479551648 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17213] ppid=17203 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17213/stat : 17213 (java) S 17203 17203 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116731414 14309736448 9238 18446744073709551615 4194304 4196468 140731684601600 139663276762352 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17214] ppid=17203 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17214/stat : 17214 (java) S 17203 17203 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116731417 14309736448 9238 18446744073709551615 4194304 4196468 140731684601600 139663275710928 139663934879643 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17215] ppid=17203 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17205/task/17215/stat : 17215 (java) S 17203 17203 8557 0 -1 1077944384 688 0 0 0 2 0 0 0 20 0 15 0 116731417 14309736448 9238 18446744073709551615 4194304 4196468 140731684601600 139663274658032 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17216] ppid=17203 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17216/stat : 17216 (java) S 17203 17203 8557 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 116731417 14309736448 9238 18446744073709551615 4194304 4196468 140731684601600 139663273605488 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17217] ppid=17203 vsize=13974352 memory=139622698903168 CPUtime=0.05 cores=1,3,5,7
/proc/17205/task/17217/stat : 17217 (java) S 17203 17203 8557 0 -1 1077944384 694 0 0 0 5 0 0 0 20 0 15 0 116731417 14309736448 9238 18446744073709551615 4194304 4196468 140731684601600 139663272552432 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17218] ppid=17203 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17218/stat : 17218 (java) S 17203 17203 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116731417 14309736448 9238 18446744073709551615 4194304 4196468 140731684601600 139663271500128 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17219] ppid=17203 vsize=13974352 memory=139622698903168 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17219/stat : 17219 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116731422 14309736448 9238 18446744073709551615 4194304 4196468 140731684601600 139663270448176 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38332 KiB

[startup+0.706415 s]
/proc/loadavg: 1.98 1.56 1.46 6/211 17219
/proc/meminfo: memFree=30977528/32770624 swapFree=67105588/67108860
[pid=17203] ppid=17200 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17203/stat : 17203 (xcsp3-exec) S 17200 17203 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116731401 9740288 345 18446744073709551615 4194304 5098028 140721313514144 140721313512248 139834365895292 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 21176320 140721313522041 140721313522245 140721313522245 140721313525739 0
/proc/17203/statm: 2378 345 289 221 0 87 0
[pid=17205] ppid=17203 vsize=13978684 memory=80604 CPUtime=1.31 cores=1,3,5,7
/proc/17205/stat : 17205 (java) S 17203 17203 8557 0 -1 1077944320 13315 0 0 0 127 4 0 0 20 0 15 0 116731411 14314172416 20151 18446744073709551615 4194304 4196468 140731684601600 140731684584144 139663934861047 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
/proc/17205/statm: 3494671 20151 3161 1 0 3482964 0
[pid=17205/tid=17206] ppid=17203 vsize=13978684 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/17205/task/17206/stat : 17206 (java) R 17203 17203 8557 0 -1 4202560 7892 0 0 0 52 2 0 0 20 0 15 0 116731411 14314172416 20151 18446744073709551615 4194304 4196468 140731684601600 139663939099912 139663565537621 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17207] ppid=17203 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17207/stat : 17207 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116731412 14314172416 20151 18446744073709551615 4194304 4196468 140731684601600 139663891827216 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17208] ppid=17203 vsize=13978684 memory=164 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17208/stat : 17208 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116731412 14314172416 20151 18446744073709551615 4194304 4196468 140731684601600 139663890774672 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17209] ppid=17203 vsize=13978684 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17209/stat : 17209 (java) S 17203 17203 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116731412 14314172416 20151 18446744073709551615 4194304 4196468 140731684601600 139663889721616 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17210] ppid=17203 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17210/stat : 17210 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116731412 14314172416 20151 18446744073709551615 4194304 4196468 140731684601600 139663888669072 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17211] ppid=17203 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17211/stat : 17211 (java) S 17203 17203 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 116731413 14314172416 20151 18446744073709551615 4194304 4196468 140731684601600 139663480605424 139663934872194 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17212] ppid=17203 vsize=13978684 memory=8458433173656909621 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17212/stat : 17212 (java) S 17203 17203 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116731414 14314172416 20151 18446744073709551615 4194304 4196468 140731684601600 139663479551648 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17213] ppid=17203 vsize=13978684 memory=7086521019830130256 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17213/stat : 17213 (java) S 17203 17203 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116731414 14314172416 20151 18446744073709551615 4194304 4196468 140731684601600 139663276762352 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17214] ppid=17203 vsize=13978684 memory=15457 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17214/stat : 17214 (java) S 17203 17203 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116731417 14314172416 20151 18446744073709551615 4194304 4196468 140731684601600 139663275710928 139663934879643 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17215] ppid=17203 vsize=13978684 memory=4420 CPUtime=0.24 cores=1,3,5,7
/proc/17205/task/17215/stat : 17215 (java) R 17203 17203 8557 0 -1 4202560 1405 0 0 0 24 0 0 0 20 0 15 0 116731417 14314172416 20151 18446744073709551615 4194304 4196468 140731684601600 139663274643952 139663914078439 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17216] ppid=17203 vsize=13978684 memory=6628 CPUtime=0.22 cores=1,3,5,7
/proc/17205/task/17216/stat : 17216 (java) R 17203 17203 8557 0 -1 4202560 1049 0 0 0 22 0 0 0 20 0 15 0 116731417 14314172416 20151 18446744073709551615 4194304 4196468 140731684601600 139663273596464 139663915561351 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17217] ppid=17203 vsize=13978684 memory=8836 CPUtime=0.28 cores=1,3,5,7
/proc/17205/task/17217/stat : 17217 (java) R 17203 17203 8557 0 -1 4202560 1662 0 0 0 28 0 0 0 20 0 15 0 116731417 14314172416 20151 18446744073709551615 4194304 4196468 140731684601600 139663272549368 139663915633669 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17218] ppid=17203 vsize=13978684 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17218/stat : 17218 (java) S 17203 17203 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116731417 14314172416 20151 18446744073709551615 4194304 4196468 140731684601600 139663271500128 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17219] ppid=17203 vsize=13978684 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17219/stat : 17219 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116731422 14314172416 20151 18446744073709551615 4194304 4196468 140731684601600 139663270448176 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 81984 KiB

[startup+1.50146 s]
/proc/loadavg: 1.98 1.56 1.46 6/211 17220
/proc/meminfo: memFree=30923176/32770624 swapFree=67105588/67108860
[pid=17203] ppid=17200 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17203/stat : 17203 (xcsp3-exec) S 17200 17203 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116731401 9740288 345 18446744073709551615 4194304 5098028 140721313514144 140721313512248 139834365895292 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 21176320 140721313522041 140721313522245 140721313522245 140721313525739 0
/proc/17203/statm: 2378 345 289 221 0 87 0
[pid=17205] ppid=17203 vsize=13980732 memory=174696 CPUtime=3.88 cores=1,3,5,7
/proc/17205/stat : 17205 (java) S 17203 17203 8557 0 -1 1077944320 24962 0 0 0 381 7 0 0 20 0 15 0 116731411 14316269568 43674 18446744073709551615 4194304 4196468 140731684601600 140731684584144 139663934861047 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
/proc/17205/statm: 3495183 43674 3193 1 0 3483476 0
[pid=17205/tid=17206] ppid=17203 vsize=13980732 memory=-8774313645642428999 CPUtime=1.33 cores=1,3,5,7
/proc/17205/task/17206/stat : 17206 (java) R 17203 17203 8557 0 -1 4202560 9757 0 0 0 129 4 0 0 20 0 15 0 116731411 14316269568 43674 18446744073709551615 4194304 4196468 140731684601600 139663939097024 139663567901010 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17207] ppid=17203 vsize=13980732 memory=7235709436565679465 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17207/stat : 17207 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116731412 14316269568 43674 18446744073709551615 4194304 4196468 140731684601600 139663891827216 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17208] ppid=17203 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17208/stat : 17208 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116731412 14316269568 43674 18446744073709551615 4194304 4196468 140731684601600 139663890774672 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17209] ppid=17203 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17209/stat : 17209 (java) S 17203 17203 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116731412 14316269568 43674 18446744073709551615 4194304 4196468 140731684601600 139663889721616 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17210] ppid=17203 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17210/stat : 17210 (java) S 17203 17203 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116731412 14316269568 43674 18446744073709551615 4194304 4196468 140731684601600 139663888669072 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17211] ppid=17203 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17211/stat : 17211 (java) S 17203 17203 8557 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 116731413 14316269568 43674 18446744073709551615 4194304 4196468 140731684601600 139663480605424 139663934872194 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17212] ppid=17203 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17212/stat : 17212 (java) S 17203 17203 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116731414 14316269568 43674 18446744073709551615 4194304 4196468 140731684601600 139663479551648 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17213] ppid=17203 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7

################
# More data... #
################

/proc/17205/task/17213/stat : 17213 (java) S 17203 17203 8557 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 116731414 14316269568 1710999 18446744073709551615 4194304 4196468 140731684601600 139663276762352 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17214] ppid=17203 vsize=13980732 memory=199 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17214/stat : 17214 (java) S 17203 17203 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116731417 14316269568 1710999 18446744073709551615 4194304 4196468 140731684601600 139663275710928 139663934879643 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17215] ppid=17203 vsize=13980732 memory=1380 CPUtime=1.99 cores=1,3,5,7
/proc/17205/task/17215/stat : 17215 (java) S 17203 17203 8557 0 -1 1077944384 11608 0 0 0 197 2 0 0 20 0 15 0 116731417 14316269568 1710999 18446744073709551615 4194304 4196468 140731684601600 139663274658032 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17216] ppid=17203 vsize=13980732 memory=6681056 CPUtime=2.01 cores=1,3,5,7
/proc/17205/task/17216/stat : 17216 (java) S 17203 17203 8557 0 -1 1077944384 15105 0 0 0 199 2 0 0 20 0 15 0 116731417 14316269568 1710999 18446744073709551615 4194304 4196468 140731684601600 139663273605488 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17217] ppid=17203 vsize=13980732 memory=1380 CPUtime=0.64 cores=1,3,5,7
/proc/17205/task/17217/stat : 17217 (java) S 17203 17203 8557 0 -1 1077944384 10084 0 0 0 63 1 0 0 20 0 15 0 116731417 14316269568 1710999 18446744073709551615 4194304 4196468 140731684601600 139663272552432 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17218] ppid=17203 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17218/stat : 17218 (java) S 17203 17203 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116731417 14316269568 1710999 18446744073709551615 4194304 4196468 140731684601600 139663271500128 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17219] ppid=17203 vsize=13980732 memory=1380 CPUtime=0.97 cores=1,3,5,7
/proc/17205/task/17219/stat : 17219 (java) S 17203 17203 8557 0 -1 1077944384 860 0 0 0 42 55 0 0 20 0 15 0 116731422 14316269568 1710999 18446744073709551615 4194304 4196468 140731684601600 139663270448176 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
Current children cumulated CPU time: 2405.54 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6845376 KiB

[startup+2442.3 s]
/proc/loadavg: 1.64 1.58 1.59 3/211 17439
/proc/meminfo: memFree=23348180/32770624 swapFree=67105588/67108860
[pid=17203] ppid=17200 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17203/stat : 17203 (xcsp3-exec) S 17200 17203 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116731401 9740288 345 18446744073709551615 4194304 5098028 140721313514144 140721313512248 139834365895292 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 21176320 140721313522041 140721313522245 140721313522245 140721313525739 0
/proc/17203/statm: 2378 345 289 221 0 87 0
[pid=17205] ppid=17203 vsize=13980732 memory=7439268 CPUtime=2467.06 cores=1,3,5,7
/proc/17205/stat : 17205 (java) S 17203 17203 8557 0 -1 1077944320 149551 0 0 0 246447 259 0 0 20 0 15 0 116731411 14316269568 1859817 18446744073709551615 4194304 4196468 140731684601600 140731684584144 139663934861047 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
/proc/17205/statm: 3495183 1859817 3251 1 0 3483476 0
[pid=17205/tid=17206] ppid=17203 vsize=13980732 memory=1380 CPUtime=2433.78 cores=1,3,5,7
/proc/17205/task/17206/stat : 17206 (java) R 17203 17203 8557 0 -1 4202560 45868 0 0 0 243230 148 0 0 20 0 15 0 116731411 14316269568 1859817 18446744073709551615 4194304 4196468 140731684601600 139663939100928 139663567966411 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17207] ppid=17203 vsize=13980732 memory=7439268 CPUtime=6.66 cores=1,3,5,7
/proc/17205/task/17207/stat : 17207 (java) S 17203 17203 8557 0 -1 1077944384 12144 0 0 0 654 12 0 0 20 0 15 0 116731412 14316269568 1859817 18446744073709551615 4194304 4196468 140731684601600 139663891827216 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17208] ppid=17203 vsize=13980732 memory=7439268 CPUtime=6.65 cores=1,3,5,7
/proc/17205/task/17208/stat : 17208 (java) S 17203 17203 8557 0 -1 1077944384 15451 0 0 0 653 12 0 0 20 0 15 0 116731412 14316269568 1859817 18446744073709551615 4194304 4196468 140731684601600 139663890774672 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17209] ppid=17203 vsize=13980732 memory=7309932 CPUtime=6.66 cores=1,3,5,7
/proc/17205/task/17209/stat : 17209 (java) S 17203 17203 8557 0 -1 1077944384 15640 0 0 0 655 11 0 0 20 0 15 0 116731412 14316269568 1859817 18446744073709551615 4194304 4196468 140731684601600 139663889721616 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17210] ppid=17203 vsize=13980732 memory=7440488 CPUtime=6.65 cores=1,3,5,7
/proc/17205/task/17210/stat : 17210 (java) S 17203 17203 8557 0 -1 1077944384 14454 0 0 0 656 9 0 0 20 0 15 0 116731412 14316269568 1859817 18446744073709551615 4194304 4196468 140731684601600 139663888669072 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17211] ppid=17203 vsize=13980732 memory=1380 CPUtime=0.91 cores=1,3,5,7
/proc/17205/task/17211/stat : 17211 (java) S 17203 17203 8557 0 -1 1077944384 6965 0 0 0 77 14 0 0 20 0 15 0 116731413 14316269568 1859817 18446744073709551615 4194304 4196468 140731684601600 139663480605424 139663934872194 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17212] ppid=17203 vsize=13980732 memory=7439268 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17212/stat : 17212 (java) S 17203 17203 8557 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 116731414 14316269568 1859817 18446744073709551615 4194304 4196468 140731684601600 139663479551648 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17213] ppid=17203 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17213/stat : 17213 (java) S 17203 17203 8557 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 116731414 14316269568 1859817 18446744073709551615 4194304 4196468 140731684601600 139663276762352 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17214] ppid=17203 vsize=13980732 memory=7439268 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17214/stat : 17214 (java) S 17203 17203 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116731417 14316269568 1859817 18446744073709551615 4194304 4196468 140731684601600 139663275710928 139663934879643 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17215] ppid=17203 vsize=13980732 memory=7440808 CPUtime=1.99 cores=1,3,5,7
/proc/17205/task/17215/stat : 17215 (java) S 17203 17203 8557 0 -1 1077944384 11610 0 0 0 197 2 0 0 20 0 15 0 116731417 14316269568 1859817 18446744073709551615 4194304 4196468 140731684601600 139663274658032 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17216] ppid=17203 vsize=13980732 memory=63412 CPUtime=2.01 cores=1,3,5,7
/proc/17205/task/17216/stat : 17216 (java) S 17203 17203 8557 0 -1 1077944384 15107 0 0 0 199 2 0 0 20 0 15 0 116731417 14316269568 1859817 18446744073709551615 4194304 4196468 140731684601600 139663273605488 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17217] ppid=17203 vsize=13980732 memory=1380 CPUtime=0.64 cores=1,3,5,7
/proc/17205/task/17217/stat : 17217 (java) S 17203 17203 8557 0 -1 1077944384 10087 0 0 0 63 1 0 0 20 0 15 0 116731417 14316269568 1859817 18446744073709551615 4194304 4196468 140731684601600 139663272552432 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17218] ppid=17203 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17218/stat : 17218 (java) S 17203 17203 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116731417 14316269568 1859817 18446744073709551615 4194304 4196468 140731684601600 139663271500128 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17219] ppid=17203 vsize=13980732 memory=1400 CPUtime=1.01 cores=1,3,5,7
/proc/17205/task/17219/stat : 17219 (java) S 17203 17203 8557 0 -1 1077944384 877 0 0 0 44 57 0 0 20 0 15 0 116731422 14316269568 1859817 18446744073709551615 4194304 4196468 140731684601600 139663270448176 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
Current children cumulated CPU time: 2467.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 7440648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2493.9 s]
/proc/loadavg: 1.65 1.59 1.59 5/214 17455
/proc/meminfo: memFree=22859476/32770624 swapFree=67105588/67108860
[pid=17203] ppid=17200 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17203/stat : 17203 (xcsp3-exec) S 17200 17203 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116731401 9740288 345 18446744073709551615 4194304 5098028 140721313514144 140721313512248 139834365895292 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 21176320 140721313522041 140721313522245 140721313522245 140721313525739 0
/proc/17203/statm: 2378 345 289 221 0 87 0
[pid=17205] ppid=17203 vsize=13980732 memory=7779020 CPUtime=2520.04 cores=1,3,5,7
/proc/17205/stat : 17205 (java) S 17203 17203 8557 0 -1 1077944320 151293 0 0 0 251736 268 0 0 20 0 15 0 116731411 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 140731684584144 139663934861047 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
/proc/17205/statm: 3495183 1944755 3251 1 0 3483476 0
[pid=17205/tid=17206] ppid=17203 vsize=13980732 memory=7770816 CPUtime=2484.88 cores=1,3,5,7
/proc/17205/task/17206/stat : 17206 (java) R 17203 17203 8557 0 -1 4202560 47084 0 0 0 248335 153 0 0 20 0 15 0 116731411 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663939100464 139663568378459 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17207] ppid=17203 vsize=13980732 memory=7741020 CPUtime=7.12 cores=1,3,5,7
/proc/17205/task/17207/stat : 17207 (java) S 17203 17203 8557 0 -1 1077944384 12292 0 0 0 700 12 0 0 20 0 15 0 116731412 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663891827216 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17208] ppid=17203 vsize=13980732 memory=1380 CPUtime=7.12 cores=1,3,5,7
/proc/17205/task/17208/stat : 17208 (java) S 17203 17203 8557 0 -1 1077944384 15549 0 0 0 699 13 0 0 20 0 15 0 116731412 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663890774672 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17209] ppid=17203 vsize=13980732 memory=7770816 CPUtime=7.1 cores=1,3,5,7
/proc/17205/task/17209/stat : 17209 (java) S 17203 17203 8557 0 -1 1077944384 15787 0 0 0 699 11 0 0 20 0 15 0 116731412 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663889721616 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17210] ppid=17203 vsize=13980732 memory=1380 CPUtime=7.12 cores=1,3,5,7
/proc/17205/task/17210/stat : 17210 (java) S 17203 17203 8557 0 -1 1077944384 14547 0 0 0 702 10 0 0 20 0 15 0 116731412 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663888669072 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17211] ppid=17203 vsize=13980732 memory=7772876 CPUtime=0.93 cores=1,3,5,7
/proc/17205/task/17211/stat : 17211 (java) S 17203 17203 8557 0 -1 1077944384 7001 0 0 0 78 15 0 0 20 0 15 0 116731413 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663480605424 139663934872194 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17212] ppid=17203 vsize=13980732 memory=7772876 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17212/stat : 17212 (java) S 17203 17203 8557 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 116731414 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663479551648 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17213] ppid=17203 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17213/stat : 17213 (java) S 17203 17203 8557 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 116731414 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663276762352 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17214] ppid=17203 vsize=13980732 memory=7779020 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17214/stat : 17214 (java) S 17203 17203 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116731417 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663275710928 139663934879643 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17215] ppid=17203 vsize=13980732 memory=1380 CPUtime=1.99 cores=1,3,5,7
/proc/17205/task/17215/stat : 17215 (java) S 17203 17203 8557 0 -1 1077944384 11610 0 0 0 197 2 0 0 20 0 15 0 116731417 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663274658032 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17216] ppid=17203 vsize=13980732 memory=0 CPUtime=2.01 cores=1,3,5,7
/proc/17205/task/17216/stat : 17216 (java) S 17203 17203 8557 0 -1 1077944384 15107 0 0 0 199 2 0 0 20 0 15 0 116731417 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663273605488 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17217] ppid=17203 vsize=13980732 memory=7772876 CPUtime=0.64 cores=1,3,5,7
/proc/17205/task/17217/stat : 17217 (java) S 17203 17203 8557 0 -1 1077944384 10087 0 0 0 63 1 0 0 20 0 15 0 116731417 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663272552432 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17218] ppid=17203 vsize=13980732 memory=7523107478184158290 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17218/stat : 17218 (java) S 17203 17203 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116731417 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663271500128 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17219] ppid=17203 vsize=13980732 memory=1380 CPUtime=1.03 cores=1,3,5,7
/proc/17205/task/17219/stat : 17219 (java) S 17203 17203 8557 0 -1 1077944384 881 0 0 0 44 59 0 0 20 0 15 0 116731422 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663270448176 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 7780400 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2493.91 s]
# the end of solver process 17203 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001861 s, system=0 s

[startup+2493.94 s]
# the end of solver process 17205 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.38 s, system=2.71973 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2493.9 s]
/proc/loadavg: 1.65 1.59 1.59 5/214 17455
/proc/meminfo: memFree=22859476/32770624 swapFree=67105588/67108860
[pid=17203] ppid=17200 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17203/stat : 17203 (xcsp3-exec) S 17200 17203 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116731401 9740288 345 18446744073709551615 4194304 5098028 140721313514144 140721313512248 139834365895292 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 21176320 140721313522041 140721313522245 140721313522245 140721313525739 0
/proc/17203/statm: 2378 345 289 221 0 87 0
[pid=17205] ppid=17203 vsize=13980732 memory=7779020 CPUtime=2520.04 cores=1,3,5,7
/proc/17205/stat : 17205 (java) S 17203 17203 8557 0 -1 1077944320 151293 0 0 0 251736 268 0 0 20 0 15 0 116731411 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 140731684584144 139663934861047 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
/proc/17205/statm: 3495183 1944755 3251 1 0 3483476 0
[pid=17205/tid=17206] ppid=17203 vsize=13980732 memory=7770816 CPUtime=2484.88 cores=1,3,5,7
/proc/17205/task/17206/stat : 17206 (java) R 17203 17203 8557 0 -1 4202560 47084 0 0 0 248335 153 0 0 20 0 15 0 116731411 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663939100464 139663568378459 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17207] ppid=17203 vsize=13980732 memory=7741020 CPUtime=7.12 cores=1,3,5,7
/proc/17205/task/17207/stat : 17207 (java) S 17203 17203 8557 0 -1 1077944384 12292 0 0 0 700 12 0 0 20 0 15 0 116731412 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663891827216 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17208] ppid=17203 vsize=13980732 memory=1380 CPUtime=7.12 cores=1,3,5,7
/proc/17205/task/17208/stat : 17208 (java) S 17203 17203 8557 0 -1 1077944384 15549 0 0 0 699 13 0 0 20 0 15 0 116731412 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663890774672 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17209] ppid=17203 vsize=13980732 memory=7770816 CPUtime=7.1 cores=1,3,5,7
/proc/17205/task/17209/stat : 17209 (java) S 17203 17203 8557 0 -1 1077944384 15787 0 0 0 699 11 0 0 20 0 15 0 116731412 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663889721616 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17210] ppid=17203 vsize=13980732 memory=1380 CPUtime=7.12 cores=1,3,5,7
/proc/17205/task/17210/stat : 17210 (java) S 17203 17203 8557 0 -1 1077944384 14547 0 0 0 702 10 0 0 20 0 15 0 116731412 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663888669072 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17211] ppid=17203 vsize=13980732 memory=7772876 CPUtime=0.93 cores=1,3,5,7
/proc/17205/task/17211/stat : 17211 (java) S 17203 17203 8557 0 -1 1077944384 7001 0 0 0 78 15 0 0 20 0 15 0 116731413 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663480605424 139663934872194 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17212] ppid=17203 vsize=13980732 memory=7772876 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17212/stat : 17212 (java) S 17203 17203 8557 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 116731414 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663479551648 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17213] ppid=17203 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17213/stat : 17213 (java) S 17203 17203 8557 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 116731414 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663276762352 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17214] ppid=17203 vsize=13980732 memory=7779020 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17214/stat : 17214 (java) S 17203 17203 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116731417 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663275710928 139663934879643 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17215] ppid=17203 vsize=13980732 memory=1380 CPUtime=1.99 cores=1,3,5,7
/proc/17205/task/17215/stat : 17215 (java) S 17203 17203 8557 0 -1 1077944384 11610 0 0 0 197 2 0 0 20 0 15 0 116731417 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663274658032 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17216] ppid=17203 vsize=13980732 memory=0 CPUtime=2.01 cores=1,3,5,7
/proc/17205/task/17216/stat : 17216 (java) S 17203 17203 8557 0 -1 1077944384 15107 0 0 0 199 2 0 0 20 0 15 0 116731417 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663273605488 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17217] ppid=17203 vsize=13980732 memory=7772876 CPUtime=0.64 cores=1,3,5,7
/proc/17205/task/17217/stat : 17217 (java) S 17203 17203 8557 0 -1 1077944384 10087 0 0 0 63 1 0 0 20 0 15 0 116731417 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663272552432 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17218] ppid=17203 vsize=13980732 memory=7523107478184158290 CPUtime=0 cores=1,3,5,7
/proc/17205/task/17218/stat : 17218 (java) S 17203 17203 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116731417 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663271500128 139663934871253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
[pid=17205/tid=17219] ppid=17203 vsize=13980732 memory=1380 CPUtime=1.03 cores=1,3,5,7
/proc/17205/task/17219/stat : 17219 (java) S 17203 17203 8557 0 -1 1077944384 881 0 0 0 44 59 0 0 20 0 15 0 116731422 14316269568 1944755 18446744073709551615 4194304 4196468 140731684601600 139663270448176 139663934872194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140731684610481 140731684610657 140731684610657 140731684614095 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 7780400 KiB

Child status: 143
Real time (s): 2493.94
CPU time (s): 2520.1
CPU user time (s): 2517.38
CPU system time (s): 2.71973
CPU usage (%): 101.049
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 7780400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.38
system time used= 2.71973
maximum resident set size= 7784144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152039
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77517
involuntary context switches= 4132


# summary of solver processes directly reported to runsolver:
#   pid: 17203,17205
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2517.38
#   total CPU system time (s): 2.71973

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8648 second user time and 21.4738 second system time

The end