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 (15412 MiB free)
memory of node 1: 16384 MiB (5035 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281811-1503157181/watcher-4281811-1503157181 -o /tmp/evaluation-result-4281811-1503157181/solver-4281811-1503157181 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18171 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 116016456 HOME/instance-4281811-1503157181.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
solver pid=31437, runsolver pid=31434
Current StackSize limit: 8192 KiB
[startup+0.100167 s]*
/proc/loadavg: 2.00 2.00 1.96 2/198 31440
/proc/meminfo: memFree=20937152/32770624 swapFree=67108860/67108860
[pid=31437] ppid=31434 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/31437/stat : 31437 (xcsp3-exec) S 31434 31437 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14125134 9740288 344 18446744073709551615 4194304 5098028 140730399075296 140730399073400 140477399208572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 15753216 140730399076730 140730399076934 140730399076934 140730399080427 0
/proc/31437/statm: 2378 344 289 221 0 87 0
[pid=31439] ppid=31437 vsize=13358712 memory=12468 CPUtime=0 cores=0,2,4,6
/proc/31439/stat : 31439 (java) S 31437 31437 18108 0 -1 1077944320 3389 0 0 0 0 0 0 0 20 0 6 0 14125144 13679321088 3117 18446744073709551615 4194304 4196468 140727953942208 140727953924752 140236420763383 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
/proc/31439/statm: 3339678 3117 1903 1 0 3329175 0
[pid=31439/tid=31440] ppid=31437 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31440/stat : 31440 (java) R 31437 31437 18108 0 -1 4202560 2152 0 0 0 0 0 0 0 20 0 6 0 14125144 13679321088 3117 18446744073709551615 4194304 4196468 140727953942208 140236424999504 140236404843870 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31441] ppid=31437 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31441/stat : 31441 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 14125145 13679321088 3117 18446744073709551615 4194304 4196468 140727953942208 140236388321552 140236420773589 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31442] ppid=31437 vsize=13358712 memory=140379022362240 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31442/stat : 31442 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 14125145 13679321088 3117 18446744073709551615 4194304 4196468 140727953942208 140236019550608 140236420773589 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31443] ppid=31437 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31443/stat : 31443 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 14125145 13679321088 3117 18446744073709551615 4194304 4196468 140727953942208 140236018498064 140236420773589 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31444] ppid=31437 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31444/stat : 31444 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 14125145 13679321088 3117 18446744073709551615 4194304 4196468 140727953942208 140236017445520 140236420773589 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 13844 KiB
[startup+0.209902 s]*
/proc/loadavg: 2.00 2.00 1.96 3/211 31453
/proc/meminfo: memFree=20926528/32770624 swapFree=67108860/67108860
[pid=31437] ppid=31434 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/31437/stat : 31437 (xcsp3-exec) S 31434 31437 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14125134 9740288 344 18446744073709551615 4194304 5098028 140730399075296 140730399073400 140477399208572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 15753216 140730399076730 140730399076934 140730399076934 140730399080427 0
/proc/31437/statm: 2378 344 289 221 0 87 0
[pid=31439] ppid=31437 vsize=13974352 memory=26876 CPUtime=0.09 cores=0,2,4,6
/proc/31439/stat : 31439 (java) S 31437 31437 18108 0 -1 1077944320 5128 0 0 0 9 0 0 0 20 0 15 0 14125144 14309736448 6719 18446744073709551615 4194304 4196468 140727953942208 140727953924752 140236420763383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
/proc/31439/statm: 3493588 6719 2752 1 0 3482964 0
[pid=31439/tid=31440] ppid=31437 vsize=13974352 memory=-6871798056524144002 CPUtime=0.07 cores=0,2,4,6
/proc/31439/task/31440/stat : 31440 (java) R 31437 31437 18108 0 -1 4202560 3270 0 0 0 7 0 0 0 20 0 15 0 14125144 14309736448 6719 18446744073709551615 4194304 4196468 140727953942208 140236424995728 140236404843870 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31441] ppid=31437 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31441/stat : 31441 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125145 14309736448 6719 18446744073709551615 4194304 4196468 140727953942208 140236388321552 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31442] ppid=31437 vsize=13974352 memory=140379022362240 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31442/stat : 31442 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125145 14309736448 6719 18446744073709551615 4194304 4196468 140727953942208 140236019550608 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31443] ppid=31437 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31443/stat : 31443 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125145 14309736448 6719 18446744073709551615 4194304 4196468 140727953942208 140236018498064 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31444] ppid=31437 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31444/stat : 31444 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125145 14309736448 6719 18446744073709551615 4194304 4196468 140727953942208 140236017445520 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31445] ppid=31437 vsize=13974352 memory=140379022362240 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31445/stat : 31445 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125146 14309736448 6719 18446744073709551615 4194304 4196468 140727953942208 140235898972656 140236420774530 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31446] ppid=31437 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31446/stat : 31446 (java) S 31437 31437 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14125147 14309736448 6719 18446744073709551615 4194304 4196468 140727953942208 140235897918880 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31447] ppid=31437 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31447/stat : 31447 (java) S 31437 31437 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14125147 14309736448 6719 18446744073709551615 4194304 4196468 140727953942208 140235896866288 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31448] ppid=31437 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31448/stat : 31448 (java) S 31437 31437 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14125149 14309736448 6719 18446744073709551615 4194304 4196468 140727953942208 140235895814864 140236420781979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31449] ppid=31437 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31449/stat : 31449 (java) S 31437 31437 18108 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 14125149 14309736448 6719 18446744073709551615 4194304 4196468 140727953942208 140235894761456 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31450] ppid=31437 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31450/stat : 31450 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125149 14309736448 6719 18446744073709551615 4194304 4196468 140727953942208 140235893708912 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31451] ppid=31437 vsize=13974352 memory=140379022362240 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31451/stat : 31451 (java) R 31437 31437 18108 0 -1 4202560 244 0 0 0 0 0 0 0 20 0 15 0 14125149 14309736448 6719 18446744073709551615 4194304 4196468 140727953942208 140235892656368 140236399891404 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31452] ppid=31437 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31452/stat : 31452 (java) S 31437 31437 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14125149 14309736448 6719 18446744073709551615 4194304 4196468 140727953942208 140235891604064 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31453] ppid=31437 vsize=13974352 memory=140379022362240 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31453/stat : 31453 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125154 14309736448 6719 18446744073709551615 4194304 4196468 140727953942208 140235890551600 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28252 KiB
[startup+0.310205 s]*
/proc/loadavg: 2.00 2.00 1.96 4/211 31453
/proc/meminfo: memFree=20911440/32770624 swapFree=67108860/67108860
[pid=31437] ppid=31434 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/31437/stat : 31437 (xcsp3-exec) S 31434 31437 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14125134 9740288 344 18446744073709551615 4194304 5098028 140730399075296 140730399073400 140477399208572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 15753216 140730399076730 140730399076934 140730399076934 140730399080427 0
/proc/31437/statm: 2378 344 289 221 0 87 0
[pid=31439] ppid=31437 vsize=13974352 memory=37544 CPUtime=0.28 cores=0,2,4,6
/proc/31439/stat : 31439 (java) S 31437 31437 18108 0 -1 1077944320 8949 0 0 0 26 2 0 0 20 0 15 0 14125144 14309736448 9386 18446744073709551615 4194304 4196468 140727953942208 140727953924752 140236420763383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
/proc/31439/statm: 3493588 9386 2986 1 0 3482964 0
[pid=31439/tid=31440] ppid=31437 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/31439/task/31440/stat : 31440 (java) R 31437 31437 18108 0 -1 4202560 6111 0 0 0 16 1 0 0 20 0 15 0 14125144 14309736448 9386 18446744073709551615 4194304 4196468 140727953942208 140236424992880 140236420775318 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31441] ppid=31437 vsize=13974352 memory=140379022369233 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31441/stat : 31441 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125145 14309736448 9386 18446744073709551615 4194304 4196468 140727953942208 140236388321552 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31442] ppid=31437 vsize=13974352 memory=7444824475015016036 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31442/stat : 31442 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125145 14309736448 9386 18446744073709551615 4194304 4196468 140727953942208 140236019550608 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31443] ppid=31437 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31443/stat : 31443 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125145 14309736448 9386 18446744073709551615 4194304 4196468 140727953942208 140236018498064 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31444] ppid=31437 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31444/stat : 31444 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125145 14309736448 9386 18446744073709551615 4194304 4196468 140727953942208 140236017445520 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31445] ppid=31437 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31445/stat : 31445 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125146 14309736448 9386 18446744073709551615 4194304 4196468 140727953942208 140235898972656 140236420774530 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31446] ppid=31437 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31446/stat : 31446 (java) S 31437 31437 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14125147 14309736448 9386 18446744073709551615 4194304 4196468 140727953942208 140235897918880 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31447] ppid=31437 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31447/stat : 31447 (java) S 31437 31437 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14125147 14309736448 9386 18446744073709551615 4194304 4196468 140727953942208 140235896866288 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31448] ppid=31437 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31448/stat : 31448 (java) S 31437 31437 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14125149 14309736448 9386 18446744073709551615 4194304 4196468 140727953942208 140235895814864 140236420781979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31449] ppid=31437 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31439/task/31449/stat : 31449 (java) S 31437 31437 18108 0 -1 1077944384 553 0 0 0 1 0 0 0 20 0 15 0 14125149 14309736448 9386 18446744073709551615 4194304 4196468 140727953942208 140235894761456 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31450] ppid=31437 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31439/task/31450/stat : 31450 (java) S 31437 31437 18108 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 14125149 14309736448 9386 18446744073709551615 4194304 4196468 140727953942208 140235893708912 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31451] ppid=31437 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/31439/task/31451/stat : 31451 (java) R 31437 31437 18108 0 -1 4202560 712 0 0 0 6 0 0 0 20 0 15 0 14125149 14309736448 9386 18446744073709551615 4194304 4196468 140727953942208 140235892656368 140236399254561 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31452] ppid=31437 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31452/stat : 31452 (java) S 31437 31437 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14125149 14309736448 9386 18446744073709551615 4194304 4196468 140727953942208 140235891604064 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31453] ppid=31437 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31453/stat : 31453 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125154 14309736448 9386 18446744073709551615 4194304 4196468 140727953942208 140235890551600 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38920 KiB
[startup+0.700733 s]
/proc/loadavg: 2.00 2.00 1.96 5/211 31453
/proc/meminfo: memFree=20901272/32770624 swapFree=67108860/67108860
[pid=31437] ppid=31434 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/31437/stat : 31437 (xcsp3-exec) S 31434 31437 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14125134 9740288 344 18446744073709551615 4194304 5098028 140730399075296 140730399073400 140477399208572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 15753216 140730399076730 140730399076934 140730399076934 140730399080427 0
/proc/31437/statm: 2378 344 289 221 0 87 0
[pid=31439] ppid=31437 vsize=13980732 memory=101600 CPUtime=1.25 cores=0,2,4,6
/proc/31439/stat : 31439 (java) S 31437 31437 18108 0 -1 1077944320 13352 0 0 0 121 4 0 0 20 0 15 0 14125144 14316269568 25400 18446744073709551615 4194304 4196468 140727953942208 140727953924752 140236420763383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
/proc/31439/statm: 3495183 25400 3163 1 0 3483476 0
[pid=31439/tid=31440] ppid=31437 vsize=13980732 memory=7813587196152198965 CPUtime=0.55 cores=0,2,4,6
/proc/31439/task/31440/stat : 31440 (java) R 31437 31437 18108 0 -1 4202560 8507 0 0 0 52 3 0 0 20 0 15 0 14125144 14316269568 25400 18446744073709551615 4194304 4196468 140727953942208 140236424992160 140236420785309 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31441] ppid=31437 vsize=13980732 memory=5787222709072323648 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31441/stat : 31441 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 25400 18446744073709551615 4194304 4196468 140727953942208 140236388321552 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31442] ppid=31437 vsize=13980732 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31442/stat : 31442 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 25400 18446744073709551615 4194304 4196468 140727953942208 140236019550608 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31443] ppid=31437 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31443/stat : 31443 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 25400 18446744073709551615 4194304 4196468 140727953942208 140236018498064 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31444] ppid=31437 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31444/stat : 31444 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 25400 18446744073709551615 4194304 4196468 140727953942208 140236017445520 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31445] ppid=31437 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31445/stat : 31445 (java) S 31437 31437 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14125146 14316269568 25400 18446744073709551615 4194304 4196468 140727953942208 140235898972656 140236420774530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31446] ppid=31437 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31446/stat : 31446 (java) S 31437 31437 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14125147 14316269568 25400 18446744073709551615 4194304 4196468 140727953942208 140235897918880 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31447] ppid=31437 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31447/stat : 31447 (java) S 31437 31437 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14125147 14316269568 25400 18446744073709551615 4194304 4196468 140727953942208 140235896866288 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31448] ppid=31437 vsize=13980732 memory=30305 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31448/stat : 31448 (java) S 31437 31437 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14125149 14316269568 25400 18446744073709551615 4194304 4196468 140727953942208 140235895814864 140236420781979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31449] ppid=31437 vsize=13980732 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/31439/task/31449/stat : 31449 (java) R 31437 31437 18108 0 -1 4202560 1208 0 0 0 17 0 0 0 20 0 15 0 14125149 14316269568 25400 18446744073709551615 4194304 4196468 140727953942208 140235894761456 140236420775318 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31450] ppid=31437 vsize=13980732 memory=-3967418655009478193 CPUtime=0.19 cores=0,2,4,6
/proc/31439/task/31450/stat : 31450 (java) R 31437 31437 18108 0 -1 4202560 978 0 0 0 19 0 0 0 20 0 15 0 14125149 14316269568 25400 18446744073709551615 4194304 4196468 140727953942208 140235893694936 140236405888783 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31451] ppid=31437 vsize=13980732 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/31439/task/31451/stat : 31451 (java) R 31437 31437 18108 0 -1 1077944384 1351 0 0 0 32 0 0 0 20 0 15 0 14125149 14316269568 25400 18446744073709551615 4194304 4196468 140727953942208 140235892656368 140236420774530 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31452] ppid=31437 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31452/stat : 31452 (java) S 31437 31437 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14125149 14316269568 25400 18446744073709551615 4194304 4196468 140727953942208 140235891604064 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31453] ppid=31437 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31453/stat : 31453 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125154 14316269568 25400 18446744073709551615 4194304 4196468 140727953942208 140235890551600 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 102976 KiB
[startup+1.50087 s]
/proc/loadavg: 2.00 2.00 1.96 5/211 31453
/proc/meminfo: memFree=20838112/32770624 swapFree=67108860/67108860
[pid=31437] ppid=31434 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/31437/stat : 31437 (xcsp3-exec) S 31434 31437 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14125134 9740288 344 18446744073709551615 4194304 5098028 140730399075296 140730399073400 140477399208572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 15753216 140730399076730 140730399076934 140730399076934 140730399080427 0
/proc/31437/statm: 2378 344 289 221 0 87 0
[pid=31439] ppid=31437 vsize=13980732 memory=117544 CPUtime=3.36 cores=0,2,4,6
/proc/31439/stat : 31439 (java) S 31437 31437 18108 0 -1 1077944320 22257 0 0 0 331 5 0 0 20 0 15 0 14125144 14316269568 29386 18446744073709551615 4194304 4196468 140727953942208 140727953924752 140236420763383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
/proc/31439/statm: 3495183 29386 3183 1 0 3483476 0
[pid=31439/tid=31440] ppid=31437 vsize=13980732 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/31439/task/31440/stat : 31440 (java) R 31437 31437 18108 0 -1 4202560 9069 0 0 0 132 3 0 0 20 0 15 0 14125144 14316269568 29386 18446744073709551615 4194304 4196468 140727953942208 140236425002280 140236065271636 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31441] ppid=31437 vsize=13980732 memory=4426658576607127401 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31441/stat : 31441 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 29386 18446744073709551615 4194304 4196468 140727953942208 140236388321552 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31442] ppid=31437 vsize=13980732 memory=6441956620853013296 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31442/stat : 31442 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 29386 18446744073709551615 4194304 4196468 140727953942208 140236019550608 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31443] ppid=31437 vsize=13980732 memory=7308049596400757024 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31443/stat : 31443 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 29386 18446744073709551615 4194304 4196468 140727953942208 140236018498064 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31444] ppid=31437 vsize=13980732 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31444/stat : 31444 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 29386 18446744073709551615 4194304 4196468 140727953942208 140236017445520 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31445] ppid=31437 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31445/stat : 31445 (java) S 31437 31437 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14125146 14316269568 29386 18446744073709551615 4194304 4196468 140727953942208 140235898972656 140236420774530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31446] ppid=31437 vsize=13980732 memory=140378925940864 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31446/stat : 31446 (java) S 31437 31437 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14125147 14316269568 29386 18446744073709551615 4194304 4196468 140727953942208 140235897918880 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31447] ppid=31437 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/31437/stat : 31437 (xcsp3-exec) S 31434 31437 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14125134 9740288 344 18446744073709551615 4194304 5098028 140730399075296 140730399073400 140477399208572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 15753216 140730399076730 140730399076934 140730399076934 140730399080427 0
/proc/31437/statm: 2378 344 289 221 0 87 0
[pid=31439] ppid=31437 vsize=13980732 memory=134344 CPUtime=61.46 cores=0,2,4,6
/proc/31439/stat : 31439 (java) S 31437 31437 18108 0 -1 1077944320 50093 0 0 0 6138 8 0 0 20 0 15 0 14125144 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140727953924752 140236420763383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
/proc/31439/statm: 3495183 33586 3194 1 0 3483476 0
[pid=31439/tid=31440] ppid=31437 vsize=13980732 memory=-8774313645642428999 CPUtime=57.45 cores=0,2,4,6
/proc/31439/task/31440/stat : 31440 (java) R 31437 31437 18108 0 -1 4202560 12464 0 0 0 5741 4 0 0 20 0 15 0 14125144 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140236424999680 140236065462542 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31441] ppid=31437 vsize=13980732 memory=132296 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31441/stat : 31441 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140236388321552 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31442] ppid=31437 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31442/stat : 31442 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140236019550608 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31443] ppid=31437 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31443/stat : 31443 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140236018498064 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31444] ppid=31437 vsize=13980732 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31444/stat : 31444 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140236017445520 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31445] ppid=31437 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31445/stat : 31445 (java) S 31437 31437 18108 0 -1 1077944384 470 0 0 0 0 0 0 0 20 0 15 0 14125146 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235898972656 140236420774530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31446] ppid=31437 vsize=13980732 memory=134344 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31446/stat : 31446 (java) S 31437 31437 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14125147 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235897918880 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31447] ppid=31437 vsize=13980732 memory=2436 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31447/stat : 31447 (java) S 31437 31437 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14125147 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235896866288 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31448] ppid=31437 vsize=13980732 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31448/stat : 31448 (java) S 31437 31437 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14125149 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235895814864 140236420781979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31449] ppid=31437 vsize=13980732 memory=2004 CPUtime=1.65 cores=0,2,4,6
/proc/31439/task/31449/stat : 31449 (java) S 31437 31437 18108 0 -1 1077944384 13106 0 0 0 164 1 0 0 20 0 15 0 14125149 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235894761456 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31450] ppid=31437 vsize=13980732 memory=1376 CPUtime=1.82 cores=0,2,4,6
/proc/31439/task/31450/stat : 31450 (java) S 31437 31437 18108 0 -1 1077944384 17495 0 0 0 181 1 0 0 20 0 15 0 14125149 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235893708912 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31451] ppid=31437 vsize=13980732 memory=280757851752896 CPUtime=0.48 cores=0,2,4,6
/proc/31439/task/31451/stat : 31451 (java) S 31437 31437 18108 0 -1 1077944384 4661 0 0 0 48 0 0 0 20 0 15 0 14125149 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235892656368 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31452] ppid=31437 vsize=13980732 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31452/stat : 31452 (java) S 31437 31437 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14125149 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235891604064 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31453] ppid=31437 vsize=13980732 memory=7682744562830902035 CPUtime=0.02 cores=0,2,4,6
/proc/31439/task/31453/stat : 31453 (java) S 31437 31437 18108 0 -1 1077944384 595 0 0 0 1 1 0 0 20 0 15 0 14125154 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235890551600 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
Current children cumulated CPU time: 61.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 135720 KiB
[startup+58.4007 s]
/proc/loadavg: 2.03 2.00 1.96 3/212 31455
/proc/meminfo: memFree=20816680/32770624 swapFree=67108860/67108860
[pid=31437] ppid=31434 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/31437/stat : 31437 (xcsp3-exec) S 31434 31437 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14125134 9740288 344 18446744073709551615 4194304 5098028 140730399075296 140730399073400 140477399208572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 15753216 140730399076730 140730399076934 140730399076934 140730399080427 0
/proc/31437/statm: 2378 344 289 221 0 87 0
[pid=31439] ppid=31437 vsize=13980732 memory=134344 CPUtime=62.26 cores=0,2,4,6
/proc/31439/stat : 31439 (java) S 31437 31437 18108 0 -1 1077944320 50104 0 0 0 6218 8 0 0 20 0 15 0 14125144 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140727953924752 140236420763383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
/proc/31439/statm: 3495183 33586 3194 1 0 3483476 0
[pid=31439/tid=31440] ppid=31437 vsize=13980732 memory=7588684550706915689 CPUtime=58.25 cores=0,2,4,6
/proc/31439/task/31440/stat : 31440 (java) R 31437 31437 18108 0 -1 4202560 12467 0 0 0 5821 4 0 0 20 0 15 0 14125144 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140236424999680 140236065462193 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31441] ppid=31437 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31441/stat : 31441 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140236388321552 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31442] ppid=31437 vsize=13980732 memory=132280 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31442/stat : 31442 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140236019550608 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31443] ppid=31437 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31443/stat : 31443 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140236018498064 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31444] ppid=31437 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31444/stat : 31444 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140236017445520 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31445] ppid=31437 vsize=13980732 memory=130168 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31445/stat : 31445 (java) S 31437 31437 18108 0 -1 1077944384 470 0 0 0 0 0 0 0 20 0 15 0 14125146 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235898972656 140236420774530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31446] ppid=31437 vsize=13980732 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31446/stat : 31446 (java) S 31437 31437 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14125147 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235897918880 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31447] ppid=31437 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31447/stat : 31447 (java) S 31437 31437 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14125147 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235896866288 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31448] ppid=31437 vsize=13980732 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31448/stat : 31448 (java) S 31437 31437 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14125149 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235895814864 140236420781979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31449] ppid=31437 vsize=13980732 memory=952 CPUtime=1.65 cores=0,2,4,6
/proc/31439/task/31449/stat : 31449 (java) S 31437 31437 18108 0 -1 1077944384 13114 0 0 0 164 1 0 0 20 0 15 0 14125149 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235894761456 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31450] ppid=31437 vsize=13980732 memory=1236 CPUtime=1.82 cores=0,2,4,6
/proc/31439/task/31450/stat : 31450 (java) S 31437 31437 18108 0 -1 1077944384 17495 0 0 0 181 1 0 0 20 0 15 0 14125149 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235893708912 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31451] ppid=31437 vsize=13980732 memory=2244 CPUtime=0.48 cores=0,2,4,6
/proc/31439/task/31451/stat : 31451 (java) S 31437 31437 18108 0 -1 1077944384 4661 0 0 0 48 0 0 0 20 0 15 0 14125149 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235892656368 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31452] ppid=31437 vsize=13980732 memory=4300 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31452/stat : 31452 (java) S 31437 31437 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14125149 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235891604064 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31453] ppid=31437 vsize=13980732 memory=1584 CPUtime=0.02 cores=0,2,4,6
/proc/31439/task/31453/stat : 31453 (java) S 31437 31437 18108 0 -1 1077944384 595 0 0 0 1 1 0 0 20 0 15 0 14125154 14316269568 33586 18446744073709551615 4194304 4196468 140727953942208 140235890551600 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
Current children cumulated CPU time: 62.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 135720 KiB
[startup+59.2008 s]
/proc/loadavg: 2.03 2.00 1.96 3/212 31455
/proc/meminfo: memFree=20814632/32770624 swapFree=67108860/67108860
[pid=31437] ppid=31434 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/31437/stat : 31437 (xcsp3-exec) S 31434 31437 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14125134 9740288 344 18446744073709551615 4194304 5098028 140730399075296 140730399073400 140477399208572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 15753216 140730399076730 140730399076934 140730399076934 140730399080427 0
/proc/31437/statm: 2378 344 289 221 0 87 0
[pid=31439] ppid=31437 vsize=13980732 memory=136392 CPUtime=63.06 cores=0,2,4,6
/proc/31439/stat : 31439 (java) S 31437 31437 18108 0 -1 1077944320 50108 0 0 0 6298 8 0 0 20 0 15 0 14125144 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140727953924752 140236420763383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
/proc/31439/statm: 3495183 34098 3194 1 0 3483476 0
[pid=31439/tid=31440] ppid=31437 vsize=13980732 memory=1292 CPUtime=59.05 cores=0,2,4,6
/proc/31439/task/31440/stat : 31440 (java) R 31437 31437 18108 0 -1 4202560 12471 0 0 0 5901 4 0 0 20 0 15 0 14125144 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140236424999680 140236066975995 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31441] ppid=31437 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31441/stat : 31441 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140236388321552 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31442] ppid=31437 vsize=13980732 memory=134344 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31442/stat : 31442 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140236019550608 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31443] ppid=31437 vsize=13980732 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31443/stat : 31443 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140236018498064 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31444] ppid=31437 vsize=13980732 memory=2780 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31444/stat : 31444 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140236017445520 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31445] ppid=31437 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31445/stat : 31445 (java) S 31437 31437 18108 0 -1 1077944384 470 0 0 0 0 0 0 0 20 0 15 0 14125146 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235898972656 140236420774530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31446] ppid=31437 vsize=13980732 memory=7378136912963661665 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31446/stat : 31446 (java) S 31437 31437 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14125147 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235897918880 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31447] ppid=31437 vsize=13980732 memory=7368002516671489646 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31447/stat : 31447 (java) S 31437 31437 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14125147 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235896866288 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31448] ppid=31437 vsize=13980732 memory=303746685182673186 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31448/stat : 31448 (java) S 31437 31437 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14125149 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235895814864 140236420781979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31449] ppid=31437 vsize=13980732 memory=288292194505458545 CPUtime=1.65 cores=0,2,4,6
/proc/31439/task/31449/stat : 31449 (java) S 31437 31437 18108 0 -1 1077944384 13114 0 0 0 164 1 0 0 20 0 15 0 14125149 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235894761456 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31450] ppid=31437 vsize=13980732 memory=7158876663477199981 CPUtime=1.82 cores=0,2,4,6
/proc/31439/task/31450/stat : 31450 (java) S 31437 31437 18108 0 -1 1077944384 17495 0 0 0 181 1 0 0 20 0 15 0 14125149 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235893708912 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31451] ppid=31437 vsize=13980732 memory=134344 CPUtime=0.48 cores=0,2,4,6
/proc/31439/task/31451/stat : 31451 (java) S 31437 31437 18108 0 -1 1077944384 4661 0 0 0 48 0 0 0 20 0 15 0 14125149 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235892656368 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31452] ppid=31437 vsize=13980732 memory=11520 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31452/stat : 31452 (java) S 31437 31437 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14125149 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235891604064 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31453] ppid=31437 vsize=13980732 memory=1292 CPUtime=0.02 cores=0,2,4,6
/proc/31439/task/31453/stat : 31453 (java) S 31437 31437 18108 0 -1 1077944384 595 0 0 0 1 1 0 0 20 0 15 0 14125154 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235890551600 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
Current children cumulated CPU time: 63.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 137768 KiB
[startup+59.6007 s]
/proc/loadavg: 2.03 2.00 1.96 3/212 31455
/proc/meminfo: memFree=20814632/32770624 swapFree=67108860/67108860
[pid=31437] ppid=31434 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/31437/stat : 31437 (xcsp3-exec) S 31434 31437 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14125134 9740288 344 18446744073709551615 4194304 5098028 140730399075296 140730399073400 140477399208572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 15753216 140730399076730 140730399076934 140730399076934 140730399080427 0
/proc/31437/statm: 2378 344 289 221 0 87 0
[pid=31439] ppid=31437 vsize=13980732 memory=136392 CPUtime=63.46 cores=0,2,4,6
/proc/31439/stat : 31439 (java) S 31437 31437 18108 0 -1 1077944320 50108 0 0 0 6338 8 0 0 20 0 15 0 14125144 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140727953924752 140236420763383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
/proc/31439/statm: 3495183 34098 3194 1 0 3483476 0
[pid=31439/tid=31440] ppid=31437 vsize=13980732 memory=952 CPUtime=59.45 cores=0,2,4,6
/proc/31439/task/31440/stat : 31440 (java) R 31437 31437 18108 0 -1 4202560 12471 0 0 0 5941 4 0 0 20 0 15 0 14125144 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140236424999680 140236067311199 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31441] ppid=31437 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31441/stat : 31441 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140236388321552 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31442] ppid=31437 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31442/stat : 31442 (java) S 31437 31437 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140236019550608 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31443] ppid=31437 vsize=13980732 memory=4300 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31443/stat : 31443 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140236018498064 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31444] ppid=31437 vsize=13980732 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31444/stat : 31444 (java) S 31437 31437 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14125145 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140236017445520 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31445] ppid=31437 vsize=13980732 memory=928 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31445/stat : 31445 (java) S 31437 31437 18108 0 -1 1077944384 470 0 0 0 0 0 0 0 20 0 15 0 14125146 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235898972656 140236420774530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31446] ppid=31437 vsize=13980732 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31446/stat : 31446 (java) S 31437 31437 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14125147 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235897918880 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31447] ppid=31437 vsize=13980732 memory=844 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31447/stat : 31447 (java) S 31437 31437 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14125147 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235896866288 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31448] ppid=31437 vsize=13980732 memory=3908 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31448/stat : 31448 (java) S 31437 31437 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14125149 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235895814864 140236420781979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31449] ppid=31437 vsize=13980732 memory=89 CPUtime=1.65 cores=0,2,4,6
/proc/31439/task/31449/stat : 31449 (java) S 31437 31437 18108 0 -1 1077944384 13114 0 0 0 164 1 0 0 20 0 15 0 14125149 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235894761456 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31450] ppid=31437 vsize=13980732 memory=0 CPUtime=1.82 cores=0,2,4,6
/proc/31439/task/31450/stat : 31450 (java) S 31437 31437 18108 0 -1 1077944384 17495 0 0 0 181 1 0 0 20 0 15 0 14125149 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235893708912 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31451] ppid=31437 vsize=13980732 memory=6186 CPUtime=0.48 cores=0,2,4,6
/proc/31439/task/31451/stat : 31451 (java) S 31437 31437 18108 0 -1 1077944384 4661 0 0 0 48 0 0 0 20 0 15 0 14125149 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235892656368 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31452] ppid=31437 vsize=13980732 memory=5786 CPUtime=0 cores=0,2,4,6
/proc/31439/task/31452/stat : 31452 (java) S 31437 31437 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14125149 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235891604064 140236420773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
[pid=31439/tid=31453] ppid=31437 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31439/task/31453/stat : 31453 (java) S 31437 31437 18108 0 -1 1077944384 595 0 0 0 1 1 0 0 20 0 15 0 14125154 14316269568 34098 18446744073709551615 4194304 4196468 140727953942208 140235890551600 140236420774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 20729856 140727953945010 140727953945186 140727953945186 140727953948623 0
Current children cumulated CPU time: 63.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 137768 KiB
Child status: 0
Real time (s): 59.6509
CPU time (s): 63.5223
CPU user time (s): 63.4262
CPU system time (s): 0.096089
CPU usage (%): 106.49
Max. virtual memory (cumulated for all children) (KiB): 13992408
Max. memory (cumulated for all children) (KiB): 145688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.4262
system time used= 0.096089
maximum resident set size= 144548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51269
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= 3333
involuntary context switches= 48
# summary of solver processes directly reported to runsolver:
# pid: 31437
# total CPU time (s): 63.5223
# total CPU user time (s): 63.4262
# total CPU system time (s): 0.096089
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.433222 second user time and 0.503518 second system time
The end