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 (15212 MiB free)
memory of node 1: 16384 MiB (15427 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270306-1502620450/watcher-4270306-1502620450 -o /tmp/evaluation-result-4270306-1502620450/solver-4270306-1502620450 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28320 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 985648510 HOME/instance-4270306-1502620450.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31621, runsolver pid=31618
[startup+0.100168 s]*
/proc/loadavg: 1.28 1.54 1.74 3/205 31628
/proc/meminfo: memFree=31369508/32770624 swapFree=67108860/67108860
[pid=31621] ppid=31618 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64238374 9740288 345 18446744073709551615 4194304 5098028 140726230738176 140726230736280 139880899965564 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9478144 140726230741375 140726230741578 140726230741578 140726230745067 0
/proc/31621/statm: 2378 345 289 221 0 87 0
[pid=31623] ppid=31621 vsize=13358712 memory=14892 CPUtime=0.01 cores=0,2,4,6
/proc/31623/stat : 31623 (java) S 31621 31621 17093 0 -1 1077944320 3525 0 0 0 0 1 0 0 20 0 6 0 64238383 13679321088 3723 18446744073709551615 4194304 4196468 140721639912656 140721639895200 140357901033207 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
/proc/31623/statm: 3339678 3723 1904 1 0 3329175 0
[pid=31623/tid=31624] ppid=31621 vsize=13358712 memory=-6871798056524144002 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31624/stat : 31624 (java) R 31621 31621 17093 0 -1 4202560 2302 0 0 0 0 0 0 0 20 0 6 0 64238383 13679321088 3789 18446744073709551615 4194304 4196468 140721639912656 140357905269328 140357886345209 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31625] ppid=31621 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31625/stat : 31625 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64238384 13679321088 3789 18446744073709551615 4194304 4196468 140721639912656 140357857999120 140357901043413 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31626] ppid=31621 vsize=13358712 memory=140339810522752 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31626/stat : 31626 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64238384 13679321088 3789 18446744073709551615 4194304 4196468 140721639912656 140357856946576 140357901043413 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31627] ppid=31621 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31627/stat : 31627 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64238384 13679321088 3789 18446744073709551615 4194304 4196468 140721639912656 140357855894032 140357901043413 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31628] ppid=31621 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31628/stat : 31628 (java) S 31621 31621 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64238384 13679321088 3789 18446744073709551615 4194304 4196468 140721639912656 140357854841488 140357901043413 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16272 KiB
[startup+0.210361 s]*
/proc/loadavg: 1.28 1.54 1.74 4/214 31637
/proc/meminfo: memFree=31358604/32770624 swapFree=67108860/67108860
[pid=31621] ppid=31618 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64238374 9740288 345 18446744073709551615 4194304 5098028 140726230738176 140726230736280 139880899965564 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9478144 140726230741375 140726230741578 140726230741578 140726230745067 0
/proc/31621/statm: 2378 345 289 221 0 87 0
[pid=31623] ppid=31621 vsize=13974352 memory=27968 CPUtime=0.12 cores=0,2,4,6
/proc/31623/stat : 31623 (java) S 31621 31621 17093 0 -1 1077944320 5418 0 0 0 10 2 0 0 20 0 15 0 64238383 14309736448 6992 18446744073709551615 4194304 4196468 140721639912656 140721639895200 140357901033207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
/proc/31623/statm: 3493588 6992 2842 1 0 3482964 0
[pid=31623/tid=31624] ppid=31621 vsize=13974352 memory=7077796292425249400 CPUtime=0.08 cores=0,2,4,6
/proc/31623/task/31624/stat : 31624 (java) R 31621 31621 17093 0 -1 4202560 3442 0 0 0 7 1 0 0 20 0 15 0 64238383 14309736448 6992 18446744073709551615 4194304 4196468 140721639912656 140357905256656 140357901045142 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31625] ppid=31621 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31625/stat : 31625 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64238384 14309736448 6992 18446744073709551615 4194304 4196468 140721639912656 140357857999120 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31626] ppid=31621 vsize=13974352 memory=140339810522752 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31626/stat : 31626 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64238384 14309736448 6992 18446744073709551615 4194304 4196468 140721639912656 140357856946576 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31627] ppid=31621 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31627/stat : 31627 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64238384 14309736448 6992 18446744073709551615 4194304 4196468 140721639912656 140357855894032 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31628] ppid=31621 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31628/stat : 31628 (java) S 31621 31621 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64238384 14309736448 6992 18446744073709551615 4194304 4196468 140721639912656 140357854841488 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31629] ppid=31621 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31629/stat : 31629 (java) S 31621 31621 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64238385 14309736448 6992 18446744073709551615 4194304 4196468 140721639912656 140357379533296 140357901044354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31630] ppid=31621 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31630/stat : 31630 (java) S 31621 31621 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64238385 14309736448 6992 18446744073709551615 4194304 4196468 140721639912656 140357378479520 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31631] ppid=31621 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31631/stat : 31631 (java) S 31621 31621 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64238386 14309736448 6992 18446744073709551615 4194304 4196468 140721639912656 140357377426928 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31632] ppid=31621 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31632/stat : 31632 (java) S 31621 31621 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64238388 14309736448 6992 18446744073709551615 4194304 4196468 140721639912656 140357376375504 140357901051803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31633] ppid=31621 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31633/stat : 31633 (java) S 31621 31621 17093 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 64238388 14309736448 6992 18446744073709551615 4194304 4196468 140721639912656 140357375322096 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31634] ppid=31621 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31634/stat : 31634 (java) S 31621 31621 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64238388 14309736448 6992 18446744073709551615 4194304 4196468 140721639912656 140357374269552 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31635] ppid=31621 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31623/task/31635/stat : 31635 (java) R 31621 31621 17093 0 -1 4202560 250 0 0 0 1 0 0 0 20 0 15 0 64238388 14309736448 6992 18446744073709551615 4194304 4196468 140721639912656 140357373217008 140357893270334 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31636] ppid=31621 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31636/stat : 31636 (java) S 31621 31621 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64238388 14309736448 6992 18446744073709551615 4194304 4196468 140721639912656 140357372164704 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31637] ppid=31621 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31637/stat : 31637 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64238392 14309736448 6992 18446744073709551615 4194304 4196468 140721639912656 140357371112240 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29348 KiB
[startup+0.315505 s]*
/proc/loadavg: 1.28 1.54 1.74 5/214 31637
/proc/meminfo: memFree=31345264/32770624 swapFree=67108860/67108860
[pid=31621] ppid=31618 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64238374 9740288 345 18446744073709551615 4194304 5098028 140726230738176 140726230736280 139880899965564 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9478144 140726230741375 140726230741578 140726230741578 140726230745067 0
/proc/31621/statm: 2378 345 289 221 0 87 0
[pid=31623] ppid=31621 vsize=13974352 memory=39964 CPUtime=0.32 cores=0,2,4,6
/proc/31623/stat : 31623 (java) S 31621 31621 17093 0 -1 1077944320 9181 0 0 0 29 3 0 0 20 0 15 0 64238383 14309736448 9991 18446744073709551615 4194304 4196468 140721639912656 140721639895200 140357901033207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
/proc/31623/statm: 3493588 9991 3027 1 0 3482964 0
[pid=31623/tid=31624] ppid=31621 vsize=13975376 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/31623/task/31624/stat : 31624 (java) R 31621 31621 17093 0 -1 4202560 6313 0 0 0 17 2 0 0 20 0 15 0 64238383 14310785024 10056 18446744073709551615 4194304 4196468 140721639912656 140357905257376 140357893712925 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31625] ppid=31621 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31625/stat : 31625 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64238384 14310785024 10056 18446744073709551615 4194304 4196468 140721639912656 140357857999120 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31626] ppid=31621 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31626/stat : 31626 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64238384 14310785024 10056 18446744073709551615 4194304 4196468 140721639912656 140357856946576 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31627] ppid=31621 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31627/stat : 31627 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64238384 14309736448 10048 18446744073709551615 4194304 4196468 140721639912656 140357855894032 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31628] ppid=31621 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31628/stat : 31628 (java) S 31621 31621 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64238384 14309736448 10048 18446744073709551615 4194304 4196468 140721639912656 140357854841488 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31629] ppid=31621 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31629/stat : 31629 (java) S 31621 31621 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64238385 14309736448 10048 18446744073709551615 4194304 4196468 140721639912656 140357379533296 140357901044354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31630] ppid=31621 vsize=13976468 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31630/stat : 31630 (java) S 31621 31621 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64238385 14311903232 10048 18446744073709551615 4194304 4196468 140721639912656 140357378479520 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31631] ppid=31621 vsize=13976468 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31631/stat : 31631 (java) S 31621 31621 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64238386 14311903232 10048 18446744073709551615 4194304 4196468 140721639912656 140357377426928 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31632] ppid=31621 vsize=13976468 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31632/stat : 31632 (java) S 31621 31621 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64238388 14311903232 10048 18446744073709551615 4194304 4196468 140721639912656 140357376375504 140357901051803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31633] ppid=31621 vsize=13978608 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31623/task/31633/stat : 31633 (java) S 31621 31621 17093 0 -1 1077944384 617 0 0 0 3 0 0 0 20 0 15 0 64238388 14314094592 10051 18446744073709551615 4194304 4196468 140721639912656 140357375322096 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31634] ppid=31621 vsize=13978608 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31623/task/31634/stat : 31634 (java) S 31621 31621 17093 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 15 0 64238388 14314094592 10051 18446744073709551615 4194304 4196468 140721639912656 140357374269552 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31635] ppid=31621 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31623/task/31635/stat : 31635 (java) S 31621 31621 17093 0 -1 1077944384 746 0 0 0 7 0 0 0 20 0 15 0 64238388 14314094592 10051 18446744073709551615 4194304 4196468 140721639912656 140357373217008 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31636] ppid=31621 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31636/stat : 31636 (java) S 31621 31621 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64238388 14314094592 10051 18446744073709551615 4194304 4196468 140721639912656 140357372164704 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31637] ppid=31621 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31637/stat : 31637 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64238392 14314094592 10051 18446744073709551615 4194304 4196468 140721639912656 140357371112240 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41344 KiB
[startup+0.70512 s]
/proc/loadavg: 1.28 1.54 1.74 5/214 31637
/proc/meminfo: memFree=31336060/32770624 swapFree=67108860/67108860
[pid=31621] ppid=31618 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64238374 9740288 345 18446744073709551615 4194304 5098028 140726230738176 140726230736280 139880899965564 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9478144 140726230741375 140726230741578 140726230741578 140726230745067 0
/proc/31621/statm: 2378 345 289 221 0 87 0
[pid=31623] ppid=31621 vsize=13980732 memory=65216 CPUtime=1.23 cores=0,2,4,6
/proc/31623/stat : 31623 (java) S 31621 31621 17093 0 -1 1077944320 13410 0 0 0 118 5 0 0 20 0 15 0 64238383 14316269568 16304 18446744073709551615 4194304 4196468 140721639912656 140721639895200 140357901033207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
/proc/31623/statm: 3495183 16304 3173 1 0 3483476 0
[pid=31623/tid=31624] ppid=31621 vsize=13980732 memory=-8774313645642428999 CPUtime=0.56 cores=0,2,4,6
/proc/31623/task/31624/stat : 31624 (java) R 31621 31621 17093 0 -1 4202560 8525 0 0 0 53 3 0 0 20 0 15 0 64238383 14316269568 16304 18446744073709551615 4194304 4196468 140721639912656 140357905270608 140357901045142 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31625] ppid=31621 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31625/stat : 31625 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64238384 14316269568 16304 18446744073709551615 4194304 4196468 140721639912656 140357857999120 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31626] ppid=31621 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31626/stat : 31626 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64238384 14316269568 16304 18446744073709551615 4194304 4196468 140721639912656 140357856946576 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31627] ppid=31621 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31627/stat : 31627 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64238384 14316269568 16304 18446744073709551615 4194304 4196468 140721639912656 140357855894032 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31628] ppid=31621 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31628/stat : 31628 (java) S 31621 31621 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64238384 14316269568 16304 18446744073709551615 4194304 4196468 140721639912656 140357854841488 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31629] ppid=31621 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31629/stat : 31629 (java) S 31621 31621 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64238385 14316269568 16304 18446744073709551615 4194304 4196468 140721639912656 140357379533296 140357901044354 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31630] ppid=31621 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31630/stat : 31630 (java) S 31621 31621 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64238385 14316269568 16304 18446744073709551615 4194304 4196468 140721639912656 140357378479520 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31631] ppid=31621 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31631/stat : 31631 (java) S 31621 31621 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64238386 14316269568 16304 18446744073709551615 4194304 4196468 140721639912656 140357377426928 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31632] ppid=31621 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31632/stat : 31632 (java) S 31621 31621 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64238388 14316269568 16304 18446744073709551615 4194304 4196468 140721639912656 140357376375504 140357901051803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31633] ppid=31621 vsize=13980732 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/31623/task/31633/stat : 31633 (java) R 31621 31621 17093 0 -1 4202560 1209 0 0 0 15 0 0 0 20 0 15 0 64238388 14316269568 16304 18446744073709551615 4194304 4196468 140721639912656 140357375322096 140357879269593 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31634] ppid=31621 vsize=13980732 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/31623/task/31634/stat : 31634 (java) R 31621 31621 17093 0 -1 4202560 782 0 0 0 16 0 0 0 20 0 15 0 64238388 14316269568 16304 18446744073709551615 4194304 4196468 140721639912656 140357374255648 140357880726996 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31635] ppid=31621 vsize=13980732 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/31623/task/31635/stat : 31635 (java) S 31621 31621 17093 0 -1 1077944384 1589 0 0 0 32 0 0 0 20 0 15 0 64238388 14316269568 16304 18446744073709551615 4194304 4196468 140721639912656 140357373217008 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31636] ppid=31621 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31636/stat : 31636 (java) S 31621 31621 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64238388 14316269568 16304 18446744073709551615 4194304 4196468 140721639912656 140357372164704 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31637] ppid=31621 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31637/stat : 31637 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64238392 14316269568 16304 18446744073709551615 4194304 4196468 140721639912656 140357371112240 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66596 KiB
[startup+1.50081 s]
/proc/loadavg: 1.28 1.54 1.74 5/214 31637
/proc/meminfo: memFree=31310656/32770624 swapFree=67108860/67108860
[pid=31621] ppid=31618 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64238374 9740288 345 18446744073709551615 4194304 5098028 140726230738176 140726230736280 139880899965564 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9478144 140726230741375 140726230741578 140726230741578 140726230745067 0
/proc/31621/statm: 2378 345 289 221 0 87 0
[pid=31623] ppid=31621 vsize=13980732 memory=90068 CPUtime=3.65 cores=0,2,4,6
/proc/31623/stat : 31623 (java) S 31621 31621 17093 0 -1 1077944320 22626 0 0 0 359 6 0 0 20 0 15 0 64238383 14316269568 22517 18446744073709551615 4194304 4196468 140721639912656 140721639895200 140357901033207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
/proc/31623/statm: 3495183 22517 3189 1 0 3483476 0
[pid=31623/tid=31624] ppid=31621 vsize=13980732 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/31623/task/31624/stat : 31624 (java) R 31621 31621 17093 0 -1 4202560 9017 0 0 0 132 4 0 0 20 0 15 0 64238383 14316269568 22517 18446744073709551615 4194304 4196468 140721639912656 140357905270248 140357539257437 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31625] ppid=31621 vsize=13980732 memory=309 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31625/stat : 31625 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64238384 14316269568 22517 18446744073709551615 4194304 4196468 140721639912656 140357857999120 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31626] ppid=31621 vsize=13980732 memory=117 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31626/stat : 31626 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64238384 14316269568 22517 18446744073709551615 4194304 4196468 140721639912656 140357856946576 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31627] ppid=31621 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31627/stat : 31627 (java) S 31621 31621 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64238384 14316269568 22517 18446744073709551615 4194304 4196468 140721639912656 140357855894032 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31628] ppid=31621 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31628/stat : 31628 (java) S 31621 31621 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64238384 14316269568 22517 18446744073709551615 4194304 4196468 140721639912656 140357854841488 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31629] ppid=31621 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31629/stat : 31629 (java) S 31621 31621 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64238385 14316269568 22517 18446744073709551615 4194304 4196468 140721639912656 140357379533296 140357901044354 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31630] ppid=31621 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31630/stat : 31630 (java) S 31621 31621 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64238385 14316269568 22517 18446744073709551615 4194304 4196468 140721639912656 140357378479520 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31631] ppid=31621 vsize=13980732 memory=-7019007802211091872 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/31623/task/31631/stat : 31631 (java) S 31621 31621 17093 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 64238386 14316269568 41291 18446744073709551615 4194304 4196468 140721639912656 140357377426928 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31632] ppid=31621 vsize=13980732 memory=36316 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31632/stat : 31632 (java) S 31621 31621 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64238388 14316269568 41291 18446744073709551615 4194304 4196468 140721639912656 140357376375504 140357901051803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31633] ppid=31621 vsize=13980732 memory=280679334730656 CPUtime=1.29 cores=0,2,4,6
/proc/31623/task/31633/stat : 31633 (java) S 31621 31621 17093 0 -1 1077944384 8348 0 0 0 128 1 0 0 20 0 15 0 64238388 14316269568 41291 18446744073709551615 4194304 4196468 140721639912656 140357375322096 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31634] ppid=31621 vsize=13980732 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/31623/task/31634/stat : 31634 (java) S 31621 31621 17093 0 -1 1077944384 9242 0 0 0 127 0 0 0 20 0 15 0 64238388 14316269568 41291 18446744073709551615 4194304 4196468 140721639912656 140357374269552 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31635] ppid=31621 vsize=13980732 memory=1228 CPUtime=0.48 cores=0,2,4,6
/proc/31623/task/31635/stat : 31635 (java) S 31621 31621 17093 0 -1 1077944384 5880 0 0 0 48 0 0 0 20 0 15 0 64238388 14316269568 41291 18446744073709551615 4194304 4196468 140721639912656 140357373217008 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31636] ppid=31621 vsize=13980732 memory=12200 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31636/stat : 31636 (java) S 31621 31621 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64238388 14316269568 41291 18446744073709551615 4194304 4196468 140721639912656 140357372164704 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31637] ppid=31621 vsize=13980732 memory=1992 CPUtime=0.02 cores=0,2,4,6
/proc/31623/task/31637/stat : 31637 (java) S 31621 31621 17093 0 -1 1077944384 613 0 0 0 1 1 0 0 20 0 15 0 64238392 14316269568 41291 18446744073709551615 4194304 4196468 140721639912656 140357371112240 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
Current children cumulated CPU time: 105.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 166544 KiB
[startup+162.301 s]
/proc/loadavg: 1.32 1.47 1.68 3/211 31642
/proc/meminfo: memFree=31244548/32770624 swapFree=67108860/67108860
[pid=31621] ppid=31618 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64238374 9740288 345 18446744073709551615 4194304 5098028 140726230738176 140726230736280 139880899965564 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9478144 140726230741375 140726230741578 140726230741578 140726230745067 0
/proc/31621/statm: 2378 345 289 221 0 87 0
[pid=31623] ppid=31621 vsize=13980732 memory=169648 CPUtime=165.59 cores=0,2,4,6
/proc/31623/stat : 31623 (java) S 31621 31621 17093 0 -1 1077944320 45680 0 0 0 16543 16 0 0 20 0 15 0 64238383 14316269568 42412 18446744073709551615 4194304 4196468 140721639912656 140721639895200 140357901033207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
/proc/31623/statm: 3495183 42412 3221 1 0 3483476 0
[pid=31623/tid=31624] ppid=31621 vsize=13980732 memory=169648 CPUtime=161.91 cores=0,2,4,6
/proc/31623/task/31624/stat : 31624 (java) S 31621 31621 17093 0 -1 1077944384 13404 0 0 0 16185 6 0 0 20 0 15 0 64238383 14316269568 42412 18446744073709551615 4194304 4196468 140721639912656 140357905272784 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31625] ppid=31621 vsize=13980732 memory=1380 CPUtime=0.08 cores=0,2,4,6
/proc/31623/task/31625/stat : 31625 (java) R 31621 31621 17093 0 -1 4202560 1141 0 0 0 7 1 0 0 20 0 15 0 64238384 14316269568 42412 18446744073709551615 4194304 4196468 140721639912656 140357857999120 140357901045142 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31626] ppid=31621 vsize=13980732 memory=6 CPUtime=0.09 cores=0,2,4,6
/proc/31623/task/31626/stat : 31626 (java) R 31621 31621 17093 0 -1 1077944384 1375 0 0 0 8 1 0 0 20 0 15 0 64238384 14316269568 42412 18446744073709551615 4194304 4196468 140721639912656 140357856946576 140357901043413 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31627] ppid=31621 vsize=13980732 memory=1380 CPUtime=0.09 cores=0,2,4,6
/proc/31623/task/31627/stat : 31627 (java) R 31621 31621 17093 0 -1 4202560 1107 0 0 0 8 1 0 0 20 0 15 0 64238384 14316269568 42412 18446744073709551615 4194304 4196468 140721639912656 140357855894032 140357885481499 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31628] ppid=31621 vsize=13980732 memory=640 CPUtime=0.08 cores=0,2,4,6
/proc/31623/task/31628/stat : 31628 (java) R 31621 31621 17093 0 -1 1077944384 340 0 0 0 7 1 0 0 20 0 15 0 64238384 14316269568 42412 18446744073709551615 4194304 4196468 140721639912656 140357854841488 140357901043413 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31629] ppid=31621 vsize=13980732 memory=960 CPUtime=0.09 cores=0,2,4,6
/proc/31623/task/31629/stat : 31629 (java) S 31621 31621 17093 0 -1 1077944384 1570 0 0 0 8 1 0 0 20 0 15 0 64238385 14316269568 42412 18446744073709551615 4194304 4196468 140721639912656 140357379531808 140357901043413 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31630] ppid=31621 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31630/stat : 31630 (java) S 31621 31621 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 64238385 14316269568 42412 18446744073709551615 4194304 4196468 140721639912656 140357378479520 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31631] ppid=31621 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31631/stat : 31631 (java) S 31621 31621 17093 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 64238386 14316269568 42412 18446744073709551615 4194304 4196468 140721639912656 140357377426928 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31632] ppid=31621 vsize=13980732 memory=167464 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31632/stat : 31632 (java) S 31621 31621 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64238388 14316269568 42412 18446744073709551615 4194304 4196468 140721639912656 140357376375504 140357901051803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31633] ppid=31621 vsize=13980732 memory=1380 CPUtime=1.3 cores=0,2,4,6
/proc/31623/task/31633/stat : 31633 (java) S 31621 31621 17093 0 -1 1077944384 8848 0 0 0 129 1 0 0 20 0 15 0 64238388 14316269568 42412 18446744073709551615 4194304 4196468 140721639912656 140357375322096 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31634] ppid=31621 vsize=13980732 memory=4612 CPUtime=1.33 cores=0,2,4,6
/proc/31623/task/31634/stat : 31634 (java) S 31621 31621 17093 0 -1 1077944384 9913 0 0 0 133 0 0 0 20 0 15 0 64238388 14316269568 42412 18446744073709551615 4194304 4196468 140721639912656 140357374269552 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31635] ppid=31621 vsize=13980732 memory=1708 CPUtime=0.48 cores=0,2,4,6
/proc/31623/task/31635/stat : 31635 (java) S 31621 31621 17093 0 -1 1077944384 5999 0 0 0 48 0 0 0 20 0 15 0 64238388 14316269568 42412 18446744073709551615 4194304 4196468 140721639912656 140357373217008 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31636] ppid=31621 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31636/stat : 31636 (java) S 31621 31621 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64238388 14316269568 42412 18446744073709551615 4194304 4196468 140721639912656 140357372164704 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31637] ppid=31621 vsize=13980732 memory=169648 CPUtime=0.05 cores=0,2,4,6
/proc/31623/task/31637/stat : 31637 (java) S 31621 31621 17093 0 -1 1077944384 625 0 0 0 3 2 0 0 20 0 15 0 64238392 14316269568 42412 18446744073709551615 4194304 4196468 140721639912656 140357371112240 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
Current children cumulated CPU time: 165.59 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 171028 KiB
[startup+222.301 s]
/proc/loadavg: 1.28 1.43 1.65 3/211 31644
/proc/meminfo: memFree=31228024/32770624 swapFree=67108860/67108860
[pid=31621] ppid=31618 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64238374 9740288 345 18446744073709551615 4194304 5098028 140726230738176 140726230736280 139880899965564 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9478144 140726230741375 140726230741578 140726230741578 140726230745067 0
/proc/31621/statm: 2378 345 289 221 0 87 0
[pid=31623] ppid=31621 vsize=13980732 memory=178696 CPUtime=225.91 cores=0,2,4,6
/proc/31623/stat : 31623 (java) S 31621 31621 17093 0 -1 1077944320 49447 0 0 0 22571 20 0 0 20 0 15 0 64238383 14316269568 44674 18446744073709551615 4194304 4196468 140721639912656 140721639895200 140357901033207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
/proc/31623/statm: 3495183 44674 3221 1 0 3483476 0
[pid=31623/tid=31624] ppid=31621 vsize=13980732 memory=178696 CPUtime=221.64 cores=0,2,4,6
/proc/31623/task/31624/stat : 31624 (java) R 31621 31621 17093 0 -1 4202560 14241 0 0 0 22158 6 0 0 20 0 15 0 64238383 14316269568 44674 18446744073709551615 4194304 4196468 140721639912656 140357905272768 140357539114168 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31625] ppid=31621 vsize=13980732 memory=178696 CPUtime=0.19 cores=0,2,4,6
/proc/31623/task/31625/stat : 31625 (java) S 31621 31621 17093 0 -1 1077944384 1226 0 0 0 17 2 0 0 20 0 15 0 64238384 14316269568 44674 18446744073709551615 4194304 4196468 140721639912656 140357857999120 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31626] ppid=31621 vsize=13980732 memory=1380 CPUtime=0.19 cores=0,2,4,6
/proc/31623/task/31626/stat : 31626 (java) S 31621 31621 17093 0 -1 1077944384 1472 0 0 0 17 2 0 0 20 0 15 0 64238384 14316269568 44674 18446744073709551615 4194304 4196468 140721639912656 140357856946576 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31627] ppid=31621 vsize=13980732 memory=176612 CPUtime=0.19 cores=0,2,4,6
/proc/31623/task/31627/stat : 31627 (java) S 31621 31621 17093 0 -1 1077944384 1187 0 0 0 18 1 0 0 20 0 15 0 64238384 14316269568 44674 18446744073709551615 4194304 4196468 140721639912656 140357855894032 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31628] ppid=31621 vsize=13980732 memory=48 CPUtime=0.19 cores=0,2,4,6
/proc/31623/task/31628/stat : 31628 (java) S 31621 31621 17093 0 -1 1077944384 790 0 0 0 17 2 0 0 20 0 15 0 64238384 14316269568 44674 18446744073709551615 4194304 4196468 140721639912656 140357854841488 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31629] ppid=31621 vsize=13980732 memory=1380 CPUtime=0.2 cores=0,2,4,6
/proc/31623/task/31629/stat : 31629 (java) S 31621 31621 17093 0 -1 1077944384 1802 0 0 0 18 2 0 0 20 0 15 0 64238385 14316269568 44674 18446744073709551615 4194304 4196468 140721639912656 140357379533296 140357901044354 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31630] ppid=31621 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31630/stat : 31630 (java) S 31621 31621 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 64238385 14316269568 44674 18446744073709551615 4194304 4196468 140721639912656 140357378479520 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31631] ppid=31621 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31631/stat : 31631 (java) S 31621 31621 17093 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 64238386 14316269568 44674 18446744073709551615 4194304 4196468 140721639912656 140357377426928 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31632] ppid=31621 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31632/stat : 31632 (java) S 31621 31621 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64238388 14316269568 44674 18446744073709551615 4194304 4196468 140721639912656 140357376375504 140357901051803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31633] ppid=31621 vsize=13980732 memory=4028 CPUtime=1.3 cores=0,2,4,6
/proc/31623/task/31633/stat : 31633 (java) S 31621 31621 17093 0 -1 1077944384 9007 0 0 0 129 1 0 0 20 0 15 0 64238388 14316269568 44674 18446744073709551615 4194304 4196468 140721639912656 140357375322096 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31634] ppid=31621 vsize=13980732 memory=36316 CPUtime=1.37 cores=0,2,4,6
/proc/31623/task/31634/stat : 31634 (java) S 31621 31621 17093 0 -1 1077944384 11246 0 0 0 136 1 0 0 20 0 15 0 64238388 14316269568 44674 18446744073709551615 4194304 4196468 140721639912656 140357374269552 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31635] ppid=31621 vsize=13980732 memory=1380 CPUtime=0.48 cores=0,2,4,6
/proc/31623/task/31635/stat : 31635 (java) S 31621 31621 17093 0 -1 1077944384 6464 0 0 0 48 0 0 0 20 0 15 0 64238388 14316269568 44674 18446744073709551615 4194304 4196468 140721639912656 140357373217008 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31636] ppid=31621 vsize=13980732 memory=178696 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31636/stat : 31636 (java) S 31621 31621 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64238388 14316269568 44674 18446744073709551615 4194304 4196468 140721639912656 140357372164704 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31637] ppid=31621 vsize=13980732 memory=1380 CPUtime=0.07 cores=0,2,4,6
/proc/31623/task/31637/stat : 31637 (java) S 31621 31621 17093 0 -1 1077944384 653 0 0 0 4 3 0 0 20 0 15 0 64238392 14316269568 44674 18446744073709551615 4194304 4196468 140721639912656 140357371112240 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
Current children cumulated CPU time: 225.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 180076 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.49 1.46 1.66 3/211 31725
/proc/meminfo: memFree=31061592/32770624 swapFree=67108860/67108860
[pid=31621] ppid=31618 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31621/stat : 31621 (xcsp3-exec) S 31618 31621 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64238374 9740288 345 18446744073709551615 4194304 5098028 140726230738176 140726230736280 139880899965564 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 9478144 140726230741375 140726230741578 140726230741578 140726230745067 0
/proc/31621/statm: 2378 345 289 221 0 87 0
[pid=31623] ppid=31621 vsize=13980732 memory=180940 CPUtime=243.74 cores=0,2,4,6
/proc/31623/stat : 31623 (java) S 31621 31621 17093 0 -1 1077944320 49603 0 0 0 24352 22 0 0 20 0 15 0 64238383 14316269568 45235 18446744073709551615 4194304 4196468 140721639912656 140721639895200 140357901033207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
/proc/31623/statm: 3495183 45235 3221 1 0 3483476 0
[pid=31623/tid=31624] ppid=31621 vsize=13980732 memory=-8774313645642428999 CPUtime=239.25 cores=0,2,4,6
/proc/31623/task/31624/stat : 31624 (java) R 31621 31621 17093 0 -1 4202560 14312 0 0 0 23919 6 0 0 20 0 15 0 64238383 14316269568 45235 18446744073709551615 4194304 4196468 140721639912656 140357905272672 140357540759345 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31625] ppid=31621 vsize=13980732 memory=1788 CPUtime=0.23 cores=0,2,4,6
/proc/31623/task/31625/stat : 31625 (java) S 31621 31621 17093 0 -1 1077944384 1246 0 0 0 21 2 0 0 20 0 15 0 64238384 14316269568 45235 18446744073709551615 4194304 4196468 140721639912656 140357857999120 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31626] ppid=31621 vsize=13980732 memory=640 CPUtime=0.24 cores=0,2,4,6
/proc/31623/task/31626/stat : 31626 (java) S 31621 31621 17093 0 -1 1077944384 1496 0 0 0 22 2 0 0 20 0 15 0 64238384 14316269568 45235 18446744073709551615 4194304 4196468 140721639912656 140357856946576 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31627] ppid=31621 vsize=13980732 memory=960 CPUtime=0.23 cores=0,2,4,6
/proc/31623/task/31627/stat : 31627 (java) S 31621 31621 17093 0 -1 1077944384 1210 0 0 0 21 2 0 0 20 0 15 0 64238384 14316269568 45235 18446744073709551615 4194304 4196468 140721639912656 140357855894032 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31628] ppid=31621 vsize=13980732 memory=1380 CPUtime=0.23 cores=0,2,4,6
/proc/31623/task/31628/stat : 31628 (java) S 31621 31621 17093 0 -1 1077944384 808 0 0 0 21 2 0 0 20 0 15 0 64238384 14316269568 45235 18446744073709551615 4194304 4196468 140721639912656 140357854841488 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31629] ppid=31621 vsize=13980732 memory=180940 CPUtime=0.23 cores=0,2,4,6
/proc/31623/task/31629/stat : 31629 (java) S 31621 31621 17093 0 -1 1077944384 1802 0 0 0 21 2 0 0 20 0 15 0 64238385 14316269568 45235 18446744073709551615 4194304 4196468 140721639912656 140357379533296 140357901044354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31630] ppid=31621 vsize=13980732 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31630/stat : 31630 (java) S 31621 31621 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 64238385 14316269568 45235 18446744073709551615 4194304 4196468 140721639912656 140357378479520 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31631] ppid=31621 vsize=13980732 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31631/stat : 31631 (java) S 31621 31621 17093 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 64238386 14316269568 45235 18446744073709551615 4194304 4196468 140721639912656 140357377426928 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31632] ppid=31621 vsize=13980732 memory=20480 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31632/stat : 31632 (java) S 31621 31621 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64238388 14316269568 45235 18446744073709551615 4194304 4196468 140721639912656 140357376375504 140357901051803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31633] ppid=31621 vsize=13980732 memory=1788 CPUtime=1.3 cores=0,2,4,6
/proc/31623/task/31633/stat : 31633 (java) S 31621 31621 17093 0 -1 1077944384 9007 0 0 0 129 1 0 0 20 0 15 0 64238388 14316269568 45235 18446744073709551615 4194304 4196468 140721639912656 140357375322096 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31634] ppid=31621 vsize=13980732 memory=640 CPUtime=1.37 cores=0,2,4,6
/proc/31623/task/31634/stat : 31634 (java) S 31621 31621 17093 0 -1 1077944384 11246 0 0 0 136 1 0 0 20 0 15 0 64238388 14316269568 45235 18446744073709551615 4194304 4196468 140721639912656 140357374269552 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31635] ppid=31621 vsize=13980732 memory=960 CPUtime=0.48 cores=0,2,4,6
/proc/31623/task/31635/stat : 31635 (java) S 31621 31621 17093 0 -1 1077944384 6464 0 0 0 48 0 0 0 20 0 15 0 64238388 14316269568 45235 18446744073709551615 4194304 4196468 140721639912656 140357373217008 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31636] ppid=31621 vsize=13980732 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/31623/task/31636/stat : 31636 (java) S 31621 31621 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64238388 14316269568 45235 18446744073709551615 4194304 4196468 140721639912656 140357372164704 140357901043413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
[pid=31623/tid=31637] ppid=31621 vsize=13980732 memory=2248 CPUtime=0.07 cores=0,2,4,6
/proc/31623/task/31637/stat : 31637 (java) S 31621 31621 17093 0 -1 1077944384 653 0 0 0 4 3 0 0 20 0 15 0 64238392 14316269568 45235 18446744073709551615 4194304 4196468 140721639912656 140357371112240 140357901044354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22929408 140721639920055 140721639920230 140721639920230 140721639923663 0
Current children cumulated CPU time: 243.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 182320 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 31621 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000898 s, system=0.000898 s
[startup+240.022 s]
# the end of solver process 31623 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.537 s, system=0.232219 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.022
CPU time (s): 243.769
CPU user time (s): 243.537
CPU system time (s): 0.232219
CPU usage (%): 101.561
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 200784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.537
system time used= 0.232219
maximum resident set size= 201452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50535
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13654
involuntary context switches= 427
# summary of solver processes directly reported to runsolver:
# pid: 31621,31623
# total CPU time (s): 243.769
# total CPU user time (s): 243.537
# total CPU system time (s): 0.232219
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.52971 second user time and 2.225 second system time
The end