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 (15054 MiB free)
memory of node 1: 16384 MiB (15616 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270326-1502619444/watcher-4270326-1502619444 -o /tmp/evaluation-result-4270326-1502619444/solver-4270326-1502619444 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28321 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 514830642 HOME/instance-4270326-1502619444.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30359, runsolver pid=30356
Current StackSize limit: 8192 KiB
[startup+0.100133 s]*
/proc/loadavg: 1.90 1.89 1.88 3/203 30366
/proc/meminfo: memFree=31400804/32770624 swapFree=67108860/67108860
[pid=30359] ppid=30356 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64137697 9740288 344 18446744073709551615 4194304 5098028 140724587900080 140724587898184 140256602120828 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 13746176 140724587901311 140724587901514 140724587901514 140724587905003 0
/proc/30359/statm: 2378 344 289 221 0 87 0
[pid=30361] ppid=30359 vsize=13441356 memory=15948 CPUtime=0.01 cores=1,3,5,7
/proc/30361/stat : 30361 (java) S 30359 30359 17093 0 -1 1077944320 3746 0 0 0 1 0 0 0 20 0 7 0 64137705 13763948544 3987 18446744073709551615 4194304 4196468 140721620126240 140721620108784 140585407291127 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
/proc/30361/statm: 3360339 3987 2024 1 0 3349836 0
[pid=30361/tid=30362] ppid=30359 vsize=13441356 memory=-8713483618642850651 CPUtime=0.01 cores=1,3,5,7
/proc/30361/task/30362/stat : 30362 (java) R 30359 30359 17093 0 -1 4202560 2506 0 0 0 1 0 0 0 20 0 7 0 64137705 13763948544 3987 18446744073709551615 4194304 4196468 140721620126240 140585411533584 140585391371614 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30363] ppid=30359 vsize=13441356 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30363/stat : 30363 (java) S 30359 30359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 64137706 13763948544 3987 18446744073709551615 4194304 4196468 140721620126240 140585364257808 140585407301333 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30364] ppid=30359 vsize=13441356 memory=140669125531264 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30364/stat : 30364 (java) S 30359 30359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 64137706 13763948544 3987 18446744073709551615 4194304 4196468 140721620126240 140585363205264 140585407301333 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30365] ppid=30359 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30365/stat : 30365 (java) S 30359 30359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 64137706 13763948544 3987 18446744073709551615 4194304 4196468 140721620126240 140585362152208 140585407301333 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30366] ppid=30359 vsize=13441356 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30366/stat : 30366 (java) S 30359 30359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 64137706 13763948544 3987 18446744073709551615 4194304 4196468 140721620126240 140585361099664 140585407301333 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30367] ppid=30359 vsize=13441356 memory=140669125531264 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30367/stat : 30367 (java) S 30359 30359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 64137707 13763948544 3987 18446744073709551615 4194304 4196468 140721620126240 140584953063664 140585407302274 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17324 KiB
[startup+0.210562 s]*
/proc/loadavg: 1.90 1.89 1.88 4/212 30375
/proc/meminfo: memFree=31390300/32770624 swapFree=67108860/67108860
[pid=30359] ppid=30356 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64137697 9740288 344 18446744073709551615 4194304 5098028 140724587900080 140724587898184 140256602120828 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 13746176 140724587901311 140724587901514 140724587901514 140724587905003 0
/proc/30359/statm: 2378 344 289 221 0 87 0
[pid=30361] ppid=30359 vsize=13974352 memory=27492 CPUtime=0.11 cores=1,3,5,7
/proc/30361/stat : 30361 (java) S 30359 30359 17093 0 -1 1077944320 5281 0 0 0 10 1 0 0 20 0 15 0 64137705 14309736448 6873 18446744073709551615 4194304 4196468 140721620126240 140721620108784 140585407291127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
/proc/30361/statm: 3493588 6873 2734 1 0 3482964 0
[pid=30361/tid=30362] ppid=30359 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/30361/task/30362/stat : 30362 (java) R 30359 30359 17093 0 -1 4202560 3440 0 0 0 8 0 0 0 20 0 15 0 64137705 14309736448 6873 18446744073709551615 4194304 4196468 140721620126240 140585411521432 140585407313053 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30363] ppid=30359 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30363/stat : 30363 (java) S 30359 30359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64137706 14309736448 6873 18446744073709551615 4194304 4196468 140721620126240 140585364257808 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30364] ppid=30359 vsize=13974352 memory=140669125558875 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30364/stat : 30364 (java) S 30359 30359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64137706 14309736448 6937 18446744073709551615 4194304 4196468 140721620126240 140585363205264 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30365] ppid=30359 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30365/stat : 30365 (java) S 30359 30359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64137706 14309736448 6937 18446744073709551615 4194304 4196468 140721620126240 140585362152208 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30366] ppid=30359 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30366/stat : 30366 (java) S 30359 30359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64137706 14309736448 6937 18446744073709551615 4194304 4196468 140721620126240 140585361099664 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30367] ppid=30359 vsize=13974352 memory=140669125531264 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30367/stat : 30367 (java) S 30359 30359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64137707 14309736448 6937 18446744073709551615 4194304 4196468 140721620126240 140584953063664 140585407302274 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30368] ppid=30359 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30368/stat : 30368 (java) S 30359 30359 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64137708 14309736448 6937 18446744073709551615 4194304 4196468 140721620126240 140584952009888 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30369] ppid=30359 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30369/stat : 30369 (java) S 30359 30359 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64137708 14309736448 6937 18446744073709551615 4194304 4196468 140721620126240 140584950956784 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30370] ppid=30359 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30370/stat : 30370 (java) S 30359 30359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64137710 14309736448 6937 18446744073709551615 4194304 4196468 140721620126240 140584882792400 140585407309723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30371] ppid=30359 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30371/stat : 30371 (java) R 30359 30359 17093 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 15 0 64137710 14309736448 6937 18446744073709551615 4194304 4196468 140721620126240 140584881740528 140585390774320 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30372] ppid=30359 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30372/stat : 30372 (java) S 30359 30359 17093 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 15 0 64137710 14309736448 6937 18446744073709551615 4194304 4196468 140721620126240 140584880687984 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30373] ppid=30359 vsize=13974352 memory=140669125531264 CPUtime=0.01 cores=1,3,5,7
/proc/30361/task/30373/stat : 30373 (java) S 30359 30359 17093 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 15 0 64137710 14309736448 6937 18446744073709551615 4194304 4196468 140721620126240 140584879634928 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30374] ppid=30359 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30374/stat : 30374 (java) S 30359 30359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64137711 14309736448 6937 18446744073709551615 4194304 4196468 140721620126240 140584878582624 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30375] ppid=30359 vsize=13974352 memory=140669125531264 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30375/stat : 30375 (java) S 30359 30359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64137715 14309736448 6937 18446744073709551615 4194304 4196468 140721620126240 140584877529648 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28868 KiB
[startup+0.310375 s]*
/proc/loadavg: 1.90 1.89 1.88 3/212 30375
/proc/meminfo: memFree=31379008/32770624 swapFree=67108860/67108860
[pid=30359] ppid=30356 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64137697 9740288 344 18446744073709551615 4194304 5098028 140724587900080 140724587898184 140256602120828 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 13746176 140724587901311 140724587901514 140724587901514 140724587905003 0
/proc/30359/statm: 2378 344 289 221 0 87 0
[pid=30361] ppid=30359 vsize=13975376 memory=39468 CPUtime=0.3 cores=1,3,5,7
/proc/30361/stat : 30361 (java) S 30359 30359 17093 0 -1 1077944320 8972 0 0 0 28 2 0 0 20 0 15 0 64137705 14310785024 9803 18446744073709551615 4194304 4196468 140721620126240 140721620108784 140585407291127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
/proc/30361/statm: 3493844 9867 2987 1 0 3483220 0
[pid=30361/tid=30362] ppid=30359 vsize=13975376 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/30361/task/30362/stat : 30362 (java) R 30359 30359 17093 0 -1 4202560 6211 0 0 0 16 2 0 0 20 0 15 0 64137705 14310785024 9848 18446744073709551615 4194304 4196468 140721620126240 140585411509200 140585399970845 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30363] ppid=30359 vsize=13975376 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30363/stat : 30363 (java) S 30359 30359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64137706 14310785024 9848 18446744073709551615 4194304 4196468 140721620126240 140585364257808 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30364] ppid=30359 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30364/stat : 30364 (java) S 30359 30359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64137706 14310785024 9848 18446744073709551615 4194304 4196468 140721620126240 140585363205264 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30365] ppid=30359 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30365/stat : 30365 (java) S 30359 30359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64137706 14310785024 9848 18446744073709551615 4194304 4196468 140721620126240 140585362152208 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30366] ppid=30359 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30366/stat : 30366 (java) S 30359 30359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64137706 14309736448 9848 18446744073709551615 4194304 4196468 140721620126240 140585361099664 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30367] ppid=30359 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30367/stat : 30367 (java) S 30359 30359 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64137707 14310785024 9848 18446744073709551615 4194304 4196468 140721620126240 140584953063664 140585407302274 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30368] ppid=30359 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30368/stat : 30368 (java) S 30359 30359 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64137708 14310785024 9848 18446744073709551615 4194304 4196468 140721620126240 140584952009888 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30369] ppid=30359 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30369/stat : 30369 (java) S 30359 30359 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64137708 14310785024 9848 18446744073709551615 4194304 4196468 140721620126240 140584950956784 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30370] ppid=30359 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30370/stat : 30370 (java) S 30359 30359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64137710 14310785024 9848 18446744073709551615 4194304 4196468 140721620126240 140584882792400 140585407309723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30371] ppid=30359 vsize=13974352 memory=140668970488768 CPUtime=0.02 cores=1,3,5,7
/proc/30361/task/30371/stat : 30371 (java) S 30359 30359 17093 0 -1 1077944384 382 0 0 0 2 0 0 0 20 0 15 0 64137710 14309736448 9848 18446744073709551615 4194304 4196468 140721620126240 140584881740528 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30372] ppid=30359 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30361/task/30372/stat : 30372 (java) S 30359 30359 17093 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 15 0 64137710 14309736448 9848 18446744073709551615 4194304 4196468 140721620126240 140584880687984 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30373] ppid=30359 vsize=13975376 memory=140669125531264 CPUtime=0.07 cores=1,3,5,7
/proc/30361/task/30373/stat : 30373 (java) S 30359 30359 17093 0 -1 1077944384 694 0 0 0 7 0 0 0 20 0 15 0 64137710 14310785024 9848 18446744073709551615 4194304 4196468 140721620126240 140584879634928 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30374] ppid=30359 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30374/stat : 30374 (java) S 30359 30359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64137711 14310785024 9848 18446744073709551615 4194304 4196468 140721620126240 140584878582624 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30375] ppid=30359 vsize=13975376 memory=140669125531264 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30375/stat : 30375 (java) S 30359 30359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64137715 14310785024 9848 18446744073709551615 4194304 4196468 140721620126240 140584877529648 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 40844 KiB
[startup+0.701627 s]
/proc/loadavg: 1.90 1.89 1.88 5/212 30375
/proc/meminfo: memFree=31360216/32770624 swapFree=67108860/67108860
[pid=30359] ppid=30356 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64137697 9740288 344 18446744073709551615 4194304 5098028 140724587900080 140724587898184 140256602120828 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 13746176 140724587901311 140724587901514 140724587901514 140724587905003 0
/proc/30359/statm: 2378 344 289 221 0 87 0
[pid=30361] ppid=30359 vsize=13978684 memory=83196 CPUtime=1.42 cores=1,3,5,7
/proc/30361/stat : 30361 (java) S 30359 30359 17093 0 -1 1077944320 13458 0 0 0 137 5 0 0 20 0 15 0 64137705 14314172416 20799 18446744073709551615 4194304 4196468 140721620126240 140721620108784 140585407291127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
/proc/30361/statm: 3494671 20799 3168 1 0 3482964 0
[pid=30361/tid=30362] ppid=30359 vsize=13978684 memory=4028 CPUtime=0.56 cores=1,3,5,7
/proc/30361/task/30362/stat : 30362 (java) R 30359 30359 17093 0 -1 4202560 8011 0 0 0 53 3 0 0 20 0 15 0 64137705 14314172416 20799 18446744073709551615 4194304 4196468 140721620126240 140585411524880 140585391334757 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30363] ppid=30359 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30363/stat : 30363 (java) S 30359 30359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64137706 14314172416 20799 18446744073709551615 4194304 4196468 140721620126240 140585364257808 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30364] ppid=30359 vsize=13978684 memory=140668970214000 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30364/stat : 30364 (java) S 30359 30359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64137706 14314172416 20799 18446744073709551615 4194304 4196468 140721620126240 140585363205264 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30365] ppid=30359 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30365/stat : 30365 (java) S 30359 30359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64137706 14314172416 20799 18446744073709551615 4194304 4196468 140721620126240 140585362152208 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30366] ppid=30359 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30366/stat : 30366 (java) S 30359 30359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64137706 14314172416 20799 18446744073709551615 4194304 4196468 140721620126240 140585361099664 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30367] ppid=30359 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30367/stat : 30367 (java) S 30359 30359 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64137707 14314172416 20799 18446744073709551615 4194304 4196468 140721620126240 140584953063664 140585407302274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30368] ppid=30359 vsize=13978684 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30368/stat : 30368 (java) S 30359 30359 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64137708 14314172416 20799 18446744073709551615 4194304 4196468 140721620126240 140584952009888 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30369] ppid=30359 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30369/stat : 30369 (java) S 30359 30359 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64137708 14314172416 20799 18446744073709551615 4194304 4196468 140721620126240 140584950956784 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30370] ppid=30359 vsize=13978684 memory=-6205556093122601088 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30370/stat : 30370 (java) S 30359 30359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64137710 14314172416 20799 18446744073709551615 4194304 4196468 140721620126240 140584882792400 140585407309723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30371] ppid=30359 vsize=13978684 memory=6944656592387989600 CPUtime=0.25 cores=1,3,5,7
/proc/30361/task/30371/stat : 30371 (java) R 30359 30359 17093 0 -1 4202560 1221 0 0 0 25 0 0 0 20 0 15 0 64137710 14314172416 20799 18446744073709551615 4194304 4196468 140721620126240 140584881726408 140585392416926 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30372] ppid=30359 vsize=13978684 memory=6944656592455359580 CPUtime=0.27 cores=1,3,5,7
/proc/30361/task/30372/stat : 30372 (java) R 30359 30359 17093 0 -1 4202560 1416 0 0 0 27 0 0 0 20 0 15 0 64137710 14314172416 20799 18446744073709551615 4194304 4196468 140721620126240 140584880678960 140585392196753 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30373] ppid=30359 vsize=13978684 memory=6944656592455097440 CPUtime=0.31 cores=1,3,5,7
/proc/30361/task/30373/stat : 30373 (java) R 30359 30359 17093 0 -1 4202560 1505 0 0 0 31 0 0 0 20 0 15 0 64137710 14314172416 20799 18446744073709551615 4194304 4196468 140721620126240 140584879634928 140585400390974 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30374] ppid=30359 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30374/stat : 30374 (java) S 30359 30359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64137711 14314172416 20799 18446744073709551615 4194304 4196468 140721620126240 140584878582624 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30375] ppid=30359 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30375/stat : 30375 (java) S 30359 30359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64137715 14314172416 20799 18446744073709551615 4194304 4196468 140721620126240 140584877529648 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 84572 KiB
[startup+1.50247 s]
/proc/loadavg: 1.90 1.89 1.88 3/212 30375
/proc/meminfo: memFree=31319768/32770624 swapFree=67108860/67108860
[pid=30359] ppid=30356 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64137697 9740288 344 18446744073709551615 4194304 5098028 140724587900080 140724587898184 140256602120828 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 13746176 140724587901311 140724587901514 140724587901514 140724587905003 0
/proc/30359/statm: 2378 344 289 221 0 87 0
[pid=30361] ppid=30359 vsize=13980732 memory=126536 CPUtime=3.11 cores=1,3,5,7
/proc/30361/stat : 30361 (java) S 30359 30359 17093 0 -1 1077944320 20032 0 0 0 304 7 0 0 20 0 15 0 64137705 14316269568 31634 18446744073709551615 4194304 4196468 140721620126240 140721620108784 140585407291127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
/proc/30361/statm: 3495183 31634 3190 1 0 3483476 0
[pid=30361/tid=30362] ppid=30359 vsize=13980732 memory=1376 CPUtime=1.35 cores=1,3,5,7
/proc/30361/task/30362/stat : 30362 (java) R 30359 30359 17093 0 -1 4202560 11273 0 0 0 131 4 0 0 20 0 15 0 64137705 14316269568 31634 18446744073709551615 4194304 4196468 140721620126240 140585411528160 140585407303062 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30363] ppid=30359 vsize=13980732 memory=92964 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30363/stat : 30363 (java) S 30359 30359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64137706 14316269568 31634 18446744073709551615 4194304 4196468 140721620126240 140585364257808 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30364] ppid=30359 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30364/stat : 30364 (java) S 30359 30359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64137706 14316269568 31634 18446744073709551615 4194304 4196468 140721620126240 140585363205264 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30365] ppid=30359 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30365/stat : 30365 (java) S 30359 30359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64137706 14316269568 31634 18446744073709551615 4194304 4196468 140721620126240 140585362152208 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30366] ppid=30359 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30366/stat : 30366 (java) S 30359 30359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64137706 14316269568 31634 18446744073709551615 4194304 4196468 140721620126240 140585361099664 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30367] ppid=30359 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30367/stat : 30367 (java) S 30359 30359 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 64137707 14316269568 31634 18446744073709551615 4194304 4196468 140721620126240 140584953063664 140585407302274 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30368] ppid=30359 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/30361/task/30369/stat : 30369 (java) S 30359 30359 17093 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 64137708 14316269568 58189 18446744073709551615 4194304 4196468 140721620126240 140584950956784 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30370] ppid=30359 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30370/stat : 30370 (java) S 30359 30359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64137710 14316269568 58189 18446744073709551615 4194304 4196468 140721620126240 140584882792400 140585407309723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30371] ppid=30359 vsize=13980732 memory=232756 CPUtime=1.51 cores=1,3,5,7
/proc/30361/task/30371/stat : 30371 (java) S 30359 30359 17093 0 -1 1077944384 7797 0 0 0 150 1 0 0 20 0 15 0 64137710 14316269568 58189 18446744073709551615 4194304 4196468 140721620126240 140584881740528 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30372] ppid=30359 vsize=13980732 memory=1376 CPUtime=2.2 cores=1,3,5,7
/proc/30361/task/30372/stat : 30372 (java) S 30359 30359 17093 0 -1 1077944384 16468 0 0 0 219 1 0 0 20 0 15 0 64137710 14316269568 58189 18446744073709551615 4194304 4196468 140721620126240 140584880687984 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30373] ppid=30359 vsize=13980732 memory=232644 CPUtime=0.68 cores=1,3,5,7
/proc/30361/task/30373/stat : 30373 (java) S 30359 30359 17093 0 -1 1077944384 7043 0 0 0 67 1 0 0 20 0 15 0 64137710 14316269568 58189 18446744073709551615 4194304 4196468 140721620126240 140584879634928 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30374] ppid=30359 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30374/stat : 30374 (java) S 30359 30359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64137711 14316269568 58189 18446744073709551615 4194304 4196468 140721620126240 140584878582624 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30375] ppid=30359 vsize=13980732 memory=1376 CPUtime=0.01 cores=1,3,5,7
/proc/30361/task/30375/stat : 30375 (java) S 30359 30359 17093 0 -1 1077944384 1217 0 0 0 0 1 0 0 20 0 15 0 64137715 14316269568 58189 18446744073709551615 4194304 4196468 140721620126240 140584877529648 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
Current children cumulated CPU time: 106.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 234132 KiB
[startup+162.301 s]
/proc/loadavg: 1.89 1.90 1.88 3/212 30540
/proc/meminfo: memFree=31101688/32770624 swapFree=67108860/67108860
[pid=30359] ppid=30356 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64137697 9740288 344 18446744073709551615 4194304 5098028 140724587900080 140724587898184 140256602120828 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 13746176 140724587901311 140724587901514 140724587901514 140724587905003 0
/proc/30359/statm: 2378 344 289 221 0 87 0
[pid=30361] ppid=30359 vsize=13980732 memory=252388 CPUtime=167.37 cores=1,3,5,7
/proc/30361/stat : 30361 (java) S 30359 30359 17093 0 -1 1077944320 59914 0 0 0 16718 19 0 0 20 0 15 0 64137705 14316269568 63097 18446744073709551615 4194304 4196468 140721620126240 140721620108784 140585407291127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
/proc/30361/statm: 3495183 63097 3239 1 0 3483476 0
[pid=30361/tid=30362] ppid=30359 vsize=13980732 memory=252388 CPUtime=162.07 cores=1,3,5,7
/proc/30361/task/30362/stat : 30362 (java) R 30359 30359 17093 0 -1 4202560 16132 0 0 0 16201 6 0 0 20 0 15 0 64137705 14316269568 63097 18446744073709551615 4194304 4196468 140721620126240 140585411530008 140585042055260 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30363] ppid=30359 vsize=13980732 memory=1376 CPUtime=0.05 cores=1,3,5,7
/proc/30361/task/30363/stat : 30363 (java) S 30359 30359 17093 0 -1 1077944384 2241 0 0 0 4 1 0 0 20 0 15 0 64137706 14316269568 63097 18446744073709551615 4194304 4196468 140721620126240 140585364257808 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30364] ppid=30359 vsize=13980732 memory=1376 CPUtime=0.05 cores=1,3,5,7
/proc/30361/task/30364/stat : 30364 (java) S 30359 30359 17093 0 -1 1077944384 895 0 0 0 4 1 0 0 20 0 15 0 64137706 14316269568 63097 18446744073709551615 4194304 4196468 140721620126240 140585363205264 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30365] ppid=30359 vsize=13980732 memory=1376 CPUtime=0.04 cores=1,3,5,7
/proc/30361/task/30365/stat : 30365 (java) S 30359 30359 17093 0 -1 1077944384 308 0 0 0 3 1 0 0 20 0 15 0 64137706 14316269568 63097 18446744073709551615 4194304 4196468 140721620126240 140585362152208 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30366] ppid=30359 vsize=13980732 memory=248260 CPUtime=0.04 cores=1,3,5,7
/proc/30361/task/30366/stat : 30366 (java) S 30359 30359 17093 0 -1 1077944384 1160 0 0 0 3 1 0 0 20 0 15 0 64137706 14316269568 63097 18446744073709551615 4194304 4196468 140721620126240 140585361099664 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30367] ppid=30359 vsize=13980732 memory=36268 CPUtime=0.01 cores=1,3,5,7
/proc/30361/task/30367/stat : 30367 (java) S 30359 30359 17093 0 -1 1077944384 937 0 0 0 1 0 0 0 20 0 15 0 64137707 14316269568 63097 18446744073709551615 4194304 4196468 140721620126240 140584953063664 140585407302274 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30368] ppid=30359 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30368/stat : 30368 (java) S 30359 30359 17093 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 64137708 14316269568 63097 18446744073709551615 4194304 4196468 140721620126240 140584952009952 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30369] ppid=30359 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30369/stat : 30369 (java) S 30359 30359 17093 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 64137708 14316269568 63097 18446744073709551615 4194304 4196468 140721620126240 140584950956784 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30370] ppid=30359 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30370/stat : 30370 (java) S 30359 30359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64137710 14316269568 63097 18446744073709551615 4194304 4196468 140721620126240 140584882792400 140585407309723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30371] ppid=30359 vsize=13980732 memory=248268 CPUtime=1.81 cores=1,3,5,7
/proc/30361/task/30371/stat : 30371 (java) S 30359 30359 17093 0 -1 1077944384 10290 0 0 0 179 2 0 0 20 0 15 0 64137710 14316269568 63097 18446744073709551615 4194304 4196468 140721620126240 140584881740528 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30372] ppid=30359 vsize=13980732 memory=1376 CPUtime=2.47 cores=1,3,5,7
/proc/30361/task/30372/stat : 30372 (java) S 30359 30359 17093 0 -1 1077944384 16950 0 0 0 246 1 0 0 20 0 15 0 64137710 14316269568 63097 18446744073709551615 4194304 4196468 140721620126240 140584880687984 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30373] ppid=30359 vsize=13980732 memory=252388 CPUtime=0.72 cores=1,3,5,7
/proc/30361/task/30373/stat : 30373 (java) S 30359 30359 17093 0 -1 1077944384 8376 0 0 0 70 2 0 0 20 0 15 0 64137710 14316269568 63097 18446744073709551615 4194304 4196468 140721620126240 140584879634928 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30374] ppid=30359 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30374/stat : 30374 (java) S 30359 30359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64137711 14316269568 63097 18446744073709551615 4194304 4196468 140721620126240 140584878582624 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30375] ppid=30359 vsize=13980732 memory=252388 CPUtime=0.03 cores=1,3,5,7
/proc/30361/task/30375/stat : 30375 (java) S 30359 30359 17093 0 -1 1077944384 1247 0 0 0 1 2 0 0 20 0 15 0 64137715 14316269568 63097 18446744073709551615 4194304 4196468 140721620126240 140584877529648 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
Current children cumulated CPU time: 167.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 253764 KiB
[startup+222.301 s]
/proc/loadavg: 1.89 1.90 1.88 3/211 30542
/proc/meminfo: memFree=31106392/32770624 swapFree=67108860/67108860
[pid=30359] ppid=30356 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64137697 9740288 344 18446744073709551615 4194304 5098028 140724587900080 140724587898184 140256602120828 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 13746176 140724587901311 140724587901514 140724587901514 140724587905003 0
/proc/30359/statm: 2378 344 289 221 0 87 0
[pid=30361] ppid=30359 vsize=13980732 memory=269836 CPUtime=227.62 cores=1,3,5,7
/proc/30361/stat : 30361 (java) S 30359 30359 17093 0 -1 1077944320 61666 0 0 0 22741 21 0 0 20 0 15 0 64137705 14316269568 67459 18446744073709551615 4194304 4196468 140721620126240 140721620108784 140585407291127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
/proc/30361/statm: 3495183 67459 3239 1 0 3483476 0
[pid=30361/tid=30362] ppid=30359 vsize=13980732 memory=269800 CPUtime=222.02 cores=1,3,5,7
/proc/30361/task/30362/stat : 30362 (java) R 30359 30359 17093 0 -1 4202560 16860 0 0 0 22196 6 0 0 20 0 15 0 64137705 14316269568 67459 18446744073709551615 4194304 4196468 140721620126240 140585411530024 140585039807609 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30363] ppid=30359 vsize=13980732 memory=1376 CPUtime=0.08 cores=1,3,5,7
/proc/30361/task/30363/stat : 30363 (java) S 30359 30359 17093 0 -1 1077944384 2519 0 0 0 7 1 0 0 20 0 15 0 64137706 14316269568 67459 18446744073709551615 4194304 4196468 140721620126240 140585364257808 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30364] ppid=30359 vsize=13980732 memory=269836 CPUtime=0.09 cores=1,3,5,7
/proc/30361/task/30364/stat : 30364 (java) S 30359 30359 17093 0 -1 1077944384 1093 0 0 0 8 1 0 0 20 0 15 0 64137706 14316269568 67459 18446744073709551615 4194304 4196468 140721620126240 140585363205264 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30365] ppid=30359 vsize=13980732 memory=269836 CPUtime=0.07 cores=1,3,5,7
/proc/30361/task/30365/stat : 30365 (java) S 30359 30359 17093 0 -1 1077944384 389 0 0 0 6 1 0 0 20 0 15 0 64137706 14316269568 67459 18446744073709551615 4194304 4196468 140721620126240 140585362152208 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30366] ppid=30359 vsize=13980732 memory=269836 CPUtime=0.07 cores=1,3,5,7
/proc/30361/task/30366/stat : 30366 (java) S 30359 30359 17093 0 -1 1077944384 1317 0 0 0 6 1 0 0 20 0 15 0 64137706 14316269568 67459 18446744073709551615 4194304 4196468 140721620126240 140585361099664 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30367] ppid=30359 vsize=13980732 memory=269836 CPUtime=0.02 cores=1,3,5,7
/proc/30361/task/30367/stat : 30367 (java) S 30359 30359 17093 0 -1 1077944384 1080 0 0 0 2 0 0 0 20 0 15 0 64137707 14316269568 67459 18446744073709551615 4194304 4196468 140721620126240 140584953063664 140585407302274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30368] ppid=30359 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30368/stat : 30368 (java) S 30359 30359 17093 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 64137708 14316269568 67459 18446744073709551615 4194304 4196468 140721620126240 140584952009952 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30369] ppid=30359 vsize=13980732 memory=269836 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30369/stat : 30369 (java) S 30359 30359 17093 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 64137708 14316269568 67459 18446744073709551615 4194304 4196468 140721620126240 140584950956784 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30370] ppid=30359 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30370/stat : 30370 (java) S 30359 30359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64137710 14316269568 67459 18446744073709551615 4194304 4196468 140721620126240 140584882792400 140585407309723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30371] ppid=30359 vsize=13980732 memory=253084 CPUtime=1.85 cores=1,3,5,7
/proc/30361/task/30371/stat : 30371 (java) S 30359 30359 17093 0 -1 1077944384 10302 0 0 0 183 2 0 0 20 0 15 0 64137710 14316269568 67459 18446744073709551615 4194304 4196468 140721620126240 140584881740528 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30372] ppid=30359 vsize=13980732 memory=1376 CPUtime=2.55 cores=1,3,5,7
/proc/30361/task/30372/stat : 30372 (java) S 30359 30359 17093 0 -1 1077944384 17003 0 0 0 254 1 0 0 20 0 15 0 64137710 14316269568 67459 18446744073709551615 4194304 4196468 140721620126240 140584880687984 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30373] ppid=30359 vsize=13980732 memory=164 CPUtime=0.73 cores=1,3,5,7
/proc/30361/task/30373/stat : 30373 (java) S 30359 30359 17093 0 -1 1077944384 8472 0 0 0 71 2 0 0 20 0 15 0 64137710 14316269568 67459 18446744073709551615 4194304 4196468 140721620126240 140584879634928 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30374] ppid=30359 vsize=13980732 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30374/stat : 30374 (java) S 30359 30359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64137711 14316269568 67459 18446744073709551615 4194304 4196468 140721620126240 140584878582624 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30375] ppid=30359 vsize=13980732 memory=1376 CPUtime=0.05 cores=1,3,5,7
/proc/30361/task/30375/stat : 30375 (java) S 30359 30359 17093 0 -1 1077944384 1253 0 0 0 2 3 0 0 20 0 15 0 64137715 14316269568 67459 18446744073709551615 4194304 4196468 140721620126240 140584877529648 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
Current children cumulated CPU time: 227.62 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 271212 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.91 1.90 1.88 3/211 30542
/proc/meminfo: memFree=31105712/32770624 swapFree=67108860/67108860
[pid=30359] ppid=30356 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64137697 9740288 344 18446744073709551615 4194304 5098028 140724587900080 140724587898184 140256602120828 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 13746176 140724587901311 140724587901514 140724587901514 140724587905003 0
/proc/30359/statm: 2378 344 289 221 0 87 0
[pid=30361] ppid=30359 vsize=13980732 memory=273976 CPUtime=245.4 cores=1,3,5,7
/proc/30361/stat : 30361 (java) S 30359 30359 17093 0 -1 1077944320 61877 0 0 0 24518 22 0 0 20 0 15 0 64137705 14316269568 68494 18446744073709551615 4194304 4196468 140721620126240 140721620108784 140585407291127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
/proc/30361/statm: 3495183 68494 3239 1 0 3483476 0
[pid=30361/tid=30362] ppid=30359 vsize=13980732 memory=-8774313645642428999 CPUtime=239.72 cores=1,3,5,7
/proc/30361/task/30362/stat : 30362 (java) R 30359 30359 17093 0 -1 4202560 16913 0 0 0 23966 6 0 0 20 0 15 0 64137705 14316269568 68494 18446744073709551615 4194304 4196468 140721620126240 140585411527288 140585039807704 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30363] ppid=30359 vsize=13980732 memory=36268 CPUtime=0.09 cores=1,3,5,7
/proc/30361/task/30363/stat : 30363 (java) S 30359 30359 17093 0 -1 1077944384 2524 0 0 0 7 2 0 0 20 0 15 0 64137706 14316269568 68494 18446744073709551615 4194304 4196468 140721620126240 140585364257808 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30364] ppid=30359 vsize=13980732 memory=1296 CPUtime=0.09 cores=1,3,5,7
/proc/30361/task/30364/stat : 30364 (java) S 30359 30359 17093 0 -1 1077944384 1094 0 0 0 8 1 0 0 20 0 15 0 64137706 14316269568 68494 18446744073709551615 4194304 4196468 140721620126240 140585363205264 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30365] ppid=30359 vsize=13980732 memory=2420 CPUtime=0.07 cores=1,3,5,7
/proc/30361/task/30365/stat : 30365 (java) S 30359 30359 17093 0 -1 1077944384 395 0 0 0 6 1 0 0 20 0 15 0 64137706 14316269568 68494 18446744073709551615 4194304 4196468 140721620126240 140585362152208 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30366] ppid=30359 vsize=13980732 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/30361/task/30366/stat : 30366 (java) S 30359 30359 17093 0 -1 1077944384 1319 0 0 0 6 1 0 0 20 0 15 0 64137706 14316269568 68494 18446744073709551615 4194304 4196468 140721620126240 140585361099664 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30367] ppid=30359 vsize=13980732 memory=796 CPUtime=0.02 cores=1,3,5,7
/proc/30361/task/30367/stat : 30367 (java) S 30359 30359 17093 0 -1 1077944384 1081 0 0 0 2 0 0 0 20 0 15 0 64137707 14316269568 68494 18446744073709551615 4194304 4196468 140721620126240 140584953063664 140585407302274 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30368] ppid=30359 vsize=13980732 memory=10960 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30368/stat : 30368 (java) S 30359 30359 17093 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 64137708 14316269568 68494 18446744073709551615 4194304 4196468 140721620126240 140584952009952 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30369] ppid=30359 vsize=13980732 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30369/stat : 30369 (java) S 30359 30359 17093 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 64137708 14316269568 68494 18446744073709551615 4194304 4196468 140721620126240 140584950956784 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30370] ppid=30359 vsize=13980732 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30370/stat : 30370 (java) S 30359 30359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64137710 14316269568 68494 18446744073709551615 4194304 4196468 140721620126240 140584882792400 140585407309723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30371] ppid=30359 vsize=13980732 memory=20456 CPUtime=1.86 cores=1,3,5,7
/proc/30361/task/30371/stat : 30371 (java) S 30359 30359 17093 0 -1 1077944384 10325 0 0 0 184 2 0 0 20 0 15 0 64137710 14316269568 68494 18446744073709551615 4194304 4196468 140721620126240 140584881740528 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30372] ppid=30359 vsize=13980732 memory=1788 CPUtime=2.6 cores=1,3,5,7
/proc/30361/task/30372/stat : 30372 (java) S 30359 30359 17093 0 -1 1077944384 17066 0 0 0 259 1 0 0 20 0 15 0 64137710 14316269568 68494 18446744073709551615 4194304 4196468 140721620126240 140584880687984 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30373] ppid=30359 vsize=13980732 memory=640 CPUtime=0.73 cores=1,3,5,7
/proc/30361/task/30373/stat : 30373 (java) S 30359 30359 17093 0 -1 1077944384 8529 0 0 0 71 2 0 0 20 0 15 0 64137710 14316269568 68494 18446744073709551615 4194304 4196468 140721620126240 140584879634928 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30374] ppid=30359 vsize=13980732 memory=960 CPUtime=0 cores=1,3,5,7
/proc/30361/task/30374/stat : 30374 (java) S 30359 30359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64137711 14316269568 68494 18446744073709551615 4194304 4196468 140721620126240 140584878582624 140585407301333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
[pid=30361/tid=30375] ppid=30359 vsize=13980732 memory=1232 CPUtime=0.05 cores=1,3,5,7
/proc/30361/task/30375/stat : 30375 (java) S 30359 30359 17093 0 -1 1077944384 1253 0 0 0 2 3 0 0 20 0 15 0 64137715 14316269568 68494 18446744073709551615 4194304 4196468 140721620126240 140584877529648 140585407302274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 30662656 140721620128183 140721620128358 140721620128358 140721620131791 0
Current children cumulated CPU time: 245.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 275352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 30359 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000917 s, system=0.000917 s
[startup+240.02 s]
# the end of solver process 30361 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.202 s, system=0.22306 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
Child status: 143
Real time (s): 240.02
CPU time (s): 245.425
CPU user time (s): 245.202
CPU system time (s): 0.22306
CPU usage (%): 102.252
Max. virtual memory (cumulated for all children) (KiB): 13992264
Max. memory (cumulated for all children) (KiB): 275352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.202
system time used= 0.22306
maximum resident set size= 274504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8522
involuntary context switches= 194
# summary of solver processes directly reported to runsolver:
# pid: 30359,30361
# total CPU time (s): 245.425
# total CPU user time (s): 245.202
# total CPU system time (s): 0.22306
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.25617 second user time and 2.31458 second system time
The end