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 (15284 MiB free)
memory of node 1: 16384 MiB (13056 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283949-1503208325/watcher-4283949-1503208325 -o /tmp/evaluation-result-4283949-1503208325/solver-4283949-1503208325 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21712 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1290680339 HOME/instance-4283949-1503208325.xml
running on 4 cores: 0,2,4,6
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=29082, runsolver pid=29079
[startup+0.100093 s]*
/proc/loadavg: 1.83 1.84 1.86 3/202 29089
/proc/meminfo: memFree=29015872/32770624 swapFree=67105588/67108860
[pid=29082] ppid=29079 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29082/stat : 29082 (xcsp3-exec) S 29079 29082 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123027549 9740288 345 18446744073709551615 4194304 5098028 140730657682624 140730657680728 139628721631868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 33472512 140730657685880 140730657686085 140730657686085 140730657689579 0
/proc/29082/statm: 2378 345 289 221 0 87 0
[pid=29084] ppid=29082 vsize=13358712 memory=14632 CPUtime=0 cores=0,2,4,6
/proc/29084/stat : 29084 (java) S 29082 29082 8557 0 -1 1077944320 3436 0 0 0 0 0 0 0 20 0 6 0 123027558 13679321088 3658 18446744073709551615 4194304 4196468 140727689322176 140727689304720 139656754306807 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
/proc/29084/statm: 3339678 3658 1905 1 0 3329175 0
[pid=29084/tid=29085] ppid=29082 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29085/stat : 29085 (java) R 29082 29082 8557 0 -1 4202560 2199 0 0 0 0 0 0 0 20 0 6 0 123027559 13679321088 3658 18446744073709551615 4194304 4196468 140727689322176 139656758542928 139656754328733 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29086] ppid=29082 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29086/stat : 29086 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 123027559 13679321088 3658 18446744073709551615 4194304 4196468 140727689322176 139656711273104 139656754317013 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29087] ppid=29082 vsize=13358712 memory=140544649459328 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29087/stat : 29087 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 123027559 13679321088 3658 18446744073709551615 4194304 4196468 140727689322176 139656710220304 139656754317013 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29088] ppid=29082 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29088/stat : 29088 (java) S 29082 29082 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 123027559 13679321088 3658 18446744073709551615 4194304 4196468 140727689322176 139656709167504 139656754317013 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29089] ppid=29082 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29089/stat : 29089 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 123027559 13679321088 3658 18446744073709551615 4194304 4196468 140727689322176 139656708114704 139656754317013 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16012 KiB
[startup+0.209887 s]*
/proc/loadavg: 1.83 1.84 1.86 4/211 29098
/proc/meminfo: memFree=29005300/32770624 swapFree=67105588/67108860
[pid=29082] ppid=29079 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29082/stat : 29082 (xcsp3-exec) S 29079 29082 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123027549 9740288 345 18446744073709551615 4194304 5098028 140730657682624 140730657680728 139628721631868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 33472512 140730657685880 140730657686085 140730657686085 140730657689579 0
/proc/29082/statm: 2378 345 289 221 0 87 0
[pid=29084] ppid=29082 vsize=13974352 memory=27204 CPUtime=0.09 cores=0,2,4,6
/proc/29084/stat : 29084 (java) S 29082 29082 8557 0 -1 1077944320 5203 0 0 0 8 1 0 0 20 0 15 0 123027558 14309736448 6801 18446744073709551615 4194304 4196468 140727689322176 140727689304720 139656754306807 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
/proc/29084/statm: 3493588 6801 2754 1 0 3482964 0
[pid=29084/tid=29085] ppid=29082 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=0,2,4,6
/proc/29084/task/29085/stat : 29085 (java) R 29082 29082 8557 0 -1 4202560 3352 0 0 0 7 1 0 0 20 0 15 0 123027559 14309736448 6801 18446744073709551615 4194304 4196468 140727689322176 139656758530448 139656738387294 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29086] ppid=29082 vsize=13974352 memory=8893 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29086/stat : 29086 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123027559 14309736448 6801 18446744073709551615 4194304 4196468 140727689322176 139656711273104 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29087] ppid=29082 vsize=13974352 memory=3545370889940629152 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29087/stat : 29087 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123027559 14309736448 6801 18446744073709551615 4194304 4196468 140727689322176 139656710220304 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29088] ppid=29082 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29088/stat : 29088 (java) S 29082 29082 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123027559 14309736448 6801 18446744073709551615 4194304 4196468 140727689322176 139656709167504 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29089] ppid=29082 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29089/stat : 29089 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123027559 14309736448 6801 18446744073709551615 4194304 4196468 140727689322176 139656708114704 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29090] ppid=29082 vsize=13974352 memory=140544649459328 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29090/stat : 29090 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123027561 14309736448 6801 18446744073709551615 4194304 4196468 140727689322176 139655939509104 139656754317954 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29091] ppid=29082 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29091/stat : 29091 (java) S 29082 29082 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123027561 14309736448 6801 18446744073709551615 4194304 4196468 140727689322176 139655938455072 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29092] ppid=29082 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29092/stat : 29092 (java) S 29082 29082 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123027561 14309736448 6801 18446744073709551615 4194304 4196468 140727689322176 139655937402224 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29093] ppid=29082 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29093/stat : 29093 (java) S 29082 29082 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123027564 14309736448 6801 18446744073709551615 4194304 4196468 140727689322176 139655936350544 139656754325403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29094] ppid=29082 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29094/stat : 29094 (java) R 29082 29082 8557 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 123027564 14309736448 6801 18446744073709551615 4194304 4196468 140727689322176 139655935297904 139656754318742 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29095] ppid=29082 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29095/stat : 29095 (java) S 29082 29082 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123027564 14309736448 6801 18446744073709551615 4194304 4196468 140727689322176 139655934245104 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29096] ppid=29082 vsize=13974352 memory=140544649459328 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29096/stat : 29096 (java) R 29082 29082 8557 0 -1 4202560 239 0 0 0 0 0 0 0 20 0 15 0 123027564 14309736448 6801 18446744073709551615 4194304 4196468 140727689322176 139655933192304 139656754328154 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29097] ppid=29082 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29097/stat : 29097 (java) S 29082 29082 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123027564 14309736448 6801 18446744073709551615 4194304 4196468 140727689322176 139655932139744 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29098] ppid=29082 vsize=13974352 memory=140544649459328 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29098/stat : 29098 (java) S 29082 29082 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123027568 14309736448 6801 18446744073709551615 4194304 4196468 140727689322176 139655931088048 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28584 KiB
[startup+0.310685 s]*
/proc/loadavg: 1.83 1.84 1.86 4/211 29098
/proc/meminfo: memFree=28994896/32770624 swapFree=67105588/67108860
[pid=29082] ppid=29079 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29082/stat : 29082 (xcsp3-exec) S 29079 29082 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123027549 9740288 345 18446744073709551615 4194304 5098028 140730657682624 140730657680728 139628721631868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 33472512 140730657685880 140730657686085 140730657686085 140730657689579 0
/proc/29082/statm: 2378 345 289 221 0 87 0
[pid=29084] ppid=29082 vsize=13974352 memory=36872 CPUtime=0.28 cores=0,2,4,6
/proc/29084/stat : 29084 (java) S 29082 29082 8557 0 -1 1077944320 8831 0 0 0 25 3 0 0 20 0 15 0 123027558 14309736448 9218 18446744073709551615 4194304 4196468 140727689322176 140727689304720 139656754306807 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
/proc/29084/statm: 3493588 9218 2982 1 0 3482964 0
[pid=29084/tid=29085] ppid=29082 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/29084/task/29085/stat : 29085 (java) R 29082 29082 8557 0 -1 4202560 6105 0 0 0 15 2 0 0 20 0 15 0 123027559 14309736448 9218 18446744073709551615 4194304 4196468 140727689322176 139656758535648 139656381444253 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29086] ppid=29082 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29086/stat : 29086 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123027559 14309736448 9218 18446744073709551615 4194304 4196468 140727689322176 139656711273104 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29087] ppid=29082 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29087/stat : 29087 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123027559 14309736448 9218 18446744073709551615 4194304 4196468 140727689322176 139656710220304 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29088] ppid=29082 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29088/stat : 29088 (java) S 29082 29082 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123027559 14309736448 9218 18446744073709551615 4194304 4196468 140727689322176 139656709167504 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29089] ppid=29082 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29089/stat : 29089 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123027559 14309736448 9218 18446744073709551615 4194304 4196468 140727689322176 139656708114704 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29090] ppid=29082 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29090/stat : 29090 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123027561 14309736448 9218 18446744073709551615 4194304 4196468 140727689322176 139655939509104 139656754317954 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29091] ppid=29082 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29091/stat : 29091 (java) S 29082 29082 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123027561 14309736448 9218 18446744073709551615 4194304 4196468 140727689322176 139655938455072 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29092] ppid=29082 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29092/stat : 29092 (java) S 29082 29082 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123027561 14309736448 9218 18446744073709551615 4194304 4196468 140727689322176 139655937402224 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29093] ppid=29082 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29093/stat : 29093 (java) S 29082 29082 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123027564 14309736448 9218 18446744073709551615 4194304 4196468 140727689322176 139655936350544 139656754325403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29094] ppid=29082 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29084/task/29094/stat : 29094 (java) R 29082 29082 8557 0 -1 1077944384 606 0 0 0 2 0 0 0 20 0 15 0 123027564 14309736448 9218 18446744073709551615 4194304 4196468 140727689322176 139655935297904 139656754317954 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29095] ppid=29082 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/29084/task/29095/stat : 29095 (java) R 29082 29082 8557 0 -1 4202560 104 0 0 0 1 0 0 0 20 0 15 0 123027564 14309736448 9218 18446744073709551615 4194304 4196468 140727689322176 139655934245104 139656739206768 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29096] ppid=29082 vsize=13974352 memory=140544649459328 CPUtime=0.06 cores=0,2,4,6
/proc/29084/task/29096/stat : 29096 (java) R 29082 29082 8557 0 -1 4202560 712 0 0 0 6 0 0 0 20 0 15 0 123027564 14309736448 9218 18446744073709551615 4194304 4196468 140727689322176 139655933192304 139656746543934 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29097] ppid=29082 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29097/stat : 29097 (java) S 29082 29082 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123027564 14309736448 9218 18446744073709551615 4194304 4196468 140727689322176 139655932139744 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29098] ppid=29082 vsize=13974352 memory=140544649459328 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29098/stat : 29098 (java) S 29082 29082 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123027568 14309736448 9218 18446744073709551615 4194304 4196468 140727689322176 139655931088048 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38252 KiB
[startup+0.701469 s]
/proc/loadavg: 1.83 1.84 1.86 4/211 29098
/proc/meminfo: memFree=28984328/32770624 swapFree=67105588/67108860
[pid=29082] ppid=29079 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29082/stat : 29082 (xcsp3-exec) S 29079 29082 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123027549 9740288 345 18446744073709551615 4194304 5098028 140730657682624 140730657680728 139628721631868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 33472512 140730657685880 140730657686085 140730657686085 140730657689579 0
/proc/29082/statm: 2378 345 289 221 0 87 0
[pid=29084] ppid=29082 vsize=13980732 memory=74604 CPUtime=1.17 cores=0,2,4,6
/proc/29084/stat : 29084 (java) S 29082 29082 8557 0 -1 1077944320 16035 0 0 0 111 6 0 0 20 0 15 0 123027558 14316269568 18651 18446744073709551615 4194304 4196468 140727689322176 140727689304720 139656754306807 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
/proc/29084/statm: 3495183 18651 3177 1 0 3483476 0
[pid=29084/tid=29085] ppid=29082 vsize=13980732 memory=281089100882392 CPUtime=0.56 cores=0,2,4,6
/proc/29084/task/29085/stat : 29085 (java) R 29082 29082 8557 0 -1 4202560 9358 0 0 0 51 5 0 0 20 0 15 0 123027559 14316269568 18651 18446744073709551615 4194304 4196468 140727689322176 139656758544784 139656381622892 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29086] ppid=29082 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29086/stat : 29086 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123027559 14316269568 18651 18446744073709551615 4194304 4196468 140727689322176 139656711273104 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29087] ppid=29082 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29087/stat : 29087 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123027559 14316269568 18651 18446744073709551615 4194304 4196468 140727689322176 139656710220304 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29088] ppid=29082 vsize=13980732 memory=281089100998720 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29088/stat : 29088 (java) S 29082 29082 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123027559 14316269568 18651 18446744073709551615 4194304 4196468 140727689322176 139656709167504 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29089] ppid=29082 vsize=13980732 memory=402 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29089/stat : 29089 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123027559 14316269568 18651 18446744073709551615 4194304 4196468 140727689322176 139656708114704 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29090] ppid=29082 vsize=13980732 memory=801 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29090/stat : 29090 (java) S 29082 29082 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123027561 14316269568 18651 18446744073709551615 4194304 4196468 140727689322176 139655939509104 139656754317954 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29091] ppid=29082 vsize=13980732 memory=560 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29091/stat : 29091 (java) S 29082 29082 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123027561 14316269568 18651 18446744073709551615 4194304 4196468 140727689322176 139655938455072 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29092] ppid=29082 vsize=13980732 memory=224 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29092/stat : 29092 (java) S 29082 29082 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123027561 14316269568 18651 18446744073709551615 4194304 4196468 140727689322176 139655937402224 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29093] ppid=29082 vsize=13980732 memory=4210 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29093/stat : 29093 (java) S 29082 29082 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123027564 14316269568 18651 18446744073709551615 4194304 4196468 140727689322176 139655936350544 139656754325403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29094] ppid=29082 vsize=13980732 memory=471 CPUtime=0.15 cores=0,2,4,6
/proc/29084/task/29094/stat : 29094 (java) R 29082 29082 8557 0 -1 4202560 1807 0 0 0 15 0 0 0 20 0 15 0 123027564 14316269568 18651 18446744073709551615 4194304 4196468 140727689322176 139655935277640 139656747023959 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29095] ppid=29082 vsize=13980732 memory=7 CPUtime=0.17 cores=0,2,4,6
/proc/29084/task/29095/stat : 29095 (java) D 29082 29082 8557 0 -1 4202560 1417 0 0 0 17 0 0 0 20 0 15 0 123027564 14316269568 18651 18446744073709551615 4194304 4196468 140727689322176 139655934226120 139656735007104 0 4 1 16800974 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29096] ppid=29082 vsize=13980732 memory=51344 CPUtime=0.27 cores=0,2,4,6
/proc/29084/task/29096/stat : 29096 (java) D 29082 29082 8557 0 -1 4202560 2144 0 0 0 26 1 0 0 20 0 15 0 123027564 14316269568 18651 18446744073709551615 4194304 4196468 140727689322176 139655933190264 139656732675476 0 4 1 16800974 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29097] ppid=29082 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29097/stat : 29097 (java) S 29082 29082 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123027564 14316269568 18651 18446744073709551615 4194304 4196468 140727689322176 139655932139744 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29098] ppid=29082 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29098/stat : 29098 (java) S 29082 29082 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123027568 14316269568 18651 18446744073709551615 4194304 4196468 140727689322176 139655931088048 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 75984 KiB
[startup+1.50083 s]
/proc/loadavg: 2.01 1.87 1.87 6/211 29098
/proc/meminfo: memFree=28920452/32770624 swapFree=67105588/67108860
[pid=29082] ppid=29079 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29082/stat : 29082 (xcsp3-exec) S 29079 29082 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123027549 9740288 345 18446744073709551615 4194304 5098028 140730657682624 140730657680728 139628721631868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 33472512 140730657685880 140730657686085 140730657686085 140730657689579 0
/proc/29082/statm: 2378 345 289 221 0 87 0
[pid=29084] ppid=29082 vsize=13980732 memory=168108 CPUtime=3.65 cores=0,2,4,6
/proc/29084/stat : 29084 (java) S 29082 29082 8557 0 -1 1077944320 35912 0 0 0 355 10 0 0 20 0 15 0 123027558 14316269568 42027 18446744073709551615 4194304 4196468 140727689322176 140727689304720 139656754306807 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
/proc/29084/statm: 3495183 42027 3194 1 0 3483476 0
[pid=29084/tid=29085] ppid=29082 vsize=13980732 memory=281089101011168 CPUtime=1.35 cores=0,2,4,6
/proc/29084/task/29085/stat : 29085 (java) R 29082 29082 8557 0 -1 4202560 10141 0 0 0 130 5 0 0 20 0 15 0 123027559 14316269568 42027 18446744073709551615 4194304 4196468 140727689322176 139656758541856 139656385770883 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29086] ppid=29082 vsize=13980732 memory=140544550510304 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29086/stat : 29086 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123027559 14316269568 42027 18446744073709551615 4194304 4196468 140727689322176 139656711273104 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29087] ppid=29082 vsize=13980732 memory=7959527686974623497 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29087/stat : 29087 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123027559 14316269568 42027 18446744073709551615 4194304 4196468 140727689322176 139656710220304 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29088] ppid=29082 vsize=13980732 memory=140544550510368 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29088/stat : 29088 (java) S 29082 29082 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123027559 14316269568 42027 18446744073709551615 4194304 4196468 140727689322176 139656709167504 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29089] ppid=29082 vsize=13980732 memory=402 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29089/stat : 29089 (java) S 29082 29082 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123027559 14316269568 42027 18446744073709551615 4194304 4196468 140727689322176 139656708114704 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29090] ppid=29082 vsize=13980732 memory=801 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29090/stat : 29090 (java) S 29082 29082 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123027561 14316269568 42027 18446744073709551615 4194304 4196468 140727689322176 139655939509104 139656754317954 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29091] ppid=29082 vsize=13980732 memory=560 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29091/stat : 29091 (java) S 29082 29082 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123027561 14316269568 42027 18446744073709551615 4194304 4196468 140727689322176 139655938455072 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29092] ppid=29082 vsize=13980732 memory=224 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/29082/stat : 29082 (xcsp3-exec) S 29079 29082 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123027549 9740288 345 18446744073709551615 4194304 5098028 140730657682624 140730657680728 139628721631868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 33472512 140730657685880 140730657686085 140730657686085 140730657689579 0
/proc/29082/statm: 2378 345 289 221 0 87 0
[pid=29084] ppid=29082 vsize=13980732 memory=181292 CPUtime=47.67 cores=0,2,4,6
/proc/29084/stat : 29084 (java) S 29082 29082 8557 0 -1 1077944320 74966 0 0 0 4743 24 0 0 20 0 15 0 123027558 14316269568 45323 18446744073709551615 4194304 4196468 140727689322176 140727689304720 139656754306807 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
/proc/29084/statm: 3495183 45323 3240 1 0 3483476 0
[pid=29084/tid=29085] ppid=29082 vsize=13980732 memory=179208 CPUtime=38.81 cores=0,2,4,6
/proc/29084/task/29085/stat : 29085 (java) R 29082 29082 8557 0 -1 4202560 14749 0 0 0 3875 6 0 0 20 0 15 0 123027559 14316269568 45323 18446744073709551615 4194304 4196468 140727689322176 139656758546192 139656385814131 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29086] ppid=29082 vsize=13980732 memory=1380 CPUtime=0.14 cores=0,2,4,6
/proc/29084/task/29086/stat : 29086 (java) S 29082 29082 8557 0 -1 1077944384 609 0 0 0 12 2 0 0 20 0 15 0 123027559 14316269568 45323 18446744073709551615 4194304 4196468 140727689322176 139656711273104 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29087] ppid=29082 vsize=13980732 memory=2752 CPUtime=0.14 cores=0,2,4,6
/proc/29084/task/29087/stat : 29087 (java) S 29082 29082 8557 0 -1 1077944384 593 0 0 0 13 1 0 0 20 0 15 0 123027559 14316269568 45323 18446744073709551615 4194304 4196468 140727689322176 139656710220304 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29088] ppid=29082 vsize=13980732 memory=2752 CPUtime=0.14 cores=0,2,4,6
/proc/29084/task/29088/stat : 29088 (java) S 29082 29082 8557 0 -1 1077944384 647 0 0 0 12 2 0 0 20 0 15 0 123027559 14316269568 45323 18446744073709551615 4194304 4196468 140727689322176 139656709167504 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29089] ppid=29082 vsize=13980732 memory=2240 CPUtime=0.14 cores=0,2,4,6
/proc/29084/task/29089/stat : 29089 (java) S 29082 29082 8557 0 -1 1077944384 559 0 0 0 12 2 0 0 20 0 15 0 123027559 14316269568 45323 18446744073709551615 4194304 4196468 140727689322176 139656708114704 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29090] ppid=29082 vsize=13980732 memory=186732 CPUtime=0.06 cores=0,2,4,6
/proc/29084/task/29090/stat : 29090 (java) S 29082 29082 8557 0 -1 1077944384 835 0 0 0 5 1 0 0 20 0 15 0 123027561 14316269568 45323 18446744073709551615 4194304 4196468 140727689322176 139655939509104 139656754317954 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29091] ppid=29082 vsize=13980732 memory=187164 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29091/stat : 29091 (java) S 29082 29082 8557 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 123027561 14316269568 45323 18446744073709551615 4194304 4196468 140727689322176 139655938455136 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29092] ppid=29082 vsize=13980732 memory=4304 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29092/stat : 29092 (java) S 29082 29082 8557 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 123027561 14316269568 45323 18446744073709551615 4194304 4196468 140727689322176 139655937402240 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29093] ppid=29082 vsize=13980732 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29093/stat : 29093 (java) S 29082 29082 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123027564 14316269568 45323 18446744073709551615 4194304 4196468 140727689322176 139655936350544 139656754325403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29094] ppid=29082 vsize=13980732 memory=188616 CPUtime=3.89 cores=0,2,4,6
/proc/29084/task/29094/stat : 29094 (java) S 29082 29082 8557 0 -1 1077944384 24076 0 0 0 386 3 0 0 20 0 15 0 123027564 14316269568 45323 18446744073709551615 4194304 4196468 140727689322176 139655935297904 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29095] ppid=29082 vsize=13980732 memory=1380 CPUtime=3.55 cores=0,2,4,6
/proc/29084/task/29095/stat : 29095 (java) S 29082 29082 8557 0 -1 1077944384 22417 0 0 0 353 2 0 0 20 0 15 0 123027564 14316269568 45323 18446744073709551615 4194304 4196468 140727689322176 139655934245104 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29096] ppid=29082 vsize=13980732 memory=194216 CPUtime=0.7 cores=0,2,4,6
/proc/29084/task/29096/stat : 29096 (java) S 29082 29082 8557 0 -1 1077944384 8844 0 0 0 68 2 0 0 20 0 15 0 123027564 14316269568 45323 18446744073709551615 4194304 4196468 140727689322176 139655933192304 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29097] ppid=29082 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29097/stat : 29097 (java) S 29082 29082 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123027564 14316269568 45323 18446744073709551615 4194304 4196468 140727689322176 139655932139744 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29098] ppid=29082 vsize=13980732 memory=184188 CPUtime=0.01 cores=0,2,4,6
/proc/29084/task/29098/stat : 29098 (java) S 29082 29082 8557 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 15 0 123027568 14316269568 45323 18446744073709551615 4194304 4196468 140727689322176 139655931088048 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
Current children cumulated CPU time: 47.67 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 182672 KiB
[startup+39.6009 s]
/proc/loadavg: 1.92 1.87 1.87 4/211 29099
/proc/meminfo: memFree=28849524/32770624 swapFree=67105588/67108860
[pid=29082] ppid=29079 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29082/stat : 29082 (xcsp3-exec) S 29079 29082 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123027549 9740288 345 18446744073709551615 4194304 5098028 140730657682624 140730657680728 139628721631868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 33472512 140730657685880 140730657686085 140730657686085 140730657689579 0
/proc/29082/statm: 2378 345 289 221 0 87 0
[pid=29084] ppid=29082 vsize=13980732 memory=180780 CPUtime=48.08 cores=0,2,4,6
/proc/29084/stat : 29084 (java) S 29082 29082 8557 0 -1 1077944320 75002 0 0 0 4784 24 0 0 20 0 15 0 123027558 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 140727689304720 139656754306807 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
/proc/29084/statm: 3495183 45195 3240 1 0 3483476 0
[pid=29084/tid=29085] ppid=29082 vsize=13980732 memory=872 CPUtime=39.2 cores=0,2,4,6
/proc/29084/task/29085/stat : 29085 (java) R 29082 29082 8557 0 -1 4202560 14754 0 0 0 3914 6 0 0 20 0 15 0 123027559 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139656758546016 139656385403023 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29086] ppid=29082 vsize=13980732 memory=1992 CPUtime=0.14 cores=0,2,4,6
/proc/29084/task/29086/stat : 29086 (java) S 29082 29082 8557 0 -1 1077944384 610 0 0 0 12 2 0 0 20 0 15 0 123027559 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139656711273104 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29087] ppid=29082 vsize=13980732 memory=1164 CPUtime=0.14 cores=0,2,4,6
/proc/29084/task/29087/stat : 29087 (java) S 29082 29082 8557 0 -1 1077944384 594 0 0 0 13 1 0 0 20 0 15 0 123027559 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139656710220304 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29088] ppid=29082 vsize=13980732 memory=7352 CPUtime=0.15 cores=0,2,4,6
/proc/29084/task/29088/stat : 29088 (java) S 29082 29082 8557 0 -1 1077944384 647 0 0 0 13 2 0 0 20 0 15 0 123027559 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139656709167504 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29089] ppid=29082 vsize=13980732 memory=1628 CPUtime=0.15 cores=0,2,4,6
/proc/29084/task/29089/stat : 29089 (java) S 29082 29082 8557 0 -1 1077944384 560 0 0 0 13 2 0 0 20 0 15 0 123027559 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139656708114704 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29090] ppid=29082 vsize=13980732 memory=14340 CPUtime=0.06 cores=0,2,4,6
/proc/29084/task/29090/stat : 29090 (java) S 29082 29082 8557 0 -1 1077944384 835 0 0 0 5 1 0 0 20 0 15 0 123027561 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655939509104 139656754317954 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29091] ppid=29082 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29091/stat : 29091 (java) S 29082 29082 8557 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 123027561 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655938455136 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29092] ppid=29082 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29092/stat : 29092 (java) S 29082 29082 8557 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 123027561 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655937402240 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29093] ppid=29082 vsize=13980732 memory=1400 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29093/stat : 29093 (java) S 29082 29082 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123027564 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655936350544 139656754325403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29094] ppid=29082 vsize=13980732 memory=15348 CPUtime=3.89 cores=0,2,4,6
/proc/29084/task/29094/stat : 29094 (java) S 29082 29082 8557 0 -1 1077944384 24093 0 0 0 386 3 0 0 20 0 15 0 123027564 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655935297904 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29095] ppid=29082 vsize=13980732 memory=39656 CPUtime=3.55 cores=0,2,4,6
/proc/29084/task/29095/stat : 29095 (java) S 29082 29082 8557 0 -1 1077944384 22417 0 0 0 353 2 0 0 20 0 15 0 123027564 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655934245104 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29096] ppid=29082 vsize=13980732 memory=4044 CPUtime=0.7 cores=0,2,4,6
/proc/29084/task/29096/stat : 29096 (java) S 29082 29082 8557 0 -1 1077944384 8855 0 0 0 68 2 0 0 20 0 15 0 123027564 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655933192304 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29097] ppid=29082 vsize=13980732 memory=644 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29097/stat : 29097 (java) S 29082 29082 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123027564 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655932139744 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29098] ppid=29082 vsize=13980732 memory=1740 CPUtime=0.01 cores=0,2,4,6
/proc/29084/task/29098/stat : 29098 (java) S 29082 29082 8557 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 15 0 123027568 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655931088048 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
Current children cumulated CPU time: 48.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 182160 KiB
[startup+40.0009 s]*
/proc/loadavg: 1.92 1.87 1.87 3/211 29099
/proc/meminfo: memFree=28849908/32770624 swapFree=67105588/67108860
[pid=29082] ppid=29079 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29082/stat : 29082 (xcsp3-exec) S 29079 29082 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123027549 9740288 345 18446744073709551615 4194304 5098028 140730657682624 140730657680728 139628721631868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 33472512 140730657685880 140730657686085 140730657686085 140730657689579 0
/proc/29082/statm: 2378 345 289 221 0 87 0
[pid=29084] ppid=29082 vsize=13980732 memory=180780 CPUtime=48.5 cores=0,2,4,6
/proc/29084/stat : 29084 (java) S 29082 29082 8557 0 -1 1077944320 75005 0 0 0 4826 24 0 0 20 0 15 0 123027558 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 140727689304720 139656754306807 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
/proc/29084/statm: 3495183 45195 3240 1 0 3483476 0
[pid=29084/tid=29085] ppid=29082 vsize=13980732 memory=129257376319988 CPUtime=39.61 cores=0,2,4,6
/proc/29084/task/29085/stat : 29085 (java) R 29082 29082 8557 0 -1 4202560 14755 0 0 0 3955 6 0 0 20 0 15 0 123027559 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139656758546032 139656385814729 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29086] ppid=29082 vsize=13980732 memory=129257376319988 CPUtime=0.14 cores=0,2,4,6
/proc/29084/task/29086/stat : 29086 (java) S 29082 29082 8557 0 -1 1077944384 610 0 0 0 12 2 0 0 20 0 15 0 123027559 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139656711273104 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29087] ppid=29082 vsize=13980732 memory=129257376319732 CPUtime=0.14 cores=0,2,4,6
/proc/29084/task/29087/stat : 29087 (java) S 29082 29082 8557 0 -1 1077944384 595 0 0 0 13 1 0 0 20 0 15 0 123027559 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139656710220304 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29088] ppid=29082 vsize=13980732 memory=4872558044660077418 CPUtime=0.15 cores=0,2,4,6
/proc/29084/task/29088/stat : 29088 (java) S 29082 29082 8557 0 -1 1077944384 648 0 0 0 13 2 0 0 20 0 15 0 123027559 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139656709167504 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29089] ppid=29082 vsize=13980732 memory=7738985621265671507 CPUtime=0.15 cores=0,2,4,6
/proc/29084/task/29089/stat : 29089 (java) S 29082 29082 8557 0 -1 1077944384 560 0 0 0 13 2 0 0 20 0 15 0 123027559 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139656708114704 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29090] ppid=29082 vsize=13980732 memory=5937246677015945555 CPUtime=0.06 cores=0,2,4,6
/proc/29084/task/29090/stat : 29090 (java) S 29082 29082 8557 0 -1 1077944384 835 0 0 0 5 1 0 0 20 0 15 0 123027561 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655939509104 139656754317954 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29091] ppid=29082 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29091/stat : 29091 (java) S 29082 29082 8557 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 123027561 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655938455136 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29092] ppid=29082 vsize=13980732 memory=281089101283216 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29092/stat : 29092 (java) S 29082 29082 8557 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 123027561 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655937402240 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29093] ppid=29082 vsize=13980732 memory=281089101344568 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29093/stat : 29093 (java) S 29082 29082 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123027564 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655936350544 139656754325403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29094] ppid=29082 vsize=13980732 memory=288230600312365730 CPUtime=3.89 cores=0,2,4,6
/proc/29084/task/29094/stat : 29094 (java) S 29082 29082 8557 0 -1 1077944384 24093 0 0 0 386 3 0 0 20 0 15 0 123027564 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655935297904 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29095] ppid=29082 vsize=13980732 memory=15825482134341414 CPUtime=3.55 cores=0,2,4,6
/proc/29084/task/29095/stat : 29095 (java) S 29082 29082 8557 0 -1 1077944384 22417 0 0 0 353 2 0 0 20 0 15 0 123027564 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655934245104 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29096] ppid=29082 vsize=13980732 memory=14439297127 CPUtime=0.7 cores=0,2,4,6
/proc/29084/task/29096/stat : 29096 (java) S 29082 29082 8557 0 -1 1077944384 8855 0 0 0 68 2 0 0 20 0 15 0 123027564 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655933192304 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29097] ppid=29082 vsize=13980732 memory=14439297127 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29097/stat : 29097 (java) S 29082 29082 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123027564 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655932139744 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29098] ppid=29082 vsize=13980732 memory=14439297127 CPUtime=0.01 cores=0,2,4,6
/proc/29084/task/29098/stat : 29098 (java) S 29082 29082 8557 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 15 0 123027568 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655931088048 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
Current children cumulated CPU time: 48.5 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 182160 KiB
[startup+40.1098 s]
/proc/loadavg: 1.92 1.87 1.87 3/211 29099
/proc/meminfo: memFree=28849908/32770624 swapFree=67105588/67108860
[pid=29082] ppid=29079 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29082/stat : 29082 (xcsp3-exec) S 29079 29082 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123027549 9740288 345 18446744073709551615 4194304 5098028 140730657682624 140730657680728 139628721631868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 33472512 140730657685880 140730657686085 140730657686085 140730657689579 0
/proc/29082/statm: 2378 345 289 221 0 87 0
[pid=29084] ppid=29082 vsize=13980732 memory=180780 CPUtime=48.6 cores=0,2,4,6
/proc/29084/stat : 29084 (java) S 29082 29082 8557 0 -1 1077944320 75024 0 0 0 4836 24 0 0 20 0 15 0 123027558 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 140727689304720 139656754306807 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
/proc/29084/statm: 3495183 45195 3240 1 0 3483476 0
[pid=29084/tid=29085] ppid=29082 vsize=13980732 memory=180780 CPUtime=39.71 cores=0,2,4,6
/proc/29084/task/29085/stat : 29085 (java) R 29082 29082 8557 0 -1 4202560 14755 0 0 0 3965 6 0 0 20 0 15 0 123027559 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139656758546032 139656389600105 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29086] ppid=29082 vsize=13980732 memory=180780 CPUtime=0.14 cores=0,2,4,6
/proc/29084/task/29086/stat : 29086 (java) S 29082 29082 8557 0 -1 1077944384 610 0 0 0 12 2 0 0 20 0 15 0 123027559 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139656711273104 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29087] ppid=29082 vsize=13980732 memory=1380 CPUtime=0.14 cores=0,2,4,6
/proc/29084/task/29087/stat : 29087 (java) S 29082 29082 8557 0 -1 1077944384 595 0 0 0 13 1 0 0 20 0 15 0 123027559 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139656710220304 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29088] ppid=29082 vsize=13980732 memory=33 CPUtime=0.15 cores=0,2,4,6
/proc/29084/task/29088/stat : 29088 (java) S 29082 29082 8557 0 -1 1077944384 648 0 0 0 13 2 0 0 20 0 15 0 123027559 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139656709167504 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29089] ppid=29082 vsize=13980732 memory=-7522837415797432223 CPUtime=0.15 cores=0,2,4,6
/proc/29084/task/29089/stat : 29089 (java) S 29082 29082 8557 0 -1 1077944384 560 0 0 0 13 2 0 0 20 0 15 0 123027559 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139656708114704 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29090] ppid=29082 vsize=13980732 memory=1380 CPUtime=0.06 cores=0,2,4,6
/proc/29084/task/29090/stat : 29090 (java) S 29082 29082 8557 0 -1 1077944384 835 0 0 0 5 1 0 0 20 0 15 0 123027561 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655939509104 139656754317954 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29091] ppid=29082 vsize=13980732 memory=201408 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29091/stat : 29091 (java) S 29082 29082 8557 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 123027561 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655938455136 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29092] ppid=29082 vsize=13980732 memory=183228 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29092/stat : 29092 (java) S 29082 29082 8557 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 123027561 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655937402240 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29093] ppid=29082 vsize=13980732 memory=184252 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29093/stat : 29093 (java) S 29082 29082 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123027564 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655936350544 139656754325403 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29094] ppid=29082 vsize=13980732 memory=178632 CPUtime=3.89 cores=0,2,4,6
/proc/29084/task/29094/stat : 29094 (java) S 29082 29082 8557 0 -1 1077944384 24093 0 0 0 386 3 0 0 20 0 15 0 123027564 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655935297904 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29095] ppid=29082 vsize=13980732 memory=-8774313645642428999 CPUtime=3.55 cores=0,2,4,6
/proc/29084/task/29095/stat : 29095 (java) S 29082 29082 8557 0 -1 1077944384 22417 0 0 0 353 2 0 0 20 0 15 0 123027564 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655934245104 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29096] ppid=29082 vsize=13980732 memory=402 CPUtime=0.7 cores=0,2,4,6
/proc/29084/task/29096/stat : 29096 (java) S 29082 29082 8557 0 -1 1077944384 8874 0 0 0 68 2 0 0 20 0 15 0 123027564 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655933192304 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29097] ppid=29082 vsize=13980732 memory=801 CPUtime=0 cores=0,2,4,6
/proc/29084/task/29097/stat : 29097 (java) S 29082 29082 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123027564 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655932139744 139656754317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
[pid=29084/tid=29098] ppid=29082 vsize=13980732 memory=560 CPUtime=0.01 cores=0,2,4,6
/proc/29084/task/29098/stat : 29098 (java) S 29082 29082 8557 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 15 0 123027568 14316269568 45195 18446744073709551615 4194304 4196468 140727689322176 139655931088048 139656754317954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12886016 140727689327025 140727689327201 140727689327201 140727689330639 0
Current children cumulated CPU time: 48.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 182160 KiB
Child status: 0
Real time (s): 40.1718
CPU time (s): 48.6676
CPU user time (s): 48.4126
CPU system time (s): 0.254962
CPU usage (%): 121.149
Max. virtual memory (cumulated for all children) (KiB): 13993940
Max. memory (cumulated for all children) (KiB): 253084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.4126
system time used= 0.254962
maximum resident set size= 251704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75893
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5329
involuntary context switches= 115
# summary of solver processes directly reported to runsolver:
# pid: 29082
# total CPU time (s): 48.6676
# total CPU user time (s): 48.4126
# total CPU system time (s): 0.254962
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.263714 second user time and 0.438033 second system time
The end