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 (15396 MiB free)
memory of node 1: 16384 MiB (14734 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283259-1503194178/watcher-4283259-1503194178 -o /tmp/evaluation-result-4283259-1503194178/solver-4283259-1503194178 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2270 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 705937715 HOME/instance-4283259-1503194178.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=6095, runsolver pid=6092
[startup+0.100184 s]*
/proc/loadavg: 1.35 1.39 1.41 2/198 6098
/proc/meminfo: memFree=30850912/32770624 swapFree=67108860/67108860
[pid=6095] ppid=6092 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6095/stat : 6095 (xcsp3-exec) S 6092 6095 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17824902 9740288 345 18446744073709551615 4194304 5098028 140728327136672 140728327134776 140404748522108 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 33165312 140728327139706 140728327139910 140728327139910 140728327143403 0
/proc/6095/statm: 2378 345 289 221 0 87 0
[pid=6097] ppid=6095 vsize=13358712 memory=14104 CPUtime=0.01 cores=0,2,4,6
/proc/6097/stat : 6097 (java) S 6095 6095 18108 0 -1 1077944320 3324 0 0 0 1 0 0 0 20 0 6 0 17824911 13679321088 3526 18446744073709551615 4194304 4196468 140725175420112 140725175402656 140254760812279 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
/proc/6097/statm: 3339678 3526 1892 1 0 3329175 0
[pid=6097/tid=6098] ppid=6095 vsize=13358712 memory=-8023549066454273880 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6098/stat : 6098 (java) R 6095 6095 18108 0 -1 4202560 2110 0 0 0 0 0 0 0 20 0 6 0 17824912 13679321088 3592 18446744073709551615 4194304 4196468 140725175420112 140254765048400 140254744892766 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6099] ppid=6095 vsize=13358712 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6099/stat : 6099 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 17824912 13679321088 3592 18446744073709551615 4194304 4196468 140725175420112 140254717778960 140254760822485 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6100] ppid=6095 vsize=13358712 memory=139628839257728 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6100/stat : 6100 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 17824912 13679321088 3592 18446744073709551615 4194304 4196468 140725175420112 140254716726416 140254760822485 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6101] ppid=6095 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6101/stat : 6101 (java) S 6095 6095 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 17824912 13679321088 3592 18446744073709551615 4194304 4196468 140725175420112 140254715673360 140254760822485 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6102] ppid=6095 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6102/stat : 6102 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 17824912 13679321088 3592 18446744073709551615 4194304 4196468 140725175420112 140254714620816 140254760822485 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15484 KiB
[startup+0.210107 s]*
/proc/loadavg: 1.35 1.39 1.41 3/211 6111
/proc/meminfo: memFree=30841416/32770624 swapFree=67108860/67108860
[pid=6095] ppid=6092 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6095/stat : 6095 (xcsp3-exec) S 6092 6095 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17824902 9740288 345 18446744073709551615 4194304 5098028 140728327136672 140728327134776 140404748522108 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 33165312 140728327139706 140728327139910 140728327139910 140728327143403 0
/proc/6095/statm: 2378 345 289 221 0 87 0
[pid=6097] ppid=6095 vsize=13974352 memory=27444 CPUtime=0.09 cores=0,2,4,6
/proc/6097/stat : 6097 (java) S 6095 6095 18108 0 -1 1077944320 5258 0 0 0 9 0 0 0 20 0 15 0 17824911 14309736448 6861 18446744073709551615 4194304 4196468 140725175420112 140725175402656 140254760812279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
/proc/6097/statm: 3493588 6861 2751 1 0 3482964 0
[pid=6097/tid=6098] ppid=6095 vsize=13974352 memory=-8023549066454273880 CPUtime=0.07 cores=0,2,4,6
/proc/6097/task/6098/stat : 6098 (java) R 6095 6095 18108 0 -1 4202560 3403 0 0 0 7 0 0 0 20 0 15 0 17824912 14309736448 6861 18446744073709551615 4194304 4196468 140725175420112 140254765037968 140254744892766 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6099] ppid=6095 vsize=13974352 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6099/stat : 6099 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17824912 14309736448 6861 18446744073709551615 4194304 4196468 140725175420112 140254717778960 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6100] ppid=6095 vsize=13974352 memory=139628839257728 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6100/stat : 6100 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17824912 14309736448 6861 18446744073709551615 4194304 4196468 140725175420112 140254716726416 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6101] ppid=6095 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6101/stat : 6101 (java) S 6095 6095 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17824912 14309736448 6861 18446744073709551615 4194304 4196468 140725175420112 140254715673360 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6102] ppid=6095 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6102/stat : 6102 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17824912 14309736448 6861 18446744073709551615 4194304 4196468 140725175420112 140254714620816 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6103] ppid=6095 vsize=13974352 memory=139628839257728 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6103/stat : 6103 (java) S 6095 6095 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17824914 14309736448 6861 18446744073709551615 4194304 4196468 140725175420112 140254306261232 140254760823426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6104] ppid=6095 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6104/stat : 6104 (java) S 6095 6095 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17824914 14309736448 6861 18446744073709551615 4194304 4196468 140725175420112 140254237418656 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6105] ppid=6095 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6105/stat : 6105 (java) S 6095 6095 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17824914 14309736448 6861 18446744073709551615 4194304 4196468 140725175420112 140254236365552 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6106] ppid=6095 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6106/stat : 6106 (java) S 6095 6095 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17824917 14309736448 6861 18446744073709551615 4194304 4196468 140725175420112 140254235314128 140254760830875 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6107] ppid=6095 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6107/stat : 6107 (java) S 6095 6095 18108 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 17824917 14309736448 6861 18446744073709551615 4194304 4196468 140725175420112 140254234262256 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6108] ppid=6095 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6108/stat : 6108 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17824917 14309736448 6861 18446744073709551615 4194304 4196468 140725175420112 140254233209712 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6109] ppid=6095 vsize=13974352 memory=139628839257728 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6109/stat : 6109 (java) R 6095 6095 18108 0 -1 4202560 245 0 0 0 0 0 0 0 20 0 15 0 17824917 14309736448 6861 18446744073709551615 4194304 4196468 140725175420112 140254232156656 140254760824214 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6110] ppid=6095 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6110/stat : 6110 (java) S 6095 6095 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17824917 14309736448 6861 18446744073709551615 4194304 4196468 140725175420112 140254231104352 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6111] ppid=6095 vsize=13974352 memory=139628839257728 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6111/stat : 6111 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17824921 14309736448 6861 18446744073709551615 4194304 4196468 140725175420112 140254230051376 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28824 KiB
[startup+0.313192 s]*
/proc/loadavg: 1.35 1.39 1.41 5/211 6111
/proc/meminfo: memFree=30826868/32770624 swapFree=67108860/67108860
[pid=6095] ppid=6092 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6095/stat : 6095 (xcsp3-exec) S 6092 6095 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17824902 9740288 345 18446744073709551615 4194304 5098028 140728327136672 140728327134776 140404748522108 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 33165312 140728327139706 140728327139910 140728327139910 140728327143403 0
/proc/6095/statm: 2378 345 289 221 0 87 0
[pid=6097] ppid=6095 vsize=13974352 memory=37224 CPUtime=0.28 cores=0,2,4,6
/proc/6097/stat : 6097 (java) S 6095 6095 18108 0 -1 1077944320 8884 0 0 0 26 2 0 0 20 0 15 0 17824911 14309736448 9306 18446744073709551615 4194304 4196468 140725175420112 140725175402656 140254760812279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
/proc/6097/statm: 3493588 9306 2981 1 0 3482964 0
[pid=6097/tid=6098] ppid=6095 vsize=13974352 memory=-7677926825137650786 CPUtime=0.18 cores=0,2,4,6
/proc/6097/task/6098/stat : 6098 (java) R 6095 6095 18108 0 -1 4202560 6121 0 0 0 16 2 0 0 20 0 15 0 17824912 14309736448 9306 18446744073709551615 4194304 4196468 140725175420112 140254765039344 140254760834205 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6099] ppid=6095 vsize=13974352 memory=-6733704525061579059 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6099/stat : 6099 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17824912 14309736448 9306 18446744073709551615 4194304 4196468 140725175420112 140254717778960 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6100] ppid=6095 vsize=13974352 memory=139628839264721 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6100/stat : 6100 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17824912 14309736448 9306 18446744073709551615 4194304 4196468 140725175420112 140254716726416 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6101] ppid=6095 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6101/stat : 6101 (java) S 6095 6095 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17824912 14309736448 9306 18446744073709551615 4194304 4196468 140725175420112 140254715673360 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6102] ppid=6095 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6102/stat : 6102 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17824912 14309736448 9306 18446744073709551615 4194304 4196468 140725175420112 140254714620816 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6103] ppid=6095 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6103/stat : 6103 (java) S 6095 6095 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17824914 14309736448 9306 18446744073709551615 4194304 4196468 140725175420112 140254306261232 140254760823426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6104] ppid=6095 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6104/stat : 6104 (java) S 6095 6095 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17824914 14309736448 9306 18446744073709551615 4194304 4196468 140725175420112 140254237418656 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6105] ppid=6095 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6105/stat : 6105 (java) S 6095 6095 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17824914 14309736448 9306 18446744073709551615 4194304 4196468 140725175420112 140254236365552 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6106] ppid=6095 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6106/stat : 6106 (java) S 6095 6095 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17824917 14309736448 9306 18446744073709551615 4194304 4196468 140725175420112 140254235314128 140254760830875 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6107] ppid=6095 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6097/task/6107/stat : 6107 (java) R 6095 6095 18108 0 -1 1077944384 554 0 0 0 2 0 0 0 20 0 15 0 17824917 14309736448 9306 18446744073709551615 4194304 4196468 140725175420112 140254234262256 140254760823426 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6108] ppid=6095 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6097/task/6108/stat : 6108 (java) R 6095 6095 18108 0 -1 4202560 211 0 0 0 1 0 0 0 20 0 15 0 17824917 14309736448 9306 18446744073709551615 4194304 4196468 140725175420112 140254233209712 140254740983632 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6109] ppid=6095 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/6097/task/6109/stat : 6109 (java) R 6095 6095 18108 0 -1 4202560 700 0 0 0 6 0 0 0 20 0 15 0 17824917 14309736448 9306 18446744073709551615 4194304 4196468 140725175420112 140254232156656 140254744892766 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6110] ppid=6095 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6110/stat : 6110 (java) S 6095 6095 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17824917 14309736448 9306 18446744073709551615 4194304 4196468 140725175420112 140254231104352 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6111] ppid=6095 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6111/stat : 6111 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17824921 14309736448 9306 18446744073709551615 4194304 4196468 140725175420112 140254230051376 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38604 KiB
[startup+0.709129 s]
/proc/loadavg: 1.35 1.39 1.41 5/211 6111
/proc/meminfo: memFree=30816548/32770624 swapFree=67108860/67108860
[pid=6095] ppid=6092 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6095/stat : 6095 (xcsp3-exec) S 6092 6095 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17824902 9740288 345 18446744073709551615 4194304 5098028 140728327136672 140728327134776 140404748522108 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 33165312 140728327139706 140728327139910 140728327139910 140728327143403 0
/proc/6095/statm: 2378 345 289 221 0 87 0
[pid=6097] ppid=6095 vsize=13980732 memory=65996 CPUtime=1.23 cores=0,2,4,6
/proc/6097/stat : 6097 (java) S 6095 6095 18108 0 -1 1077944320 13739 0 0 0 118 5 0 0 20 0 15 0 17824911 14316269568 16499 18446744073709551615 4194304 4196468 140725175420112 140725175402656 140254760812279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
/proc/6097/statm: 3495183 16499 3176 1 0 3483476 0
[pid=6097/tid=6098] ppid=6095 vsize=13980732 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/6097/task/6098/stat : 6098 (java) R 6095 6095 18108 0 -1 4202560 8578 0 0 0 52 4 0 0 20 0 15 0 17824912 14316269568 16499 18446744073709551615 4194304 4196468 140725175420112 140254765050704 140254391106454 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6099] ppid=6095 vsize=13980732 memory=8320808402719881013 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6099/stat : 6099 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17824912 14316269568 16499 18446744073709551615 4194304 4196468 140725175420112 140254717778960 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6100] ppid=6095 vsize=13980732 memory=6368748898559742033 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6100/stat : 6100 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17824912 14316269568 16499 18446744073709551615 4194304 4196468 140725175420112 140254716726416 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6101] ppid=6095 vsize=13980732 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6101/stat : 6101 (java) S 6095 6095 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17824912 14316269568 16499 18446744073709551615 4194304 4196468 140725175420112 140254715673360 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6102] ppid=6095 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6102/stat : 6102 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17824912 14316269568 16499 18446744073709551615 4194304 4196468 140725175420112 140254714620816 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6103] ppid=6095 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6103/stat : 6103 (java) S 6095 6095 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17824914 14316269568 16499 18446744073709551615 4194304 4196468 140725175420112 140254306261232 140254760823426 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6104] ppid=6095 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6104/stat : 6104 (java) S 6095 6095 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17824914 14316269568 16499 18446744073709551615 4194304 4196468 140725175420112 140254237418656 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6105] ppid=6095 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6105/stat : 6105 (java) S 6095 6095 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17824914 14316269568 16499 18446744073709551615 4194304 4196468 140725175420112 140254236365552 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6106] ppid=6095 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6106/stat : 6106 (java) S 6095 6095 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17824917 14316269568 16499 18446744073709551615 4194304 4196468 140725175420112 140254235314128 140254760830875 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6107] ppid=6095 vsize=13980732 memory=30305 CPUtime=0.17 cores=0,2,4,6
/proc/6097/task/6107/stat : 6107 (java) R 6095 6095 18108 0 -1 4202560 1188 0 0 0 17 0 0 0 20 0 15 0 17824917 14316269568 16499 18446744073709551615 4194304 4196468 140725175420112 140254234243272 140254741511489 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6108] ppid=6095 vsize=13980732 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/6097/task/6108/stat : 6108 (java) R 6095 6095 18108 0 -1 4202560 959 0 0 0 19 0 0 0 20 0 15 0 17824917 14316269568 16499 18446744073709551615 4194304 4196468 140725175420112 140254233194776 140254745206111 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6109] ppid=6095 vsize=13980732 memory=-3967418655009478193 CPUtime=0.29 cores=0,2,4,6
/proc/6097/task/6109/stat : 6109 (java) R 6095 6095 18108 0 -1 4202560 1725 0 0 0 29 0 0 0 20 0 15 0 17824917 14316269568 16565 18446744073709551615 4194304 4196468 140725175420112 140254232152616 140254740081284 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6110] ppid=6095 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6110/stat : 6110 (java) S 6095 6095 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17824917 14316269568 16565 18446744073709551615 4194304 4196468 140725175420112 140254231104352 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6111] ppid=6095 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6111/stat : 6111 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17824921 14316269568 16565 18446744073709551615 4194304 4196468 140725175420112 140254230051376 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67376 KiB
[startup+1.50085 s]
/proc/loadavg: 1.35 1.39 1.41 5/211 6111
/proc/meminfo: memFree=30770404/32770624 swapFree=67108860/67108860
[pid=6095] ppid=6092 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6095/stat : 6095 (xcsp3-exec) S 6092 6095 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17824902 9740288 345 18446744073709551615 4194304 5098028 140728327136672 140728327134776 140404748522108 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 33165312 140728327139706 140728327139910 140728327139910 140728327143403 0
/proc/6095/statm: 2378 345 289 221 0 87 0
[pid=6097] ppid=6095 vsize=13980732 memory=142892 CPUtime=3.63 cores=0,2,4,6
/proc/6097/stat : 6097 (java) S 6095 6095 18108 0 -1 1077944320 24022 0 0 0 355 8 0 0 20 0 15 0 17824911 14316269568 35723 18446744073709551615 4194304 4196468 140725175420112 140725175402656 140254760812279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
/proc/6097/statm: 3495183 35723 3192 1 0 3483476 0
[pid=6097/tid=6098] ppid=6095 vsize=13980732 memory=4128 CPUtime=1.35 cores=0,2,4,6
/proc/6097/task/6098/stat : 6098 (java) R 6095 6095 18108 0 -1 4202560 9151 0 0 0 130 5 0 0 20 0 15 0 17824912 14316269568 35723 18446744073709551615 4194304 4196468 140725175420112 140254765048808 140254392929715 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6099] ppid=6095 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6099/stat : 6099 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17824912 14316269568 35723 18446744073709551615 4194304 4196468 140725175420112 140254717778960 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6100] ppid=6095 vsize=13980732 memory=139628715950208 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6100/stat : 6100 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17824912 14316269568 35723 18446744073709551615 4194304 4196468 140725175420112 140254716726416 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6101] ppid=6095 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6101/stat : 6101 (java) S 6095 6095 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17824912 14316269568 35723 18446744073709551615 4194304 4196468 140725175420112 140254715673360 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6102] ppid=6095 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6102/stat : 6102 (java) S 6095 6095 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17824912 14316269568 35723 18446744073709551615 4194304 4196468 140725175420112 140254714620816 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6103] ppid=6095 vsize=13980732 memory=276 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6103/stat : 6103 (java) S 6095 6095 18108 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 17824914 14316269568 35723 18446744073709551615 4194304 4196468 140725175420112 140254306261232 140254760823426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6104] ppid=6095 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6104/stat : 6104 (java) S 6095 6095 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17824914 14316269568 35723 18446744073709551615 4194304 4196468 140725175420112 140254237418656 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6105] ppid=6095 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/6095/stat : 6095 (xcsp3-exec) S 6092 6095 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17824902 9740288 345 18446744073709551615 4194304 5098028 140728327136672 140728327134776 140404748522108 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 33165312 140728327139706 140728327139910 140728327139910 140728327143403 0
/proc/6095/statm: 2378 345 289 221 0 87 0
[pid=6097] ppid=6095 vsize=13980732 memory=732512 CPUtime=682.76 cores=0,2,4,6
/proc/6097/stat : 6097 (java) S 6095 6095 18108 0 -1 1077944320 141228 0 0 0 68105 171 0 0 20 0 15 0 17824911 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140725175402656 140254760812279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
/proc/6097/statm: 3495183 183128 3254 1 0 3483476 0
[pid=6097/tid=6098] ppid=6095 vsize=13980732 memory=1380 CPUtime=653.96 cores=0,2,4,6
/proc/6097/task/6098/stat : 6098 (java) R 6095 6095 18108 0 -1 4202560 37216 0 0 0 65370 26 0 0 20 0 15 0 17824912 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254765051536 140254392670940 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6099] ppid=6095 vsize=13980732 memory=739588 CPUtime=4.68 cores=0,2,4,6
/proc/6097/task/6099/stat : 6099 (java) S 6095 6095 18108 0 -1 1077944384 5797 0 0 0 438 30 0 0 20 0 15 0 17824912 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254717778960 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6100] ppid=6095 vsize=13980732 memory=1796 CPUtime=4.67 cores=0,2,4,6
/proc/6097/task/6100/stat : 6100 (java) S 6095 6095 18108 0 -1 1077944384 5414 0 0 0 438 29 0 0 20 0 15 0 17824912 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254716726416 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6101] ppid=6095 vsize=13980732 memory=768816 CPUtime=4.64 cores=0,2,4,6
/proc/6097/task/6101/stat : 6101 (java) S 6095 6095 18108 0 -1 1077944384 6099 0 0 0 435 29 0 0 20 0 15 0 17824912 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254715673360 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6102] ppid=6095 vsize=13980732 memory=792 CPUtime=4.61 cores=0,2,4,6
/proc/6097/task/6102/stat : 6102 (java) S 6095 6095 18108 0 -1 1077944384 6282 0 0 0 433 28 0 0 20 0 15 0 17824912 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254714620816 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6103] ppid=6095 vsize=13980732 memory=1440 CPUtime=0.25 cores=0,2,4,6
/proc/6097/task/6103/stat : 6103 (java) S 6095 6095 18108 0 -1 1077944384 20663 0 0 0 21 4 0 0 20 0 15 0 17824914 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254306261232 140254760823426 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6104] ppid=6095 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6104/stat : 6104 (java) S 6095 6095 18108 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 17824914 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254237418720 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6105] ppid=6095 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6105/stat : 6105 (java) S 6095 6095 18108 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 17824914 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254236365568 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6106] ppid=6095 vsize=13980732 memory=740208 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6106/stat : 6106 (java) S 6095 6095 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17824917 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254235314128 140254760830875 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6107] ppid=6095 vsize=13980732 memory=7680170660397595203 CPUtime=4.59 cores=0,2,4,6
/proc/6097/task/6107/stat : 6107 (java) S 6095 6095 18108 0 -1 1077944384 24417 0 0 0 457 2 0 0 20 0 15 0 17824917 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254234262256 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6108] ppid=6095 vsize=13980732 memory=768816 CPUtime=4.11 cores=0,2,4,6
/proc/6097/task/6108/stat : 6108 (java) S 6095 6095 18108 0 -1 1077944384 22615 0 0 0 409 2 0 0 20 0 15 0 17824917 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254233209712 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6109] ppid=6095 vsize=13980732 memory=0 CPUtime=0.79 cores=0,2,4,6
/proc/6097/task/6109/stat : 6109 (java) S 6095 6095 18108 0 -1 1077944384 10893 0 0 0 76 3 0 0 20 0 15 0 17824917 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254232156656 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6110] ppid=6095 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6110/stat : 6110 (java) S 6095 6095 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17824917 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254231104352 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6111] ppid=6095 vsize=13980732 memory=7680170660397595203 CPUtime=0.36 cores=0,2,4,6
/proc/6097/task/6111/stat : 6111 (java) S 6095 6095 18108 0 -1 1077944384 474 0 0 0 18 18 0 0 20 0 15 0 17824921 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254230051376 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
Current children cumulated CPU time: 682.76 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 733892 KiB
[startup+660.801 s]
/proc/loadavg: 1.84 1.74 1.59 3/212 6224
/proc/meminfo: memFree=29775300/32770624 swapFree=67108860/67108860
[pid=6095] ppid=6092 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6095/stat : 6095 (xcsp3-exec) S 6092 6095 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17824902 9740288 345 18446744073709551615 4194304 5098028 140728327136672 140728327134776 140404748522108 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 33165312 140728327139706 140728327139910 140728327139910 140728327143403 0
/proc/6095/statm: 2378 345 289 221 0 87 0
[pid=6097] ppid=6095 vsize=13980732 memory=732512 CPUtime=684.37 cores=0,2,4,6
/proc/6097/stat : 6097 (java) S 6095 6095 18108 0 -1 1077944320 141229 0 0 0 68266 171 0 0 20 0 15 0 17824911 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140725175402656 140254760812279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
/proc/6097/statm: 3495183 183128 3254 1 0 3483476 0
[pid=6097/tid=6098] ppid=6095 vsize=13980732 memory=10936 CPUtime=655.56 cores=0,2,4,6
/proc/6097/task/6098/stat : 6098 (java) R 6095 6095 18108 0 -1 4202560 37217 0 0 0 65530 26 0 0 20 0 15 0 17824912 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254765051536 140254396630148 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6099] ppid=6095 vsize=13980732 memory=1700 CPUtime=4.68 cores=0,2,4,6
/proc/6097/task/6099/stat : 6099 (java) S 6095 6095 18108 0 -1 1077944384 5797 0 0 0 438 30 0 0 20 0 15 0 17824912 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254717778960 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6100] ppid=6095 vsize=13980732 memory=5408 CPUtime=4.67 cores=0,2,4,6
/proc/6097/task/6100/stat : 6100 (java) S 6095 6095 18108 0 -1 1077944384 5414 0 0 0 438 29 0 0 20 0 15 0 17824912 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254716726416 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6101] ppid=6095 vsize=13980732 memory=759072 CPUtime=4.64 cores=0,2,4,6
/proc/6097/task/6101/stat : 6101 (java) S 6095 6095 18108 0 -1 1077944384 6099 0 0 0 435 29 0 0 20 0 15 0 17824912 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254715673360 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6102] ppid=6095 vsize=13980732 memory=759072 CPUtime=4.61 cores=0,2,4,6
/proc/6097/task/6102/stat : 6102 (java) S 6095 6095 18108 0 -1 1077944384 6282 0 0 0 433 28 0 0 20 0 15 0 17824912 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254714620816 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6103] ppid=6095 vsize=13980732 memory=4300 CPUtime=0.25 cores=0,2,4,6
/proc/6097/task/6103/stat : 6103 (java) S 6095 6095 18108 0 -1 1077944384 20663 0 0 0 21 4 0 0 20 0 15 0 17824914 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254306261232 140254760823426 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6104] ppid=6095 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6104/stat : 6104 (java) S 6095 6095 18108 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 17824914 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254237418720 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6105] ppid=6095 vsize=13980732 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6105/stat : 6105 (java) S 6095 6095 18108 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 17824914 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254236365568 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6106] ppid=6095 vsize=13980732 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6106/stat : 6106 (java) S 6095 6095 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17824917 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254235314128 140254760830875 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6107] ppid=6095 vsize=13980732 memory=8836 CPUtime=4.59 cores=0,2,4,6
/proc/6097/task/6107/stat : 6107 (java) S 6095 6095 18108 0 -1 1077944384 24417 0 0 0 457 2 0 0 20 0 15 0 17824917 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254234262256 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6108] ppid=6095 vsize=13980732 memory=288230574492221466 CPUtime=4.11 cores=0,2,4,6
/proc/6097/task/6108/stat : 6108 (java) S 6095 6095 18108 0 -1 1077944384 22615 0 0 0 409 2 0 0 20 0 15 0 17824917 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254233209712 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6109] ppid=6095 vsize=13980732 memory=288230604624101684 CPUtime=0.79 cores=0,2,4,6
/proc/6097/task/6109/stat : 6109 (java) S 6095 6095 18108 0 -1 1077944384 10893 0 0 0 76 3 0 0 20 0 15 0 17824917 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254232156656 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6110] ppid=6095 vsize=13980732 memory=13573678025672028 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6110/stat : 6110 (java) S 6095 6095 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17824917 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254231104352 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6111] ppid=6095 vsize=13980732 memory=15876 CPUtime=0.36 cores=0,2,4,6
/proc/6097/task/6111/stat : 6111 (java) S 6095 6095 18108 0 -1 1077944384 474 0 0 0 18 18 0 0 20 0 15 0 17824921 14316269568 183128 18446744073709551615 4194304 4196468 140725175420112 140254230051376 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
Current children cumulated CPU time: 684.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 733892 KiB
[startup+661.601 s]
/proc/loadavg: 1.84 1.74 1.59 3/212 6224
/proc/meminfo: memFree=29775300/32770624 swapFree=67108860/67108860
[pid=6095] ppid=6092 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6095/stat : 6095 (xcsp3-exec) S 6092 6095 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17824902 9740288 345 18446744073709551615 4194304 5098028 140728327136672 140728327134776 140404748522108 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 33165312 140728327139706 140728327139910 140728327139910 140728327143403 0
/proc/6095/statm: 2378 345 289 221 0 87 0
[pid=6097] ppid=6095 vsize=13980732 memory=720256 CPUtime=685.23 cores=0,2,4,6
/proc/6097/stat : 6097 (java) S 6095 6095 18108 0 -1 1077944320 141637 0 0 0 68352 171 0 0 20 0 15 0 17824911 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140725175402656 140254760812279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
/proc/6097/statm: 3495183 180064 3254 1 0 3483476 0
[pid=6097/tid=6098] ppid=6095 vsize=13980732 memory=-4866526891258710369 CPUtime=656.34 cores=0,2,4,6
/proc/6097/task/6098/stat : 6098 (java) R 6095 6095 18108 0 -1 4202560 37228 0 0 0 65608 26 0 0 20 0 15 0 17824912 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254765051568 140254392669575 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6099] ppid=6095 vsize=13980732 memory=7976406965554101975 CPUtime=4.7 cores=0,2,4,6
/proc/6097/task/6099/stat : 6099 (java) S 6095 6095 18108 0 -1 1077944384 5811 0 0 0 440 30 0 0 20 0 15 0 17824912 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254717778960 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6100] ppid=6095 vsize=13980732 memory=13180 CPUtime=4.69 cores=0,2,4,6
/proc/6097/task/6100/stat : 6100 (java) S 6095 6095 18108 0 -1 1077944384 5435 0 0 0 440 29 0 0 20 0 15 0 17824912 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254716726416 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6101] ppid=6095 vsize=13980732 memory=1292 CPUtime=4.66 cores=0,2,4,6
/proc/6097/task/6101/stat : 6101 (java) S 6095 6095 18108 0 -1 1077944384 6119 0 0 0 437 29 0 0 20 0 15 0 17824912 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254715673360 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6102] ppid=6095 vsize=13980732 memory=2436 CPUtime=4.63 cores=0,2,4,6
/proc/6097/task/6102/stat : 6102 (java) S 6095 6095 18108 0 -1 1077944384 6537 0 0 0 435 28 0 0 20 0 15 0 17824912 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254714620816 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6103] ppid=6095 vsize=13980732 memory=1732 CPUtime=0.25 cores=0,2,4,6
/proc/6097/task/6103/stat : 6103 (java) S 6095 6095 18108 0 -1 1077944384 20677 0 0 0 21 4 0 0 20 0 15 0 17824914 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254306261232 140254760823426 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6104] ppid=6095 vsize=13980732 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6104/stat : 6104 (java) S 6095 6095 18108 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 17824914 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254237418720 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6105] ppid=6095 vsize=13980732 memory=10936 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6105/stat : 6105 (java) S 6095 6095 18108 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 17824914 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254236365568 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6106] ppid=6095 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6106/stat : 6106 (java) S 6095 6095 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17824917 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254235314128 140254760830875 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6107] ppid=6095 vsize=13980732 memory=5408 CPUtime=4.59 cores=0,2,4,6
/proc/6097/task/6107/stat : 6107 (java) S 6095 6095 18108 0 -1 1077944384 24417 0 0 0 457 2 0 0 20 0 15 0 17824917 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254234262256 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6108] ppid=6095 vsize=13980732 memory=8684 CPUtime=4.12 cores=0,2,4,6
/proc/6097/task/6108/stat : 6108 (java) S 6095 6095 18108 0 -1 1077944384 22688 0 0 0 410 2 0 0 20 0 15 0 17824917 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254233209712 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6109] ppid=6095 vsize=13980732 memory=4128 CPUtime=0.79 cores=0,2,4,6
/proc/6097/task/6109/stat : 6109 (java) S 6095 6095 18108 0 -1 1077944384 10893 0 0 0 76 3 0 0 20 0 15 0 17824917 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254232156656 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6110] ppid=6095 vsize=13980732 memory=13180 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6110/stat : 6110 (java) S 6095 6095 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17824917 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254231104352 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6111] ppid=6095 vsize=13980732 memory=1292 CPUtime=0.36 cores=0,2,4,6
/proc/6097/task/6111/stat : 6111 (java) S 6095 6095 18108 0 -1 1077944384 474 0 0 0 18 18 0 0 20 0 15 0 17824921 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254230051376 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
Current children cumulated CPU time: 685.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 721636 KiB
[startup+661.801 s]
/proc/loadavg: 1.84 1.74 1.59 3/212 6224
/proc/meminfo: memFree=29775300/32770624 swapFree=67108860/67108860
[pid=6095] ppid=6092 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6095/stat : 6095 (xcsp3-exec) S 6092 6095 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17824902 9740288 345 18446744073709551615 4194304 5098028 140728327136672 140728327134776 140404748522108 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 33165312 140728327139706 140728327139910 140728327139910 140728327143403 0
/proc/6095/statm: 2378 345 289 221 0 87 0
[pid=6097] ppid=6095 vsize=13980732 memory=720256 CPUtime=685.43 cores=0,2,4,6
/proc/6097/stat : 6097 (java) S 6095 6095 18108 0 -1 1077944320 141637 0 0 0 68372 171 0 0 20 0 15 0 17824911 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140725175402656 140254760812279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
/proc/6097/statm: 3495183 180064 3254 1 0 3483476 0
[pid=6097/tid=6098] ppid=6095 vsize=13980732 memory=2004 CPUtime=656.54 cores=0,2,4,6
/proc/6097/task/6098/stat : 6098 (java) R 6095 6095 18108 0 -1 4202560 37228 0 0 0 65628 26 0 0 20 0 15 0 17824912 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254765051568 140254391066247 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6099] ppid=6095 vsize=13980732 memory=10936 CPUtime=4.7 cores=0,2,4,6
/proc/6097/task/6099/stat : 6099 (java) S 6095 6095 18108 0 -1 1077944384 5811 0 0 0 440 30 0 0 20 0 15 0 17824912 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254717778960 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6100] ppid=6095 vsize=13980732 memory=1380 CPUtime=4.69 cores=0,2,4,6
/proc/6097/task/6100/stat : 6100 (java) S 6095 6095 18108 0 -1 1077944384 5435 0 0 0 440 29 0 0 20 0 15 0 17824912 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254716726416 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6101] ppid=6095 vsize=13980732 memory=732512 CPUtime=4.66 cores=0,2,4,6
/proc/6097/task/6101/stat : 6101 (java) S 6095 6095 18108 0 -1 1077944384 6119 0 0 0 437 29 0 0 20 0 15 0 17824912 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254715673360 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6102] ppid=6095 vsize=13980732 memory=2752 CPUtime=4.63 cores=0,2,4,6
/proc/6097/task/6102/stat : 6102 (java) S 6095 6095 18108 0 -1 1077944384 6537 0 0 0 435 28 0 0 20 0 15 0 17824912 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254714620816 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6103] ppid=6095 vsize=13980732 memory=1700 CPUtime=0.25 cores=0,2,4,6
/proc/6097/task/6103/stat : 6103 (java) S 6095 6095 18108 0 -1 1077944384 20677 0 0 0 21 4 0 0 20 0 15 0 17824914 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254306261232 140254760823426 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6104] ppid=6095 vsize=13980732 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6104/stat : 6104 (java) S 6095 6095 18108 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 17824914 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254237418720 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6105] ppid=6095 vsize=13980732 memory=8684 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6105/stat : 6105 (java) S 6095 6095 18108 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 17824914 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254236365568 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6106] ppid=6095 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6106/stat : 6106 (java) S 6095 6095 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17824917 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254235314128 140254760830875 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6107] ppid=6095 vsize=13980732 memory=792 CPUtime=4.59 cores=0,2,4,6
/proc/6097/task/6107/stat : 6107 (java) S 6095 6095 18108 0 -1 1077944384 24417 0 0 0 457 2 0 0 20 0 15 0 17824917 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254234262256 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6108] ppid=6095 vsize=13980732 memory=1440 CPUtime=4.12 cores=0,2,4,6
/proc/6097/task/6108/stat : 6108 (java) S 6095 6095 18108 0 -1 1077944384 22688 0 0 0 410 2 0 0 20 0 15 0 17824917 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254233209712 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6109] ppid=6095 vsize=13980732 memory=4616 CPUtime=0.79 cores=0,2,4,6
/proc/6097/task/6109/stat : 6109 (java) S 6095 6095 18108 0 -1 1077944384 10893 0 0 0 76 3 0 0 20 0 15 0 17824917 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254232156656 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6110] ppid=6095 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/6097/task/6110/stat : 6110 (java) S 6095 6095 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17824917 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254231104352 140254760822485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
[pid=6097/tid=6111] ppid=6095 vsize=13980732 memory=1200 CPUtime=0.36 cores=0,2,4,6
/proc/6097/task/6111/stat : 6111 (java) S 6095 6095 18108 0 -1 1077944384 474 0 0 0 18 18 0 0 20 0 15 0 17824921 14316269568 180064 18446744073709551615 4194304 4196468 140725175420112 140254230051376 140254760823426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 15515648 140725175427506 140725175427682 140725175427682 140725175431119 0
Current children cumulated CPU time: 685.43 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 721636 KiB
Child status: 0
Real time (s): 661.849
CPU time (s): 685.493
CPU user time (s): 683.772
CPU system time (s): 1.72155
CPU usage (%): 103.572
Max. virtual memory (cumulated for all children) (KiB): 13992256
Max. memory (cumulated for all children) (KiB): 1548476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 683.772
system time used= 1.72155
maximum resident set size= 1549144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142243
page faults= 0
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19811
involuntary context switches= 1317
# summary of solver processes directly reported to runsolver:
# pid: 6095
# total CPU time (s): 685.493
# total CPU user time (s): 683.772
# total CPU system time (s): 1.72155
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.00814 second user time and 6.60352 second system time
The end