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 (15088 MiB free)
memory of node 1: 16384 MiB (15743 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283494-1503175361/watcher-4283494-1503175361 -o /tmp/evaluation-result-4283494-1503175361/solver-4283494-1503175361 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503172050-30420 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 613293469 HOME/instance-4283494-1503175361.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30789, runsolver pid=30786
[startup+0.100158 s]*
/proc/loadavg: 2.00 1.74 1.70 3/202 30796
/proc/meminfo: memFree=31563824/32770624 swapFree=67108860/67108860
[pid=30789] ppid=30786 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30789/stat : 30789 (xcsp3-exec) S 30786 30789 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 15944080 9740288 345 18446744073709551615 4194304 5098028 140724729698256 140724729696360 139964692968060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 14848000 140724729700730 140724729700934 140724729700934 140724729704427 0
/proc/30789/statm: 2378 345 289 221 0 87 0
[pid=30791] ppid=30789 vsize=13574484 memory=17464 CPUtime=0.02 cores=1,3,5,7
/proc/30791/stat : 30791 (java) S 30789 30789 15523 0 -1 1077944320 3676 0 0 0 1 1 0 0 20 0 9 0 15944087 13900271616 4366 18446744073709551615 4194304 4196468 140736046301584 140736046284128 139688064823031 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
/proc/30791/statm: 3393621 4366 2064 1 0 3383118 0
[pid=30791/tid=30792] ppid=30789 vsize=13574484 memory=-8713483618642983523 CPUtime=0.01 cores=1,3,5,7
/proc/30791/task/30792/stat : 30792 (java) R 30789 30789 15523 0 -1 4202560 2381 0 0 0 1 0 0 0 20 0 9 0 15944088 13900271616 4366 18446744073709551615 4194304 4196468 140736046301584 139688069059080 139688046471979 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30793] ppid=30789 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30793/stat : 30793 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 15944088 13900271616 4366 18446744073709551615 4194304 4196468 140736046301584 139687984236816 139688064833237 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30794] ppid=30789 vsize=13574484 memory=140447131543168 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30794/stat : 30794 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 15944088 13900271616 4366 18446744073709551615 4194304 4196468 140736046301584 139687983184272 139688064833237 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30795] ppid=30789 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30795/stat : 30795 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 15944088 13900271616 4366 18446744073709551615 4194304 4196468 140736046301584 139687982131728 139688064833237 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30796] ppid=30789 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30796/stat : 30796 (java) S 30789 30789 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 15944088 13900271616 4366 18446744073709551615 4194304 4196468 140736046301584 139687981079184 139688064833237 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30797] ppid=30789 vsize=13574484 memory=140447131543168 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30797/stat : 30797 (java) S 30789 30789 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 15944090 13900271616 4366 18446744073709551615 4194304 4196468 140736046301584 139687047715312 139688064834178 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30798] ppid=30789 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30798/stat : 30798 (java) S 30789 30789 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 15944090 13900271616 4366 18446744073709551615 4194304 4196468 140736046301584 139687046661536 139688064833237 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30799] ppid=30789 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30799/stat : 30799 (java) S 30789 30789 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 15944090 13900271616 4366 18446744073709551615 4194304 4196468 140736046301584 139687045609008 139688064833237 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18844 KiB
[startup+0.209962 s]*
/proc/loadavg: 2.00 1.74 1.70 3/211 30805
/proc/meminfo: memFree=31553912/32770624 swapFree=67108860/67108860
[pid=30789] ppid=30786 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30789/stat : 30789 (xcsp3-exec) S 30786 30789 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 15944080 9740288 345 18446744073709551615 4194304 5098028 140724729698256 140724729696360 139964692968060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 14848000 140724729700730 140724729700934 140724729700934 140724729704427 0
/proc/30789/statm: 2378 345 289 221 0 87 0
[pid=30791] ppid=30789 vsize=13974352 memory=28408 CPUtime=0.11 cores=1,3,5,7
/proc/30791/stat : 30791 (java) S 30789 30789 15523 0 -1 1077944320 5088 0 0 0 9 2 0 0 20 0 15 0 15944087 14309736448 7102 18446744073709551615 4194304 4196468 140736046301584 140736046284128 139688064823031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
/proc/30791/statm: 3493588 7102 2810 1 0 3482964 0
[pid=30791/tid=30792] ppid=30789 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/30791/task/30792/stat : 30792 (java) R 30789 30789 15523 0 -1 4202560 3110 0 0 0 7 1 0 0 20 0 15 0 15944088 14309736448 7102 18446744073709551615 4194304 4196468 140736046301584 139688069042008 139688064834966 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30793] ppid=30789 vsize=13974352 memory=8942 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30793/stat : 30793 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15944088 14309736448 7102 18446744073709551615 4194304 4196468 140736046301584 139687984236816 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30794] ppid=30789 vsize=13974352 memory=140447131707773 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30794/stat : 30794 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15944088 14309736448 7102 18446744073709551615 4194304 4196468 140736046301584 139687983184272 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30795] ppid=30789 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30795/stat : 30795 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15944088 14309736448 7102 18446744073709551615 4194304 4196468 140736046301584 139687982131728 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30796] ppid=30789 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30796/stat : 30796 (java) S 30789 30789 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 15944088 14309736448 7102 18446744073709551615 4194304 4196468 140736046301584 139687981079184 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30797] ppid=30789 vsize=13974352 memory=140447131543168 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30797/stat : 30797 (java) S 30789 30789 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 15944090 14309736448 7102 18446744073709551615 4194304 4196468 140736046301584 139687047715312 139688064834178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30798] ppid=30789 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30798/stat : 30798 (java) S 30789 30789 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 15944090 14309736448 7102 18446744073709551615 4194304 4196468 140736046301584 139687046661536 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30799] ppid=30789 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30799/stat : 30799 (java) S 30789 30789 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 15944090 14309736448 7102 18446744073709551615 4194304 4196468 140736046301584 139687045608944 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30800] ppid=30789 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30800/stat : 30800 (java) S 30789 30789 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15944093 14309736448 7102 18446744073709551615 4194304 4196468 140736046301584 139687044557520 139688064841627 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30801] ppid=30789 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30801/stat : 30801 (java) S 30789 30789 15523 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 15944093 14309736448 7102 18446744073709551615 4194304 4196468 140736046301584 139687043504112 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30802] ppid=30789 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30802/stat : 30802 (java) S 30789 30789 15523 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 15944093 14309736448 7102 18446744073709551615 4194304 4196468 140736046301584 139687042451568 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30803] ppid=30789 vsize=13974352 memory=140447131543168 CPUtime=0.01 cores=1,3,5,7
/proc/30791/task/30803/stat : 30803 (java) S 30789 30789 15523 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 15 0 15944093 14309736448 7102 18446744073709551615 4194304 4196468 140736046301584 139687041399024 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30804] ppid=30789 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30804/stat : 30804 (java) S 30789 30789 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15944093 14309736448 7102 18446744073709551615 4194304 4196468 140736046301584 139687040346720 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30805] ppid=30789 vsize=13974352 memory=140447131543168 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30805/stat : 30805 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15944097 14309736448 7102 18446744073709551615 4194304 4196468 140736046301584 139687039294256 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29788 KiB
[startup+0.314501 s]*
/proc/loadavg: 2.00 1.74 1.70 4/211 30805
/proc/meminfo: memFree=31542400/32770624 swapFree=67108860/67108860
[pid=30789] ppid=30786 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30789/stat : 30789 (xcsp3-exec) S 30786 30789 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 15944080 9740288 345 18446744073709551615 4194304 5098028 140724729698256 140724729696360 139964692968060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 14848000 140724729700730 140724729700934 140724729700934 140724729704427 0
/proc/30789/statm: 2378 345 289 221 0 87 0
[pid=30791] ppid=30789 vsize=13974352 memory=39636 CPUtime=0.32 cores=1,3,5,7
/proc/30791/stat : 30791 (java) S 30789 30789 15523 0 -1 1077944320 8633 0 0 0 28 4 0 0 20 0 15 0 15944087 14309736448 9909 18446744073709551615 4194304 4196468 140736046301584 140736046284128 139688064823031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
/proc/30791/statm: 3493588 9909 2979 1 0 3482964 0
[pid=30791/tid=30792] ppid=30789 vsize=13976468 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/30791/task/30792/stat : 30792 (java) R 30789 30789 15523 0 -1 1077944384 5878 0 0 0 16 2 0 0 20 0 15 0 15944088 14311903232 9909 18446744073709551615 4194304 4196468 140736046301584 139688069044024 139688067098311 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30793] ppid=30789 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30793/stat : 30793 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15944088 14311903232 9909 18446744073709551615 4194304 4196468 140736046301584 139687984236816 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30794] ppid=30789 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30794/stat : 30794 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15944088 14311903232 9909 18446744073709551615 4194304 4196468 140736046301584 139687983184272 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30795] ppid=30789 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30795/stat : 30795 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15944088 14311903232 9909 18446744073709551615 4194304 4196468 140736046301584 139687982131728 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30796] ppid=30789 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30796/stat : 30796 (java) S 30789 30789 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 15944088 14311903232 9909 18446744073709551615 4194304 4196468 140736046301584 139687981079184 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30797] ppid=30789 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30797/stat : 30797 (java) S 30789 30789 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 15944090 14311903232 9909 18446744073709551615 4194304 4196468 140736046301584 139687047715312 139688064834178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30798] ppid=30789 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30798/stat : 30798 (java) S 30789 30789 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 15944090 14311903232 9909 18446744073709551615 4194304 4196468 140736046301584 139687046661536 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30799] ppid=30789 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30799/stat : 30799 (java) S 30789 30789 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 15944090 14311903232 9909 18446744073709551615 4194304 4196468 140736046301584 139687045608944 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30800] ppid=30789 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30800/stat : 30800 (java) S 30789 30789 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15944093 14311903232 9909 18446744073709551615 4194304 4196468 140736046301584 139687044557520 139688064841627 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30801] ppid=30789 vsize=13976468 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30791/task/30801/stat : 30801 (java) S 30789 30789 15523 0 -1 1077944384 528 0 0 0 2 0 0 0 20 0 15 0 15944093 14311903232 9909 18446744073709551615 4194304 4196468 140736046301584 139687043504112 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30802] ppid=30789 vsize=13976468 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30791/task/30802/stat : 30802 (java) S 30789 30789 15523 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 15 0 15944093 14311903232 9909 18446744073709551615 4194304 4196468 140736046301584 139687042451568 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30803] ppid=30789 vsize=13976468 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30791/task/30803/stat : 30803 (java) S 30789 30789 15523 0 -1 1077944384 699 0 0 0 7 0 0 0 20 0 15 0 15944093 14311903232 9909 18446744073709551615 4194304 4196468 140736046301584 139687041399024 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30804] ppid=30789 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30804/stat : 30804 (java) S 30789 30789 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15944093 14311903232 9909 18446744073709551615 4194304 4196468 140736046301584 139687040346720 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30805] ppid=30789 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30805/stat : 30805 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15944097 14311903232 9909 18446744073709551615 4194304 4196468 140736046301584 139687039294256 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41016 KiB
[startup+0.700745 s]
/proc/loadavg: 2.00 1.74 1.70 4/211 30805
/proc/meminfo: memFree=31531892/32770624 swapFree=67108860/67108860
[pid=30789] ppid=30786 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30789/stat : 30789 (xcsp3-exec) S 30786 30789 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 15944080 9740288 345 18446744073709551615 4194304 5098028 140724729698256 140724729696360 139964692968060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 14848000 140724729700730 140724729700934 140724729700934 140724729704427 0
/proc/30789/statm: 2378 345 289 221 0 87 0
[pid=30791] ppid=30789 vsize=13980732 memory=68244 CPUtime=1.19 cores=1,3,5,7
/proc/30791/stat : 30791 (java) S 30789 30789 15523 0 -1 1077944320 12760 0 0 0 113 6 0 0 20 0 15 0 15944087 14316269568 17061 18446744073709551615 4194304 4196468 140736046301584 140736046284128 139688064823031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
/proc/30791/statm: 3495183 17061 3174 1 0 3483476 0
[pid=30791/tid=30792] ppid=30789 vsize=13980732 memory=4282241104337350043 CPUtime=0.56 cores=1,3,5,7
/proc/30791/task/30792/stat : 30792 (java) R 30789 30789 15523 0 -1 4202560 8272 0 0 0 52 4 0 0 20 0 15 0 15944088 14316269568 17061 18446744073709551615 4194304 4196468 140736046301584 139688069053728 139688064844957 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30793] ppid=30789 vsize=13980732 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30793/stat : 30793 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15944088 14316269568 17061 18446744073709551615 4194304 4196468 140736046301584 139687984236816 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30794] ppid=30789 vsize=13980732 memory=11952 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30794/stat : 30794 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15944088 14316269568 17061 18446744073709551615 4194304 4196468 140736046301584 139687983184272 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30795] ppid=30789 vsize=13980732 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30795/stat : 30795 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15944088 14316269568 17061 18446744073709551615 4194304 4196468 140736046301584 139687982131728 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30796] ppid=30789 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30796/stat : 30796 (java) S 30789 30789 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 15944088 14316269568 17061 18446744073709551615 4194304 4196468 140736046301584 139687981079184 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30797] ppid=30789 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30797/stat : 30797 (java) S 30789 30789 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 15944090 14316269568 17061 18446744073709551615 4194304 4196468 140736046301584 139687047715312 139688064834178 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30798] ppid=30789 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30798/stat : 30798 (java) S 30789 30789 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 15944090 14316269568 17061 18446744073709551615 4194304 4196468 140736046301584 139687046661536 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30799] ppid=30789 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30799/stat : 30799 (java) S 30789 30789 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 15944090 14316269568 17061 18446744073709551615 4194304 4196468 140736046301584 139687045608944 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30800] ppid=30789 vsize=13980732 memory=2 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30800/stat : 30800 (java) S 30789 30789 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15944093 14316269568 17061 18446744073709551615 4194304 4196468 140736046301584 139687044557520 139688064841627 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30801] ppid=30789 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/30791/task/30801/stat : 30801 (java) S 30789 30789 15523 0 -1 1077944384 908 0 0 0 15 0 0 0 20 0 15 0 15944093 14316269568 17061 18446744073709551615 4194304 4196468 140736046301584 139687043504112 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30802] ppid=30789 vsize=13980732 memory=4 CPUtime=0.14 cores=1,3,5,7
/proc/30791/task/30802/stat : 30802 (java) S 30789 30789 15523 0 -1 1077944384 779 0 0 0 14 0 0 0 20 0 15 0 15944093 14316269568 17061 18446744073709551615 4194304 4196468 140736046301584 139687042451568 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30803] ppid=30789 vsize=13980732 memory=4 CPUtime=0.31 cores=1,3,5,7
/proc/30791/task/30803/stat : 30803 (java) R 30789 30789 15523 0 -1 4202560 1493 0 0 0 31 0 0 0 20 0 15 0 15944093 14316269568 17061 18446744073709551615 4194304 4196468 140736046301584 139687041398208 139688057060158 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30804] ppid=30789 vsize=13980732 memory=12 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30804/stat : 30804 (java) S 30789 30789 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15944093 14316269568 17061 18446744073709551615 4194304 4196468 140736046301584 139687040346720 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30805] ppid=30789 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30805/stat : 30805 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15944097 14316269568 17061 18446744073709551615 4194304 4196468 140736046301584 139687039294256 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69624 KiB
[startup+1.50087 s]
/proc/loadavg: 2.00 1.74 1.70 5/211 30805
/proc/meminfo: memFree=31485464/32770624 swapFree=67108860/67108860
[pid=30789] ppid=30786 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30789/stat : 30789 (xcsp3-exec) S 30786 30789 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 15944080 9740288 345 18446744073709551615 4194304 5098028 140724729698256 140724729696360 139964692968060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 14848000 140724729700730 140724729700934 140724729700934 140724729704427 0
/proc/30789/statm: 2378 345 289 221 0 87 0
[pid=30791] ppid=30789 vsize=13980732 memory=133476 CPUtime=3.61 cores=1,3,5,7
/proc/30791/stat : 30791 (java) S 30789 30789 15523 0 -1 1077944320 38507 0 0 0 352 9 0 0 20 0 15 0 15944087 14316269568 33369 18446744073709551615 4194304 4196468 140736046301584 140736046284128 139688064823031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
/proc/30791/statm: 3495183 33369 3185 1 0 3483476 0
[pid=30791/tid=30792] ppid=30789 vsize=13980732 memory=4282241104337350043 CPUtime=1.35 cores=1,3,5,7
/proc/30791/task/30792/stat : 30792 (java) R 30789 30789 15523 0 -1 4202560 8832 0 0 0 131 4 0 0 20 0 15 0 15944088 14316269568 33369 18446744073709551615 4194304 4196468 140736046301584 139688069058912 139687658295662 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30793] ppid=30789 vsize=13980732 memory=280893948404544 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30793/stat : 30793 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15944088 14316269568 33369 18446744073709551615 4194304 4196468 140736046301584 139687984236816 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30794] ppid=30789 vsize=13980732 memory=-4866526891258710369 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30794/stat : 30794 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15944088 14316269568 33369 18446744073709551615 4194304 4196468 140736046301584 139687983184272 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30795] ppid=30789 vsize=13980732 memory=7811614926906546280 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30795/stat : 30795 (java) S 30789 30789 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 15944088 14316269568 33369 18446744073709551615 4194304 4196468 140736046301584 139687982131728 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30796] ppid=30789 vsize=13980732 memory=7811614926906546280 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/30791/task/30799/stat : 30799 (java) S 30789 30789 15523 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 15944090 14316269568 89121 18446744073709551615 4194304 4196468 140736046301584 139687045608960 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30800] ppid=30789 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30800/stat : 30800 (java) S 30789 30789 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15944093 14316269568 89121 18446744073709551615 4194304 4196468 140736046301584 139687044557520 139688064841627 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30801] ppid=30789 vsize=13980732 memory=1380 CPUtime=8.42 cores=1,3,5,7
/proc/30791/task/30801/stat : 30801 (java) S 30789 30789 15523 0 -1 1077944384 46652 0 0 0 838 4 0 0 20 0 15 0 15944093 14316269568 89121 18446744073709551615 4194304 4196468 140736046301584 139687043504112 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30802] ppid=30789 vsize=13980732 memory=354436 CPUtime=9.37 cores=1,3,5,7
/proc/30791/task/30802/stat : 30802 (java) S 30789 30789 15523 0 -1 1077944384 47257 0 0 0 933 4 0 0 20 0 15 0 15944093 14316269568 89121 18446744073709551615 4194304 4196468 140736046301584 139687042451568 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30803] ppid=30789 vsize=13980732 memory=1440 CPUtime=1 cores=1,3,5,7
/proc/30791/task/30803/stat : 30803 (java) S 30789 30789 15523 0 -1 1077944384 13385 0 0 0 97 3 0 0 20 0 15 0 15944093 14316269568 89121 18446744073709551615 4194304 4196468 140736046301584 139687041399024 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30804] ppid=30789 vsize=13980732 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30804/stat : 30804 (java) S 30789 30789 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15944093 14316269568 89121 18446744073709551615 4194304 4196468 140736046301584 139687040346720 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30805] ppid=30789 vsize=13980732 memory=928 CPUtime=0.54 cores=1,3,5,7
/proc/30791/task/30805/stat : 30805 (java) S 30789 30789 15523 0 -1 1077944384 967 0 0 0 23 31 0 0 20 0 15 0 15944097 14316269568 89121 18446744073709551615 4194304 4196468 140736046301584 139687039294256 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
Current children cumulated CPU time: 2356.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 357864 KiB
[startup+2382.3 s]
/proc/loadavg: 1.32 1.37 1.40 3/211 30969
/proc/meminfo: memFree=31140660/32770624 swapFree=67108860/67108860
[pid=30789] ppid=30786 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30789/stat : 30789 (xcsp3-exec) S 30786 30789 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 15944080 9740288 345 18446744073709551615 4194304 5098028 140724729698256 140724729696360 139964692968060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 14848000 140724729700730 140724729700934 140724729700934 140724729704427 0
/proc/30789/statm: 2378 345 289 221 0 87 0
[pid=30791] ppid=30789 vsize=13980732 memory=354748 CPUtime=2417.1 cores=1,3,5,7
/proc/30791/stat : 30791 (java) S 30789 30789 15523 0 -1 1077944320 179959 0 0 0 241601 109 0 0 20 0 15 0 15944087 14316269568 88687 18446744073709551615 4194304 4196468 140736046301584 140736046284128 139688064823031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
/proc/30791/statm: 3495183 88687 3262 1 0 3483476 0
[pid=30791/tid=30792] ppid=30789 vsize=13980732 memory=354748 CPUtime=2375.13 cores=1,3,5,7
/proc/30791/task/30792/stat : 30792 (java) R 30789 30789 15523 0 -1 4202560 33715 0 0 0 237503 10 0 0 20 0 15 0 15944088 14316269568 88687 18446744073709551615 4194304 4196468 140736046301584 139688069062448 139687660679505 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30793] ppid=30789 vsize=13980732 memory=1380 CPUtime=5.41 cores=1,3,5,7
/proc/30791/task/30793/stat : 30793 (java) S 30789 30789 15523 0 -1 1077944384 6293 0 0 0 527 14 0 0 20 0 15 0 15944088 14316269568 88687 18446744073709551615 4194304 4196468 140736046301584 139687984236816 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30794] ppid=30789 vsize=13980732 memory=354568 CPUtime=5.4 cores=1,3,5,7
/proc/30791/task/30794/stat : 30794 (java) S 30789 30789 15523 0 -1 1077944384 5743 0 0 0 525 15 0 0 20 0 15 0 15944088 14316269568 88687 18446744073709551615 4194304 4196468 140736046301584 139687983184272 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30795] ppid=30789 vsize=13980732 memory=354568 CPUtime=5.41 cores=1,3,5,7
/proc/30791/task/30795/stat : 30795 (java) S 30789 30789 15523 0 -1 1077944384 6119 0 0 0 527 14 0 0 20 0 15 0 15944088 14316269568 88687 18446744073709551615 4194304 4196468 140736046301584 139687982131728 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30796] ppid=30789 vsize=13980732 memory=354568 CPUtime=5.41 cores=1,3,5,7
/proc/30791/task/30796/stat : 30796 (java) S 30789 30789 15523 0 -1 1077944384 8317 0 0 0 528 13 0 0 20 0 15 0 15944088 14316269568 88687 18446744073709551615 4194304 4196468 140736046301584 139687981079184 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30797] ppid=30789 vsize=13980732 memory=1380 CPUtime=0.92 cores=1,3,5,7
/proc/30791/task/30797/stat : 30797 (java) S 30789 30789 15523 0 -1 1077944384 9949 0 0 0 83 9 0 0 20 0 15 0 15944090 14316269568 88687 18446744073709551615 4194304 4196468 140736046301584 139687047715312 139688064834178 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30798] ppid=30789 vsize=13980732 memory=354748 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30798/stat : 30798 (java) S 30789 30789 15523 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 15944090 14316269568 88687 18446744073709551615 4194304 4196468 140736046301584 139687046661600 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30799] ppid=30789 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30799/stat : 30799 (java) S 30789 30789 15523 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 15944090 14316269568 88687 18446744073709551615 4194304 4196468 140736046301584 139687045608960 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30800] ppid=30789 vsize=13980732 memory=272753441667276 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30800/stat : 30800 (java) S 30789 30789 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15944093 14316269568 88687 18446744073709551615 4194304 4196468 140736046301584 139687044557520 139688064841627 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30801] ppid=30789 vsize=13980732 memory=354748 CPUtime=8.42 cores=1,3,5,7
/proc/30791/task/30801/stat : 30801 (java) S 30789 30789 15523 0 -1 1077944384 46652 0 0 0 838 4 0 0 20 0 15 0 15944093 14316269568 88687 18446744073709551615 4194304 4196468 140736046301584 139687043504112 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30802] ppid=30789 vsize=13980732 memory=4124 CPUtime=9.37 cores=1,3,5,7
/proc/30791/task/30802/stat : 30802 (java) S 30789 30789 15523 0 -1 1077944384 47257 0 0 0 933 4 0 0 20 0 15 0 15944093 14316269568 88687 18446744073709551615 4194304 4196468 140736046301584 139687042451568 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30803] ppid=30789 vsize=13980732 memory=1380 CPUtime=1 cores=1,3,5,7
/proc/30791/task/30803/stat : 30803 (java) S 30789 30789 15523 0 -1 1077944384 13560 0 0 0 97 3 0 0 20 0 15 0 15944093 14316269568 88687 18446744073709551615 4194304 4196468 140736046301584 139687041399024 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30804] ppid=30789 vsize=13980732 memory=355596 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30804/stat : 30804 (java) S 30789 30789 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15944093 14316269568 88687 18446744073709551615 4194304 4196468 140736046301584 139687040346720 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30805] ppid=30789 vsize=13980732 memory=1398720917958146503 CPUtime=0.55 cores=1,3,5,7
/proc/30791/task/30805/stat : 30805 (java) S 30789 30789 15523 0 -1 1077944384 984 0 0 0 23 32 0 0 20 0 15 0 15944097 14316269568 88687 18446744073709551615 4194304 4196468 140736046301584 139687039294256 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
Current children cumulated CPU time: 2417.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 356128 KiB
[startup+2442.3 s]
/proc/loadavg: 1.39 1.38 1.41 3/211 30971
/proc/meminfo: memFree=31123180/32770624 swapFree=67108860/67108860
[pid=30789] ppid=30786 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30789/stat : 30789 (xcsp3-exec) S 30786 30789 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 15944080 9740288 345 18446744073709551615 4194304 5098028 140724729698256 140724729696360 139964692968060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 14848000 140724729700730 140724729700934 140724729700934 140724729704427 0
/proc/30789/statm: 2378 345 289 221 0 87 0
[pid=30791] ppid=30789 vsize=13980732 memory=353852 CPUtime=2477.66 cores=1,3,5,7
/proc/30791/stat : 30791 (java) S 30789 30789 15523 0 -1 1077944320 180749 0 0 0 247656 110 0 0 20 0 15 0 15944087 14316269568 88463 18446744073709551615 4194304 4196468 140736046301584 140736046284128 139688064823031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
/proc/30791/statm: 3495183 88463 3262 1 0 3483476 0
[pid=30791/tid=30792] ppid=30789 vsize=13980732 memory=1380 CPUtime=2434.89 cores=1,3,5,7
/proc/30791/task/30792/stat : 30792 (java) R 30789 30789 15523 0 -1 4202560 33882 0 0 0 243479 10 0 0 20 0 15 0 15944088 14316269568 88463 18446744073709551615 4194304 4196468 140736046301584 139688069062400 139687663712153 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30793] ppid=30789 vsize=13980732 memory=353852 CPUtime=5.6 cores=1,3,5,7
/proc/30791/task/30793/stat : 30793 (java) S 30789 30789 15523 0 -1 1077944384 6432 0 0 0 546 14 0 0 20 0 15 0 15944088 14316269568 88463 18446744073709551615 4194304 4196468 140736046301584 139687984236816 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30794] ppid=30789 vsize=13980732 memory=353852 CPUtime=5.59 cores=1,3,5,7
/proc/30791/task/30794/stat : 30794 (java) S 30789 30789 15523 0 -1 1077944384 5882 0 0 0 544 15 0 0 20 0 15 0 15944088 14316269568 88463 18446744073709551615 4194304 4196468 140736046301584 139687983184272 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30795] ppid=30789 vsize=13980732 memory=353852 CPUtime=5.6 cores=1,3,5,7
/proc/30791/task/30795/stat : 30795 (java) S 30789 30789 15523 0 -1 1077944384 6258 0 0 0 546 14 0 0 20 0 15 0 15944088 14316269568 88463 18446744073709551615 4194304 4196468 140736046301584 139687982131728 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30796] ppid=30789 vsize=13980732 memory=353852 CPUtime=5.6 cores=1,3,5,7
/proc/30791/task/30796/stat : 30796 (java) S 30789 30789 15523 0 -1 1077944384 8471 0 0 0 547 13 0 0 20 0 15 0 15944088 14316269568 88463 18446744073709551615 4194304 4196468 140736046301584 139687981079184 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30797] ppid=30789 vsize=13980732 memory=353852 CPUtime=0.94 cores=1,3,5,7
/proc/30791/task/30797/stat : 30797 (java) S 30789 30789 15523 0 -1 1077944384 9974 0 0 0 85 9 0 0 20 0 15 0 15944090 14316269568 88463 18446744073709551615 4194304 4196468 140736046301584 139687047715312 139688064834178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30798] ppid=30789 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30798/stat : 30798 (java) S 30789 30789 15523 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 15944090 14316269568 88463 18446744073709551615 4194304 4196468 140736046301584 139687046661600 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30799] ppid=30789 vsize=13980732 memory=353852 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30799/stat : 30799 (java) S 30789 30789 15523 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 15944090 14316269568 88463 18446744073709551615 4194304 4196468 140736046301584 139687045608960 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30800] ppid=30789 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30800/stat : 30800 (java) S 30789 30789 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15944093 14316269568 88463 18446744073709551615 4194304 4196468 140736046301584 139687044557520 139688064841627 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30801] ppid=30789 vsize=13980732 memory=1380 CPUtime=8.42 cores=1,3,5,7
/proc/30791/task/30801/stat : 30801 (java) S 30789 30789 15523 0 -1 1077944384 46654 0 0 0 838 4 0 0 20 0 15 0 15944093 14316269568 88463 18446744073709551615 4194304 4196468 140736046301584 139687043504112 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30802] ppid=30789 vsize=13980732 memory=353852 CPUtime=9.37 cores=1,3,5,7
/proc/30791/task/30802/stat : 30802 (java) S 30789 30789 15523 0 -1 1077944384 47259 0 0 0 933 4 0 0 20 0 15 0 15944093 14316269568 88463 18446744073709551615 4194304 4196468 140736046301584 139687042451568 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30803] ppid=30789 vsize=13980732 memory=4124 CPUtime=1 cores=1,3,5,7
/proc/30791/task/30803/stat : 30803 (java) S 30789 30789 15523 0 -1 1077944384 13562 0 0 0 97 3 0 0 20 0 15 0 15944093 14316269568 88463 18446744073709551615 4194304 4196468 140736046301584 139687041399024 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30804] ppid=30789 vsize=13980732 memory=12428 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30804/stat : 30804 (java) S 30789 30789 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15944093 14316269568 88463 18446744073709551615 4194304 4196468 140736046301584 139687040346720 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30805] ppid=30789 vsize=13980732 memory=353852 CPUtime=0.57 cores=1,3,5,7
/proc/30791/task/30805/stat : 30805 (java) S 30789 30789 15523 0 -1 1077944384 1005 0 0 0 25 32 0 0 20 0 15 0 15944097 14316269568 88463 18446744073709551615 4194304 4196468 140736046301584 139687039294256 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
Current children cumulated CPU time: 2477.66 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 355232 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2484.2 s]
/proc/loadavg: 1.69 1.44 1.43 3/214 31143
/proc/meminfo: memFree=31161696/32770624 swapFree=67108860/67108860
[pid=30789] ppid=30786 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30789/stat : 30789 (xcsp3-exec) S 30786 30789 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 15944080 9740288 345 18446744073709551615 4194304 5098028 140724729698256 140724729696360 139964692968060 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 14848000 140724729700730 140724729700934 140724729700934 140724729704427 0
/proc/30789/statm: 2378 345 289 221 0 87 0
[pid=30791] ppid=30789 vsize=13980732 memory=353216 CPUtime=2520.08 cores=1,3,5,7
/proc/30791/stat : 30791 (java) S 30789 30789 15523 0 -1 1077944320 182621 0 0 0 251897 111 0 0 20 0 15 0 15944087 14316269568 88304 18446744073709551615 4194304 4196468 140736046301584 140736046284128 139688064823031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
/proc/30791/statm: 3495183 88304 3262 1 0 3483476 0
[pid=30791/tid=30792] ppid=30789 vsize=13980732 memory=-8774313645642428999 CPUtime=2476.58 cores=1,3,5,7
/proc/30791/task/30792/stat : 30792 (java) R 30789 30789 15523 0 -1 4202560 34297 0 0 0 247648 10 0 0 20 0 15 0 15944088 14316269568 88304 18446744073709551615 4194304 4196468 140736046301584 139688069062400 139687663355594 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30793] ppid=30789 vsize=13980732 memory=353852 CPUtime=5.76 cores=1,3,5,7
/proc/30791/task/30793/stat : 30793 (java) S 30789 30789 15523 0 -1 1077944384 6867 0 0 0 562 14 0 0 20 0 15 0 15944088 14316269568 88304 18446744073709551615 4194304 4196468 140736046301584 139687984236816 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30794] ppid=30789 vsize=13980732 memory=1380 CPUtime=5.75 cores=1,3,5,7
/proc/30791/task/30794/stat : 30794 (java) S 30789 30789 15523 0 -1 1077944384 6071 0 0 0 560 15 0 0 20 0 15 0 15944088 14316269568 88304 18446744073709551615 4194304 4196468 140736046301584 139687983184272 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30795] ppid=30789 vsize=13980732 memory=352584 CPUtime=5.76 cores=1,3,5,7
/proc/30791/task/30795/stat : 30795 (java) S 30789 30789 15523 0 -1 1077944384 6429 0 0 0 562 14 0 0 20 0 15 0 15944088 14316269568 88304 18446744073709551615 4194304 4196468 140736046301584 139687982131728 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30796] ppid=30789 vsize=13980732 memory=5412 CPUtime=5.76 cores=1,3,5,7
/proc/30791/task/30796/stat : 30796 (java) S 30789 30789 15523 0 -1 1077944384 8656 0 0 0 563 13 0 0 20 0 15 0 15944088 14316269568 88304 18446744073709551615 4194304 4196468 140736046301584 139687981079184 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30797] ppid=30789 vsize=13980732 memory=4612 CPUtime=0.96 cores=1,3,5,7
/proc/30791/task/30797/stat : 30797 (java) S 30789 30789 15523 0 -1 1077944384 10144 0 0 0 87 9 0 0 20 0 15 0 15944090 14316269568 88304 18446744073709551615 4194304 4196468 140736046301584 139687047715312 139688064834178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30798] ppid=30789 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30798/stat : 30798 (java) S 30789 30789 15523 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 15944090 14316269568 88304 18446744073709551615 4194304 4196468 140736046301584 139687046661600 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30799] ppid=30789 vsize=13980732 memory=352584 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30799/stat : 30799 (java) S 30789 30789 15523 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 15944090 14316269568 88304 18446744073709551615 4194304 4196468 140736046301584 139687045608960 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30800] ppid=30789 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30800/stat : 30800 (java) S 30789 30789 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15944093 14316269568 88304 18446744073709551615 4194304 4196468 140736046301584 139687044557520 139688064841627 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30801] ppid=30789 vsize=13980732 memory=1380 CPUtime=8.46 cores=1,3,5,7
/proc/30791/task/30801/stat : 30801 (java) S 30789 30789 15523 0 -1 1077944384 46874 0 0 0 842 4 0 0 20 0 15 0 15944093 14316269568 88304 18446744073709551615 4194304 4196468 140736046301584 139687043504112 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30802] ppid=30789 vsize=13980732 memory=352704 CPUtime=9.37 cores=1,3,5,7
/proc/30791/task/30802/stat : 30802 (java) S 30789 30789 15523 0 -1 1077944384 47278 0 0 0 933 4 0 0 20 0 15 0 15944093 14316269568 88304 18446744073709551615 4194304 4196468 140736046301584 139687042451568 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30803] ppid=30789 vsize=13980732 memory=18448 CPUtime=1 cores=1,3,5,7
/proc/30791/task/30803/stat : 30803 (java) S 30789 30789 15523 0 -1 1077944384 13625 0 0 0 97 3 0 0 20 0 15 0 15944093 14316269568 88304 18446744073709551615 4194304 4196468 140736046301584 139687041399024 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30804] ppid=30789 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/30791/task/30804/stat : 30804 (java) S 30789 30789 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 15944093 14316269568 88304 18446744073709551615 4194304 4196468 140736046301584 139687040346720 139688064833237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
[pid=30791/tid=30805] ppid=30789 vsize=13980732 memory=2160 CPUtime=0.57 cores=1,3,5,7
/proc/30791/task/30805/stat : 30805 (java) S 30789 30789 15523 0 -1 1077944384 1010 0 0 0 25 32 0 0 20 0 15 0 15944097 14316269568 88304 18446744073709551615 4194304 4196468 140736046301584 139687039294256 139688064834178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38264832 140736046305714 140736046305890 140736046305890 140736046309327 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 354596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2484.21 s]
# the end of solver process 30789 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001852 s, system=0 s
[startup+2484.21 s]
# the end of solver process 30791 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.98 s, system=1.12138 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): 2484.21
CPU time (s): 2520.1
CPU user time (s): 2518.98
CPU system time (s): 1.12138
CPU usage (%): 101.445
Max. virtual memory (cumulated for all children) (KiB): 13993160
Max. memory (cumulated for all children) (KiB): 519968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.98
system time used= 1.12138
maximum resident set size= 520636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183298
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77855
involuntary context switches= 2577
# summary of solver processes directly reported to runsolver:
# pid: 30789,30791
# total CPU time (s): 2520.1
# total CPU user time (s): 2518.98
# total CPU system time (s): 1.12138
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.223 second user time and 22.9617 second system time
The end