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-4254143-1501984821/watcher-4254143-1501984821 -o /tmp/evaluation-result-4254143-1501984821/solver-4254143-1501984821 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1136591157 HOME/instance-4254143-1501984821.xml
pid=18372
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.94 2.01 2.04 2/199 18375
/proc/meminfo: memFree=31421396/32770624 swapFree=0/322560
[pid=18375] ppid=18372 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (runsolver) D 18372 18375 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 98135344 24240128 106 18446744073709551615 4194304 4338465 140732914583728 140732914581368 140219271037655 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 15126528 140732914589794 140732914590284 140732914590284 140732914593738 0
/proc/18375/statm: 5918 106 53 36 0 2156 0
[startup+0.100157 s]
/proc/loadavg: 1.94 2.01 2.04 2/199 18375
/proc/meminfo: memFree=31421396/32770624 swapFree=0/322560
[pid=18375] ppid=18372 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98135344 9740288 345 18446744073709551615 4194304 5098028 140731425391440 140731425389544 140511473533564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26095616 140731425399201 140731425399405 140731425399405 140731425402859 0
/proc/18375/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200408 s]
/proc/loadavg: 1.94 2.01 2.04 2/199 18375
/proc/meminfo: memFree=31421396/32770624 swapFree=0/322560
[pid=18375] ppid=18372 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98135344 9740288 345 18446744073709551615 4194304 5098028 140731425391440 140731425389544 140511473533564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26095616 140731425399201 140731425399405 140731425399405 140731425402859 0
/proc/18375/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.309658 s]
/proc/loadavg: 1.94 2.01 2.04 2/199 18375
/proc/meminfo: memFree=31421396/32770624 swapFree=0/322560
[pid=18375] ppid=18372 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98135344 9740288 345 18446744073709551615 4194304 5098028 140731425391440 140731425389544 140511473533564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26095616 140731425399201 140731425399405 140731425399405 140731425402859 0
/proc/18375/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700478 s]
/proc/loadavg: 1.94 2.01 2.04 2/199 18375
/proc/meminfo: memFree=31421396/32770624 swapFree=0/322560
[pid=18375] ppid=18372 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98135344 9740288 345 18446744073709551615 4194304 5098028 140731425391440 140731425389544 140511473533564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26095616 140731425399201 140731425399405 140731425399405 140731425402859 0
/proc/18375/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 1.94 2.01 2.04 5/215 18391
/proc/meminfo: memFree=31345372/32770624 swapFree=0/322628
[pid=18375] ppid=18372 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98135344 9740288 345 18446744073709551615 4194304 5098028 140731425391440 140731425389544 140511473533564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26095616 140731425399201 140731425399405 140731425399405 140731425402859 0
/proc/18375/statm: 2378 345 289 221 0 87 0
[pid=18377] ppid=18375 vsize=13980732 CPUtime=3.45 cores=1,3,5,7
/proc/18377/stat : 18377 (java) S 18375 18375 12039 0 -1 1077944320 24551 0 0 0 339 6 0 0 20 0 15 0 98135352 14316269568 25573 18446744073709551615 4194304 4196468 140736114151104 140736114133648 140593952956151 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
/proc/18377/statm: 3495183 25573 3181 1 0 3483476 0
[pid=18377/tid=18378] ppid=18375 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/18377/task/18378/stat : 18378 (java) R 18375 18375 12039 0 -1 4202560 9411 0 0 0 130 4 0 0 20 0 15 0 98135352 14316269568 25573 18446744073709551615 4194304 4196468 140736114151104 140593957195120 140593560960760 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18379] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18379/stat : 18379 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 25573 18446744073709551615 4194304 4196468 140736114151104 140593887390736 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18380] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18380/stat : 18380 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 25573 18446744073709551615 4194304 4196468 140736114151104 140593886338192 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18381] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18381/stat : 18381 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 25573 18446744073709551615 4194304 4196468 140736114151104 140593885285136 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18382] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18382/stat : 18382 (java) S 18375 18375 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 25573 18446744073709551615 4194304 4196468 140736114151104 140593884232592 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18383] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18383/stat : 18383 (java) S 18375 18375 12039 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98135354 14316269568 25573 18446744073709551615 4194304 4196468 140736114151104 140593431283952 140593952967298 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18384] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18384/stat : 18384 (java) S 18375 18375 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98135354 14316269568 25573 18446744073709551615 4194304 4196468 140736114151104 140593430230176 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18385] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18385/stat : 18385 (java) S 18375 18375 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98135355 14316269568 25573 18446744073709551615 4194304 4196468 140736114151104 140593429177072 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18386] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18386/stat : 18386 (java) S 18375 18375 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98135357 14316269568 25573 18446744073709551615 4194304 4196468 140736114151104 140593428125648 140593952974747 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18387] ppid=18375 vsize=13980732 CPUtime=0.82 cores=1,3,5,7
/proc/18377/task/18387/stat : 18387 (java) S 18375 18375 12039 0 -1 1077944384 6895 0 0 0 82 0 0 0 20 0 15 0 98135357 14316269568 25573 18446744073709551615 4194304 4196468 140736114151104 140593427073776 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18388] ppid=18375 vsize=13980732 CPUtime=0.83 cores=1,3,5,7
/proc/18377/task/18388/stat : 18388 (java) S 18375 18375 12039 0 -1 1077944384 4637 0 0 0 83 0 0 0 20 0 15 0 98135357 14316269568 25573 18446744073709551615 4194304 4196468 140736114151104 140593426021232 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18389] ppid=18375 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/18377/task/18389/stat : 18389 (java) S 18375 18375 12039 0 -1 1077944384 2297 0 0 0 43 0 0 0 20 0 15 0 98135357 14316269568 25573 18446744073709551615 4194304 4196468 140736114151104 140593424968176 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18390] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18390/stat : 18390 (java) S 18375 18375 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98135357 14316269568 25573 18446744073709551615 4194304 4196468 140736114151104 140593423915872 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18391] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18391/stat : 18391 (java) S 18375 18375 12039 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 98135364 14316269568 25573 18446744073709551615 4194304 4196468 140736114151104 140593422862896 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 13990244
[startup+3.10061 s]
/proc/loadavg: 1.94 2.01 2.04 3/215 18391
/proc/meminfo: memFree=31330552/32770624 swapFree=0/322628
[pid=18375] ppid=18372 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98135344 9740288 345 18446744073709551615 4194304 5098028 140731425391440 140731425389544 140511473533564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26095616 140731425399201 140731425399405 140731425399405 140731425402859 0
/proc/18375/statm: 2378 345 289 221 0 87 0
[pid=18377] ppid=18375 vsize=13980732 CPUtime=5.77 cores=1,3,5,7
/proc/18377/stat : 18377 (java) S 18375 18375 12039 0 -1 1077944320 25569 0 0 0 570 7 0 0 20 0 15 0 98135352 14316269568 25799 18446744073709551615 4194304 4196468 140736114151104 140736114133648 140593952956151 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
/proc/18377/statm: 3495183 25799 3188 1 0 3483476 0
[pid=18377/tid=18378] ppid=18375 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/18377/task/18378/stat : 18378 (java) R 18375 18375 12039 0 -1 4202560 9808 0 0 0 290 4 0 0 20 0 15 0 98135352 14316269568 25799 18446744073709551615 4194304 4196468 140736114151104 140593957194224 140593560960840 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18379] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18379/stat : 18379 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 25799 18446744073709551615 4194304 4196468 140736114151104 140593887390736 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18380] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18380/stat : 18380 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 25799 18446744073709551615 4194304 4196468 140736114151104 140593886338192 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18381] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18381/stat : 18381 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 25799 18446744073709551615 4194304 4196468 140736114151104 140593885285136 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18382] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18382/stat : 18382 (java) S 18375 18375 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 25799 18446744073709551615 4194304 4196468 140736114151104 140593884232592 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18383] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18383/stat : 18383 (java) S 18375 18375 12039 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 98135354 14316269568 25799 18446744073709551615 4194304 4196468 140736114151104 140593431283952 140593952967298 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18384] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18384/stat : 18384 (java) S 18375 18375 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98135354 14316269568 25799 18446744073709551615 4194304 4196468 140736114151104 140593430230176 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18385] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18385/stat : 18385 (java) S 18375 18375 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98135355 14316269568 25799 18446744073709551615 4194304 4196468 140736114151104 140593429177072 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18386] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18386/stat : 18386 (java) S 18375 18375 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98135357 14316269568 25799 18446744073709551615 4194304 4196468 140736114151104 140593428125648 140593952974747 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18387] ppid=18375 vsize=13980732 CPUtime=1.1 cores=1,3,5,7
/proc/18377/task/18387/stat : 18387 (java) S 18375 18375 12039 0 -1 1077944384 7167 0 0 0 110 0 0 0 20 0 15 0 98135357 14316269568 25799 18446744073709551615 4194304 4196468 140736114151104 140593427073776 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18388] ppid=18375 vsize=13980732 CPUtime=1.19 cores=1,3,5,7
/proc/18377/task/18388/stat : 18388 (java) S 18375 18375 12039 0 -1 1077944384 4763 0 0 0 119 0 0 0 20 0 15 0 98135357 14316269568 25799 18446744073709551615 4194304 4196468 140736114151104 140593426021232 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18389] ppid=18375 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/18377/task/18389/stat : 18389 (java) S 18375 18375 12039 0 -1 1077944384 2498 0 0 0 49 0 0 0 20 0 15 0 98135357 14316269568 25799 18446744073709551615 4194304 4196468 140736114151104 140593424968176 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18390] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18390/stat : 18390 (java) S 18375 18375 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98135357 14316269568 25799 18446744073709551615 4194304 4196468 140736114151104 140593423915872 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18391] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18391/stat : 18391 (java) S 18375 18375 12039 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 98135364 14316269568 25799 18446744073709551615 4194304 4196468 140736114151104 140593422862896 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 13990244
[startup+6.30062 s]
/proc/loadavg: 2.02 2.03 2.05 3/215 18391
/proc/meminfo: memFree=31331612/32770624 swapFree=0/322628
[pid=18375] ppid=18372 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98135344 9740288 345 18446744073709551615 4194304 5098028 140731425391440 140731425389544 140511473533564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26095616 140731425399201 140731425399405 140731425399405 140731425402859 0
/proc/18375/statm: 2378 345 289 221 0 87 0
[pid=18377] ppid=18375 vsize=13980732 CPUtime=9.47 cores=1,3,5,7
/proc/18377/stat : 18377 (java) S 18375 18375 12039 0 -1 1077944320 33435 0 0 0 940 7 0 0 20 0 15 0 98135352 14316269568 25051 18446744073709551615 4194304 4196468 140736114151104 140736114133648 140593952956151 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
/proc/18377/statm: 3495183 25051 3193 1 0 3483476 0
[pid=18377/tid=18378] ppid=18375 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/18377/task/18378/stat : 18378 (java) R 18375 18375 12039 0 -1 4202560 10256 0 0 0 610 4 0 0 20 0 15 0 98135352 14316269568 25051 18446744073709551615 4194304 4196468 140736114151104 140593957192016 140593560960717 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18379] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18379/stat : 18379 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 25051 18446744073709551615 4194304 4196468 140736114151104 140593887390736 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18380] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18380/stat : 18380 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 25051 18446744073709551615 4194304 4196468 140736114151104 140593886338192 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18381] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18381/stat : 18381 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 25051 18446744073709551615 4194304 4196468 140736114151104 140593885285136 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18382] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18382/stat : 18382 (java) S 18375 18375 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 25051 18446744073709551615 4194304 4196468 140736114151104 140593884232592 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18383] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18383/stat : 18383 (java) S 18375 18375 12039 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 15 0 98135354 14316269568 25051 18446744073709551615 4194304 4196468 140736114151104 140593431283952 140593952967298 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18384] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18384/stat : 18384 (java) S 18375 18375 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98135354 14316269568 25051 18446744073709551615 4194304 4196468 140736114151104 140593430230176 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18385] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18385/stat : 18385 (java) S 18375 18375 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98135355 14316269568 25051 18446744073709551615 4194304 4196468 140736114151104 140593429177072 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18386] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18386/stat : 18386 (java) S 18375 18375 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98135357 14316269568 25051 18446744073709551615 4194304 4196468 140736114151104 140593428125648 140593952974747 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18387] ppid=18375 vsize=13980732 CPUtime=1.16 cores=1,3,5,7
/proc/18377/task/18387/stat : 18387 (java) S 18375 18375 12039 0 -1 1077944384 9010 0 0 0 116 0 0 0 20 0 15 0 98135357 14316269568 25051 18446744073709551615 4194304 4196468 140736114151104 140593427073776 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18388] ppid=18375 vsize=13980732 CPUtime=1.65 cores=1,3,5,7
/proc/18377/task/18388/stat : 18388 (java) S 18375 18375 12039 0 -1 1077944384 10037 0 0 0 164 1 0 0 20 0 15 0 98135357 14316269568 25051 18446744073709551615 4194304 4196468 140736114151104 140593426021232 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18389] ppid=18375 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/18377/task/18389/stat : 18389 (java) S 18375 18375 12039 0 -1 1077944384 2502 0 0 0 49 0 0 0 20 0 15 0 98135357 14316269568 25051 18446744073709551615 4194304 4196468 140736114151104 140593424968176 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18390] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18390/stat : 18390 (java) S 18375 18375 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98135357 14316269568 25051 18446744073709551615 4194304 4196468 140736114151104 140593423915872 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18391] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18391/stat : 18391 (java) S 18375 18375 12039 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 98135364 14316269568 25051 18446744073709551615 4194304 4196468 140736114151104 140593422862896 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
Current children cumulated CPU time (s) 9.47
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.02 2.03 2.05 3/215 18391
/proc/meminfo: memFree=31331352/32770624 swapFree=0/322632
[pid=18375] ppid=18372 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98135344 9740288 345 18446744073709551615 4194304 5098028 140731425391440 140731425389544 140511473533564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26095616 140731425399201 140731425399405 140731425399405 140731425402859 0
/proc/18375/statm: 2378 345 289 221 0 87 0
[pid=18377] ppid=18375 vsize=13980732 CPUtime=15.96 cores=1,3,5,7
/proc/18377/stat : 18377 (java) S 18375 18375 12039 0 -1 1077944320 35688 0 0 0 1589 7 0 0 20 0 15 0 98135352 14316269568 25073 18446744073709551615 4194304 4196468 140736114151104 140736114133648 140593952956151 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
/proc/18377/statm: 3495183 25073 3196 1 0 3483476 0
[pid=18377/tid=18378] ppid=18375 vsize=13980732 CPUtime=12.54 cores=1,3,5,7
/proc/18377/task/18378/stat : 18378 (java) R 18375 18375 12039 0 -1 4202560 10884 0 0 0 1250 4 0 0 20 0 15 0 98135352 14316269568 25073 18446744073709551615 4194304 4196468 140736114151104 140593957192232 140593560960707 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18379] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18379/stat : 18379 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 25073 18446744073709551615 4194304 4196468 140736114151104 140593887390736 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18380] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18380/stat : 18380 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 25073 18446744073709551615 4194304 4196468 140736114151104 140593886338192 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
################
# More data... #
################
/proc/18377/stat : 18377 (java) S 18375 18375 12039 0 -1 1077944320 49985 0 0 0 10597 9 0 0 20 0 15 0 98135352 14316269568 30794 18446744073709551615 4194304 4196468 140736114151104 140736114133648 140593952956151 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
/proc/18377/statm: 3495183 30794 3199 1 0 3483476 0
[pid=18377/tid=18378] ppid=18375 vsize=13980732 CPUtime=102.14 cores=1,3,5,7
/proc/18377/task/18378/stat : 18378 (java) R 18375 18375 12039 0 -1 4202560 12944 0 0 0 10210 4 0 0 20 0 15 0 98135352 14316269568 30794 18446744073709551615 4194304 4196468 140736114151104 140593957192920 140593560960717 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18379] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18379/stat : 18379 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 30794 18446744073709551615 4194304 4196468 140736114151104 140593887390736 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18380] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18380/stat : 18380 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 30794 18446744073709551615 4194304 4196468 140736114151104 140593886338192 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18381] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18381/stat : 18381 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 30794 18446744073709551615 4194304 4196468 140736114151104 140593885285136 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18382] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18382/stat : 18382 (java) S 18375 18375 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 30794 18446744073709551615 4194304 4196468 140736114151104 140593884232592 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18383] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18383/stat : 18383 (java) S 18375 18375 12039 0 -1 1077944384 488 0 0 0 0 0 0 0 20 0 15 0 98135354 14316269568 30794 18446744073709551615 4194304 4196468 140736114151104 140593431283952 140593952967298 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18384] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18384/stat : 18384 (java) S 18375 18375 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98135354 14316269568 30794 18446744073709551615 4194304 4196468 140736114151104 140593430230176 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18385] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18385/stat : 18385 (java) S 18375 18375 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98135355 14316269568 30794 18446744073709551615 4194304 4196468 140736114151104 140593429177072 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18386] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18386/stat : 18386 (java) S 18375 18375 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98135357 14316269568 30794 18446744073709551615 4194304 4196468 140736114151104 140593428125648 140593952974747 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18387] ppid=18375 vsize=13980732 CPUtime=1.47 cores=1,3,5,7
/proc/18377/task/18387/stat : 18387 (java) S 18375 18375 12039 0 -1 1077944384 14976 0 0 0 147 0 0 0 20 0 15 0 98135357 14316269568 30794 18446744073709551615 4194304 4196468 140736114151104 140593427073776 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18388] ppid=18375 vsize=13980732 CPUtime=1.87 cores=1,3,5,7
/proc/18377/task/18388/stat : 18388 (java) S 18375 18375 12039 0 -1 1077944384 15406 0 0 0 186 1 0 0 20 0 15 0 98135357 14316269568 30794 18446744073709551615 4194304 4196468 140736114151104 140593426021232 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18389] ppid=18375 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/18377/task/18389/stat : 18389 (java) S 18375 18375 12039 0 -1 1077944384 4663 0 0 0 52 0 0 0 20 0 15 0 98135357 14316269568 30794 18446744073709551615 4194304 4196468 140736114151104 140593424968176 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18390] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18390/stat : 18390 (java) S 18375 18375 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98135357 14316269568 30794 18446744073709551615 4194304 4196468 140736114151104 140593423915872 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18391] ppid=18375 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/18377/task/18391/stat : 18391 (java) S 18375 18375 12039 0 -1 1077944384 208 0 0 0 0 1 0 0 20 0 15 0 98135364 14316269568 30794 18446744073709551615 4194304 4196468 140736114151104 140593422862896 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
Current children cumulated CPU time (s) 106.06
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.99 2.03 2.05 3/214 18554
/proc/meminfo: memFree=31287728/32770624 swapFree=0/322808
[pid=18375] ppid=18372 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98135344 9740288 345 18446744073709551615 4194304 5098028 140731425391440 140731425389544 140511473533564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26095616 140731425399201 140731425399405 140731425399405 140731425402859 0
/proc/18375/statm: 2378 345 289 221 0 87 0
[pid=18377] ppid=18375 vsize=13980732 CPUtime=166.07 cores=1,3,5,7
/proc/18377/stat : 18377 (java) S 18375 18375 12039 0 -1 1077944320 51027 0 0 0 16597 10 0 0 20 0 15 0 98135352 14316269568 34383 18446744073709551615 4194304 4196468 140736114151104 140736114133648 140593952956151 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
/proc/18377/statm: 3495183 34383 3199 1 0 3483476 0
[pid=18377/tid=18378] ppid=18375 vsize=13980732 CPUtime=162.14 cores=1,3,5,7
/proc/18377/task/18378/stat : 18378 (java) R 18375 18375 12039 0 -1 4202560 13476 0 0 0 16209 5 0 0 20 0 15 0 98135352 14316269568 34383 18446744073709551615 4194304 4196468 140736114151104 140593957194616 140593560961769 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18379] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18379/stat : 18379 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 34383 18446744073709551615 4194304 4196468 140736114151104 140593887390736 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18380] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18380/stat : 18380 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 34383 18446744073709551615 4194304 4196468 140736114151104 140593886338192 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18381] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18381/stat : 18381 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 34383 18446744073709551615 4194304 4196468 140736114151104 140593885285136 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18382] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18382/stat : 18382 (java) S 18375 18375 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 34383 18446744073709551615 4194304 4196468 140736114151104 140593884232592 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18383] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18383/stat : 18383 (java) S 18375 18375 12039 0 -1 1077944384 496 0 0 0 0 0 0 0 20 0 15 0 98135354 14316269568 34383 18446744073709551615 4194304 4196468 140736114151104 140593431283952 140593952967298 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18384] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18384/stat : 18384 (java) S 18375 18375 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98135354 14316269568 34383 18446744073709551615 4194304 4196468 140736114151104 140593430230176 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18385] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18385/stat : 18385 (java) S 18375 18375 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98135355 14316269568 34383 18446744073709551615 4194304 4196468 140736114151104 140593429177072 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18386] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18386/stat : 18386 (java) S 18375 18375 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98135357 14316269568 34383 18446744073709551615 4194304 4196468 140736114151104 140593428125648 140593952974747 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18387] ppid=18375 vsize=13980732 CPUtime=1.47 cores=1,3,5,7
/proc/18377/task/18387/stat : 18387 (java) S 18375 18375 12039 0 -1 1077944384 14979 0 0 0 147 0 0 0 20 0 15 0 98135357 14316269568 34383 18446744073709551615 4194304 4196468 140736114151104 140593427073776 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18388] ppid=18375 vsize=13980732 CPUtime=1.87 cores=1,3,5,7
/proc/18377/task/18388/stat : 18388 (java) S 18375 18375 12039 0 -1 1077944384 15414 0 0 0 186 1 0 0 20 0 15 0 98135357 14316269568 34383 18446744073709551615 4194304 4196468 140736114151104 140593426021232 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18389] ppid=18375 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/18377/task/18389/stat : 18389 (java) S 18375 18375 12039 0 -1 1077944384 5110 0 0 0 52 0 0 0 20 0 15 0 98135357 14316269568 34383 18446744073709551615 4194304 4196468 140736114151104 140593424968176 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18390] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18390/stat : 18390 (java) S 18375 18375 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98135357 14316269568 34383 18446744073709551615 4194304 4196468 140736114151104 140593423915872 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18391] ppid=18375 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/18377/task/18391/stat : 18391 (java) S 18375 18375 12039 0 -1 1077944384 252 0 0 0 1 1 0 0 20 0 15 0 98135364 14316269568 34383 18446744073709551615 4194304 4196468 140736114151104 140593422862896 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
Current children cumulated CPU time (s) 166.07
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.93 2.01 2.04 3/214 18556
/proc/meminfo: memFree=31254300/32770624 swapFree=0/322872
[pid=18375] ppid=18372 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98135344 9740288 345 18446744073709551615 4194304 5098028 140731425391440 140731425389544 140511473533564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26095616 140731425399201 140731425399405 140731425399405 140731425402859 0
/proc/18375/statm: 2378 345 289 221 0 87 0
[pid=18377] ppid=18375 vsize=13980732 CPUtime=226.19 cores=1,3,5,7
/proc/18377/stat : 18377 (java) S 18375 18375 12039 0 -1 1077944320 53092 0 0 0 22608 11 0 0 20 0 15 0 98135352 14316269568 42700 18446744073709551615 4194304 4196468 140736114151104 140736114133648 140593952956151 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
/proc/18377/statm: 3495183 42700 3199 1 0 3483476 0
[pid=18377/tid=18378] ppid=18375 vsize=13980732 CPUtime=222.14 cores=1,3,5,7
/proc/18377/task/18378/stat : 18378 (java) R 18375 18375 12039 0 -1 4202560 13860 0 0 0 22209 5 0 0 20 0 15 0 98135352 14316269568 42700 18446744073709551615 4194304 4196468 140736114151104 140593957193160 140593560961658 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18379] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18379/stat : 18379 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 42700 18446744073709551615 4194304 4196468 140736114151104 140593887390736 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18380] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18380/stat : 18380 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 42700 18446744073709551615 4194304 4196468 140736114151104 140593886338192 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18381] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18381/stat : 18381 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 42700 18446744073709551615 4194304 4196468 140736114151104 140593885285136 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18382] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18382/stat : 18382 (java) S 18375 18375 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 42700 18446744073709551615 4194304 4196468 140736114151104 140593884232592 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18383] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18383/stat : 18383 (java) S 18375 18375 12039 0 -1 1077944384 500 0 0 0 0 0 0 0 20 0 15 0 98135354 14316269568 42700 18446744073709551615 4194304 4196468 140736114151104 140593431283952 140593952967298 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18384] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18384/stat : 18384 (java) S 18375 18375 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98135354 14316269568 42700 18446744073709551615 4194304 4196468 140736114151104 140593430230176 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18385] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18385/stat : 18385 (java) S 18375 18375 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98135355 14316269568 42700 18446744073709551615 4194304 4196468 140736114151104 140593429177072 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18386] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18386/stat : 18386 (java) S 18375 18375 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98135357 14316269568 42700 18446744073709551615 4194304 4196468 140736114151104 140593428125648 140593952974747 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18387] ppid=18375 vsize=13980732 CPUtime=1.51 cores=1,3,5,7
/proc/18377/task/18387/stat : 18387 (java) S 18375 18375 12039 0 -1 1077944384 15248 0 0 0 151 0 0 0 20 0 15 0 98135357 14316269568 42700 18446744073709551615 4194304 4196468 140736114151104 140593427073776 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18388] ppid=18375 vsize=13980732 CPUtime=1.93 cores=1,3,5,7
/proc/18377/task/18388/stat : 18388 (java) S 18375 18375 12039 0 -1 1077944384 16580 0 0 0 192 1 0 0 20 0 15 0 98135357 14316269568 42700 18446744073709551615 4194304 4196468 140736114151104 140593426021232 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18389] ppid=18375 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/18377/task/18389/stat : 18389 (java) S 18375 18375 12039 0 -1 1077944384 5336 0 0 0 53 0 0 0 20 0 15 0 98135357 14316269568 42700 18446744073709551615 4194304 4196468 140736114151104 140593424968176 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18390] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18390/stat : 18390 (java) S 18375 18375 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98135357 14316269568 42700 18446744073709551615 4194304 4196468 140736114151104 140593423915872 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18391] ppid=18375 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/18377/task/18391/stat : 18391 (java) S 18375 18375 12039 0 -1 1077944384 268 0 0 0 2 2 0 0 20 0 15 0 98135364 14316269568 42700 18446744073709551615 4194304 4196468 140736114151104 140593422862896 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
Current children cumulated CPU time (s) 226.19
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.95 2.01 2.04 3/214 18557
/proc/meminfo: memFree=31250000/32770624 swapFree=0/322884
[pid=18375] ppid=18372 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18375/stat : 18375 (xcsp3-exec) S 18372 18375 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98135344 9740288 345 18446744073709551615 4194304 5098028 140731425391440 140731425389544 140511473533564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 26095616 140731425399201 140731425399405 140731425399405 140731425402859 0
/proc/18375/statm: 2378 345 289 221 0 87 0
[pid=18377] ppid=18375 vsize=13980732 CPUtime=243.89 cores=1,3,5,7
/proc/18377/stat : 18377 (java) S 18375 18375 12039 0 -1 1077944320 53096 0 0 0 24378 11 0 0 20 0 15 0 98135352 14316269568 43724 18446744073709551615 4194304 4196468 140736114151104 140736114133648 140593952956151 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
/proc/18377/statm: 3495183 43724 3199 1 0 3483476 0
[pid=18377/tid=18378] ppid=18375 vsize=13980732 CPUtime=239.83 cores=1,3,5,7
/proc/18377/task/18378/stat : 18378 (java) R 18375 18375 12039 0 -1 4202560 13864 0 0 0 23978 5 0 0 20 0 15 0 98135352 14316269568 43724 18446744073709551615 4194304 4196468 140736114151104 140593957193160 140593560960717 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18379] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18379/stat : 18379 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 43724 18446744073709551615 4194304 4196468 140736114151104 140593887390736 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18380] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18380/stat : 18380 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 43724 18446744073709551615 4194304 4196468 140736114151104 140593886338192 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18381] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18381/stat : 18381 (java) S 18375 18375 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 43724 18446744073709551615 4194304 4196468 140736114151104 140593885285136 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18382] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18382/stat : 18382 (java) S 18375 18375 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98135353 14316269568 43724 18446744073709551615 4194304 4196468 140736114151104 140593884232592 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18383] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18383/stat : 18383 (java) S 18375 18375 12039 0 -1 1077944384 500 0 0 0 0 0 0 0 20 0 15 0 98135354 14316269568 43724 18446744073709551615 4194304 4196468 140736114151104 140593431283952 140593952967298 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18384] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18384/stat : 18384 (java) S 18375 18375 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98135354 14316269568 43724 18446744073709551615 4194304 4196468 140736114151104 140593430230176 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18385] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18385/stat : 18385 (java) S 18375 18375 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98135355 14316269568 43724 18446744073709551615 4194304 4196468 140736114151104 140593429177072 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18386] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18386/stat : 18386 (java) S 18375 18375 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98135357 14316269568 43724 18446744073709551615 4194304 4196468 140736114151104 140593428125648 140593952974747 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18387] ppid=18375 vsize=13980732 CPUtime=1.51 cores=1,3,5,7
/proc/18377/task/18387/stat : 18387 (java) S 18375 18375 12039 0 -1 1077944384 15248 0 0 0 151 0 0 0 20 0 15 0 98135357 14316269568 43724 18446744073709551615 4194304 4196468 140736114151104 140593427073776 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18388] ppid=18375 vsize=13980732 CPUtime=1.93 cores=1,3,5,7
/proc/18377/task/18388/stat : 18388 (java) S 18375 18375 12039 0 -1 1077944384 16580 0 0 0 192 1 0 0 20 0 15 0 98135357 14316269568 43724 18446744073709551615 4194304 4196468 140736114151104 140593426021232 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18389] ppid=18375 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/18377/task/18389/stat : 18389 (java) S 18375 18375 12039 0 -1 1077944384 5336 0 0 0 53 0 0 0 20 0 15 0 98135357 14316269568 43724 18446744073709551615 4194304 4196468 140736114151104 140593424968176 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18390] ppid=18375 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18377/task/18390/stat : 18390 (java) S 18375 18375 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98135357 14316269568 43724 18446744073709551615 4194304 4196468 140736114151104 140593423915872 140593952966357 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
[pid=18377/tid=18391] ppid=18375 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/18377/task/18391/stat : 18391 (java) S 18375 18375 12039 0 -1 1077944384 268 0 0 0 2 2 0 0 20 0 15 0 98135364 14316269568 43724 18446744073709551615 4194304 4196468 140736114151104 140593422862896 140593952967298 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 35811328 140736114160090 140736114160265 140736114160265 140736114163663 0
Current children cumulated CPU time (s) 243.89
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18377 sig 9
??? kill 18375 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.011
CPU time (s): 243.914
CPU user time (s): 243.794
CPU system time (s): 0.120167
CPU usage (%): 101.626
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.794
system time used= 0.120167
maximum resident set size= 181624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53837
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7760
involuntary context switches= 135
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17864 second user time and 1.15224 second system time
The end