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 (13777 MiB free)
memory of node 1: 16384 MiB (11068 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406339-1569401475/watcher-4406339-1569401475 -o /tmp/evaluation-result-4406339-1569401475/solver-4406339-1569401475 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569396629-4098 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1988558389 HOME/instance-4406339-1569401475.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=5697, runsolver pid=5694
Current StackSize limit: 8192 KiB
[startup+0.100698 s]*
/proc/loadavg: 1.98 1.87 1.88 4/229 5713
/proc/meminfo: memFree=25426208/32770624 swapFree=66959728/67108860
[pid=5697] ppid=5694 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5697/stat : 5697 (xcsp3-exec) S 5694 5697 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516416292 115843072 363 33554432000 4194304 5098028 140730933064912 140730933063016 140128774337148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25878528 140730933068666 140730933068909 140730933068909 140730933071818 0
/proc/5697/statm: 28282 363 304 221 0 87 0
[pid=5699] ppid=5697 vsize=15144776 memory=28800 CPUtime=0.11 cores=0,2,4,6
/proc/5699/stat : 5699 (java) S 5697 5697 4066 0 -1 1077944320 5650 0 0 0 10 1 0 0 20 0 15 0 516416292 15508250624 7200 33554432000 4194304 4196468 140737363145104 140737363127648 140684669206263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
/proc/5699/statm: 3786194 7200 3120 1 0 3748377 0
[pid=5699/tid=5700] ppid=5697 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/5699/task/5700/stat : 5700 (java) R 5697 5697 4066 0 -1 4202560 3570 0 0 0 8 1 0 0 20 0 15 0 516416293 15508250624 7200 33554432000 4194304 4196468 140737363145104 140684673439040 140684287834793 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5701] ppid=5697 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5701/stat : 5701 (java) S 5697 5697 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516416293 15508250624 7200 33554432000 4194304 4196468 140737363145104 140684621826832 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5702] ppid=5697 vsize=15144776 memory=288371068364248704 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5702/stat : 5702 (java) S 5697 5697 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516416293 15508250624 7200 33554432000 4194304 4196468 140737363145104 140684620774288 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5703] ppid=5697 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5703/stat : 5703 (java) S 5697 5697 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516416293 15508250624 7200 33554432000 4194304 4196468 140737363145104 140684619721744 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5704] ppid=5697 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5704/stat : 5704 (java) S 5697 5697 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516416293 15508250624 7200 33554432000 4194304 4196468 140737363145104 140684618669200 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5705] ppid=5697 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5705/stat : 5705 (java) S 5697 5697 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516416295 15508250624 7200 33554432000 4194304 4196468 140737363145104 140684205041648 140684669217410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5706] ppid=5697 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5706/stat : 5706 (java) S 5697 5697 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516416295 15508250624 7200 33554432000 4194304 4196468 140737363145104 140684136801184 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5707] ppid=5697 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5707/stat : 5707 (java) S 5697 5697 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516416295 15508250624 7200 33554432000 4194304 4196468 140737363145104 140684135748592 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5708] ppid=5697 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5708/stat : 5708 (java) S 5697 5697 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516416298 15508250624 7200 33554432000 4194304 4196468 140737363145104 140684134697168 140684669224859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5709] ppid=5697 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5709/stat : 5709 (java) S 5697 5697 4066 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 516416298 15508250624 7200 33554432000 4194304 4196468 140737363145104 140684133644784 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5710] ppid=5697 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5710/stat : 5710 (java) S 5697 5697 4066 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 516416298 15508250624 7200 33554432000 4194304 4196468 140737363145104 140684132592240 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5711] ppid=5697 vsize=15144776 memory=140692212536960 CPUtime=0.01 cores=0,2,4,6
/proc/5699/task/5711/stat : 5711 (java) S 5697 5697 4066 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 15 0 516416298 15508250624 7200 33554432000 4194304 4196468 140737363145104 140684131539696 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5712] ppid=5697 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5712/stat : 5712 (java) S 5697 5697 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516416298 15508250624 7200 33554432000 4194304 4196468 140737363145104 140684130487392 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5713] ppid=5697 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5713/stat : 5713 (java) S 5697 5697 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516416298 15508250624 7200 33554432000 4194304 4196468 140737363145104 140684129433904 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30252 KiB
[startup+0.210894 s]*
/proc/loadavg: 1.98 1.87 1.88 3/229 5713
/proc/meminfo: memFree=25411976/32770624 swapFree=66959728/67108860
[pid=5697] ppid=5694 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5697/stat : 5697 (xcsp3-exec) S 5694 5697 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516416292 115843072 363 33554432000 4194304 5098028 140730933064912 140730933063016 140128774337148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25878528 140730933068666 140730933068909 140730933068909 140730933071818 0
/proc/5697/statm: 28282 363 304 221 0 87 0
[pid=5699] ppid=5697 vsize=15144776 memory=40920 CPUtime=0.34 cores=0,2,4,6
/proc/5699/stat : 5699 (java) S 5697 5697 4066 0 -1 1077944320 9458 0 0 0 30 4 0 0 20 0 15 0 516416292 15508250624 10230 33554432000 4194304 4196468 140737363145104 140737363127648 140684669206263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
/proc/5699/statm: 3786194 10230 3300 1 0 3748377 0
[pid=5699/tid=5700] ppid=5697 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/5699/task/5700/stat : 5700 (java) R 5697 5697 4066 0 -1 4202560 6603 0 0 0 17 2 0 0 20 0 15 0 516416293 15508250624 10230 33554432000 4194304 4196468 140737363145104 140684673439968 140684669218198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5701] ppid=5697 vsize=15144776 memory=1946936 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5701/stat : 5701 (java) S 5697 5697 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516416293 15508250624 10230 33554432000 4194304 4196468 140737363145104 140684621826832 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5702] ppid=5697 vsize=15144776 memory=140692212550122 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5702/stat : 5702 (java) S 5697 5697 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516416293 15508250624 10230 33554432000 4194304 4196468 140737363145104 140684620774288 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5703] ppid=5697 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5703/stat : 5703 (java) S 5697 5697 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516416293 15508250624 10230 33554432000 4194304 4196468 140737363145104 140684619721744 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5704] ppid=5697 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5704/stat : 5704 (java) S 5697 5697 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516416293 15508250624 10230 33554432000 4194304 4196468 140737363145104 140684618669200 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5705] ppid=5697 vsize=15144776 memory=140692212536960 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5705/stat : 5705 (java) S 5697 5697 4066 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516416295 15508250624 10230 33554432000 4194304 4196468 140737363145104 140684205041648 140684669217410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5706] ppid=5697 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5706/stat : 5706 (java) S 5697 5697 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516416295 15508250624 10230 33554432000 4194304 4196468 140737363145104 140684136801184 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5707] ppid=5697 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5707/stat : 5707 (java) S 5697 5697 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516416295 15508250624 10230 33554432000 4194304 4196468 140737363145104 140684135748592 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5708] ppid=5697 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5708/stat : 5708 (java) S 5697 5697 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516416298 15508250624 10230 33554432000 4194304 4196468 140737363145104 140684134697168 140684669224859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5709] ppid=5697 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5699/task/5709/stat : 5709 (java) R 5697 5697 4066 0 -1 1077944384 549 0 0 0 2 0 0 0 20 0 15 0 516416298 15508250624 10230 33554432000 4194304 4196468 140737363145104 140684133644784 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5710] ppid=5697 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5699/task/5710/stat : 5710 (java) S 5697 5697 4066 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 15 0 516416298 15508250624 10230 33554432000 4194304 4196468 140737363145104 140684132592240 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5711] ppid=5697 vsize=15144776 memory=140692212536960 CPUtime=0.07 cores=0,2,4,6
/proc/5699/task/5711/stat : 5711 (java) R 5697 5697 4066 0 -1 4202560 783 0 0 0 7 0 0 0 20 0 15 0 516416298 15508250624 10230 33554432000 4194304 4196468 140737363145104 140684131539696 140684648566423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5712] ppid=5697 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5712/stat : 5712 (java) S 5697 5697 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516416298 15508250624 10230 33554432000 4194304 4196468 140737363145104 140684130487392 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5713] ppid=5697 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5713/stat : 5713 (java) S 5697 5697 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516416298 15508250624 10230 33554432000 4194304 4196468 140737363145104 140684129433904 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42372 KiB
[startup+0.310648 s]*
/proc/loadavg: 1.98 1.87 1.88 5/229 5713
/proc/meminfo: memFree=25406568/32770624 swapFree=66959728/67108860
[pid=5697] ppid=5694 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5697/stat : 5697 (xcsp3-exec) S 5694 5697 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516416292 115843072 363 33554432000 4194304 5098028 140730933064912 140730933063016 140128774337148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25878528 140730933068666 140730933068909 140730933068909 140730933071818 0
/proc/5697/statm: 28282 363 304 221 0 87 0
[pid=5699] ppid=5697 vsize=15149032 memory=49552 CPUtime=0.52 cores=0,2,4,6
/proc/5699/stat : 5699 (java) S 5697 5697 4066 0 -1 1077944320 10721 0 0 0 47 5 0 0 20 0 15 0 516416292 15512608768 12388 33554432000 4194304 4196468 140737363145104 140737363127648 140684669206263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
/proc/5699/statm: 3787258 12388 3334 1 0 3748377 0
[pid=5699/tid=5700] ppid=5697 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/5699/task/5700/stat : 5700 (java) R 5697 5697 4066 0 -1 4202560 7729 0 0 0 27 3 0 0 20 0 15 0 516416293 15512608768 12419 33554432000 4194304 4196468 140737363145104 140684673437376 140684669228189 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5701] ppid=5697 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5701/stat : 5701 (java) S 5697 5697 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516416293 15512608768 12419 33554432000 4194304 4196468 140737363145104 140684621826832 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5702] ppid=5697 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5702/stat : 5702 (java) S 5697 5697 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516416293 15512608768 12419 33554432000 4194304 4196468 140737363145104 140684620774288 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5703] ppid=5697 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5703/stat : 5703 (java) S 5697 5697 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516416293 15512608768 12419 33554432000 4194304 4196468 140737363145104 140684619721744 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5704] ppid=5697 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5704/stat : 5704 (java) S 5697 5697 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516416293 15512608768 12419 33554432000 4194304 4196468 140737363145104 140684618669200 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5705] ppid=5697 vsize=15149032 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5705/stat : 5705 (java) S 5697 5697 4066 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516416295 15512608768 12419 33554432000 4194304 4196468 140737363145104 140684205041648 140684669217410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5706] ppid=5697 vsize=15149032 memory=7583879909055440274 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5706/stat : 5706 (java) S 5697 5697 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516416295 15512608768 12419 33554432000 4194304 4196468 140737363145104 140684136801184 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5707] ppid=5697 vsize=15149032 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5707/stat : 5707 (java) S 5697 5697 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516416295 15512608768 12419 33554432000 4194304 4196468 140737363145104 140684135748592 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5708] ppid=5697 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5708/stat : 5708 (java) S 5697 5697 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516416298 15512608768 12419 33554432000 4194304 4196468 140737363145104 140684134697168 140684669224859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5709] ppid=5697 vsize=15149032 memory=-7465405268641471099 CPUtime=0.03 cores=0,2,4,6
/proc/5699/task/5709/stat : 5709 (java) S 5697 5697 4066 0 -1 1077944384 556 0 0 0 3 0 0 0 20 0 15 0 516416298 15512608768 12419 33554432000 4194304 4196468 140737363145104 140684133644784 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5710] ppid=5697 vsize=15149032 memory=7031125463459224206 CPUtime=0.04 cores=0,2,4,6
/proc/5699/task/5710/stat : 5710 (java) S 5697 5697 4066 0 -1 1077944384 257 0 0 0 4 0 0 0 20 0 15 0 516416298 15512608768 12419 33554432000 4194304 4196468 140737363145104 140684132592240 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5711] ppid=5697 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5699/task/5711/stat : 5711 (java) S 5697 5697 4066 0 -1 1077944384 892 0 0 0 12 0 0 0 20 0 15 0 516416298 15512608768 12419 33554432000 4194304 4196468 140737363145104 140684131539696 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5712] ppid=5697 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5712/stat : 5712 (java) S 5697 5697 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516416298 15512608768 12419 33554432000 4194304 4196468 140737363145104 140684130487392 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5713] ppid=5697 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5713/stat : 5713 (java) S 5697 5697 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516416298 15512608768 12419 33554432000 4194304 4196468 140737363145104 140684129433904 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51004 KiB
[startup+0.700804 s]
/proc/loadavg: 1.98 1.87 1.88 5/229 5713
/proc/meminfo: memFree=25393124/32770624 swapFree=66959728/67108860
[pid=5697] ppid=5694 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5697/stat : 5697 (xcsp3-exec) S 5694 5697 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516416292 115843072 363 33554432000 4194304 5098028 140730933064912 140730933063016 140128774337148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25878528 140730933068666 140730933068909 140730933068909 140730933071818 0
/proc/5697/statm: 28282 363 304 221 0 87 0
[pid=5699] ppid=5697 vsize=15151156 memory=76500 CPUtime=1.6 cores=0,2,4,6
/proc/5699/stat : 5699 (java) S 5697 5697 4066 0 -1 1077944320 16405 0 0 0 153 7 0 0 20 0 15 0 516416292 15514783744 19125 33554432000 4194304 4196468 140737363145104 140737363127648 140684669206263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
/proc/5699/statm: 3787789 19125 3455 1 0 3748889 0
[pid=5699/tid=5700] ppid=5697 vsize=15151156 memory=-7533522213388100735 CPUtime=0.68 cores=0,2,4,6
/proc/5699/task/5700/stat : 5700 (java) R 5697 5697 4066 0 -1 4202560 9019 0 0 0 64 4 0 0 20 0 15 0 516416293 15514783744 19125 33554432000 4194304 4196468 140737363145104 140684673441680 140684291079220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5701] ppid=5697 vsize=15151156 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5701/stat : 5701 (java) S 5697 5697 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516416293 15514783744 19125 33554432000 4194304 4196468 140737363145104 140684621826832 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5702] ppid=5697 vsize=15151156 memory=6940443203498692944 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5702/stat : 5702 (java) S 5697 5697 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516416293 15514783744 19125 33554432000 4194304 4196468 140737363145104 140684620774288 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5703] ppid=5697 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5703/stat : 5703 (java) S 5697 5697 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516416293 15514783744 19125 33554432000 4194304 4196468 140737363145104 140684619721744 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5704] ppid=5697 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5704/stat : 5704 (java) S 5697 5697 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516416293 15514783744 19125 33554432000 4194304 4196468 140737363145104 140684618669200 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5705] ppid=5697 vsize=15151156 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5705/stat : 5705 (java) S 5697 5697 4066 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516416295 15514783744 19125 33554432000 4194304 4196468 140737363145104 140684205041648 140684669217410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5706] ppid=5697 vsize=15151156 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5706/stat : 5706 (java) S 5697 5697 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516416295 15514783744 19125 33554432000 4194304 4196468 140737363145104 140684136801184 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5707] ppid=5697 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5707/stat : 5707 (java) S 5697 5697 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516416295 15514783744 19125 33554432000 4194304 4196468 140737363145104 140684135748592 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5708] ppid=5697 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5708/stat : 5708 (java) S 5697 5697 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516416298 15514783744 19125 33554432000 4194304 4196468 140737363145104 140684134697168 140684669224859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5709] ppid=5697 vsize=15151156 memory=620 CPUtime=0.32 cores=0,2,4,6
/proc/5699/task/5709/stat : 5709 (java) R 5697 5697 4066 0 -1 4202560 2461 0 0 0 32 0 0 0 20 0 15 0 516416298 15514783744 19125 33554432000 4194304 4196468 140737363145104 140684133625800 140684652706669 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5710] ppid=5697 vsize=15151156 memory=1496 CPUtime=0.31 cores=0,2,4,6
/proc/5699/task/5710/stat : 5710 (java) R 5697 5697 4066 0 -1 4202560 2211 0 0 0 31 0 0 0 20 0 15 0 516416298 15514783744 19125 33554432000 4194304 4196468 140737363145104 140684132578656 140684652414296 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5711] ppid=5697 vsize=15151156 memory=1016 CPUtime=0.25 cores=0,2,4,6
/proc/5699/task/5711/stat : 5711 (java) S 5697 5697 4066 0 -1 1077944384 1406 0 0 0 25 0 0 0 20 0 15 0 516416298 15514783744 19125 33554432000 4194304 4196468 140737363145104 140684131539696 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5712] ppid=5697 vsize=15151156 memory=6072 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5712/stat : 5712 (java) S 5697 5697 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516416298 15514783744 19125 33554432000 4194304 4196468 140737363145104 140684130487392 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5713] ppid=5697 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5713/stat : 5713 (java) S 5697 5697 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516416298 15514783744 19125 33554432000 4194304 4196468 140737363145104 140684129433904 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 77952 KiB
[startup+1.50098 s]
/proc/loadavg: 1.98 1.87 1.88 5/229 5713
/proc/meminfo: memFree=25359700/32770624 swapFree=66959728/67108860
[pid=5697] ppid=5694 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5697/stat : 5697 (xcsp3-exec) S 5694 5697 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516416292 115843072 363 33554432000 4194304 5098028 140730933064912 140730933063016 140128774337148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25878528 140730933068666 140730933068909 140730933068909 140730933071818 0
/proc/5697/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/5697/stat : 5697 (xcsp3-exec) S 5694 5697 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516416292 115843072 363 33554432000 4194304 5098028 140730933064912 140730933063016 140128774337148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25878528 140730933068666 140730933068909 140730933068909 140730933071818 0
/proc/5697/statm: 28282 363 304 221 0 87 0
[pid=5699] ppid=5697 vsize=15151156 memory=1126404 CPUtime=182.16 cores=0,2,4,6
/proc/5699/stat : 5699 (java) S 5697 5697 4066 0 -1 1077944320 50160 0 0 0 18167 49 0 0 20 0 15 0 516416292 15514783744 281601 33554432000 4194304 4196468 140737363145104 140737363127648 140684669206263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
/proc/5699/statm: 3787789 281601 3495 1 0 3748889 0
[pid=5699/tid=5700] ppid=5697 vsize=15151156 memory=8112282956445269571 CPUtime=176.2 cores=0,2,4,6
/proc/5699/task/5700/stat : 5700 (java) R 5697 5697 4066 0 -1 4202560 15592 0 0 0 17598 22 0 0 20 0 15 0 516416293 15514783744 281601 33554432000 4194304 4196468 140737363145104 140684673445872 140684291268195 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5701] ppid=5697 vsize=15151156 memory=14012 CPUtime=0.74 cores=0,2,4,6
/proc/5699/task/5701/stat : 5701 (java) S 5697 5697 4066 0 -1 1077944384 1638 0 0 0 70 4 0 0 20 0 15 0 516416293 15514783744 281601 33554432000 4194304 4196468 140737363145104 140684621826832 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5702] ppid=5697 vsize=15151156 memory=2116 CPUtime=0.75 cores=0,2,4,6
/proc/5699/task/5702/stat : 5702 (java) S 5697 5697 4066 0 -1 1077944384 1682 0 0 0 70 5 0 0 20 0 15 0 516416293 15514783744 281601 33554432000 4194304 4196468 140737363145104 140684620774288 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5703] ppid=5697 vsize=15151156 memory=36616 CPUtime=0.74 cores=0,2,4,6
/proc/5699/task/5703/stat : 5703 (java) S 5697 5697 4066 0 -1 1077944384 1845 0 0 0 70 4 0 0 20 0 15 0 516416293 15514783744 281601 33554432000 4194304 4196468 140737363145104 140684619721744 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5704] ppid=5697 vsize=15151156 memory=14068 CPUtime=0.74 cores=0,2,4,6
/proc/5699/task/5704/stat : 5704 (java) S 5697 5697 4066 0 -1 1077944384 1321 0 0 0 70 4 0 0 20 0 15 0 516416293 15514783744 281601 33554432000 4194304 4196468 140737363145104 140684618669200 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5705] ppid=5697 vsize=15151156 memory=524 CPUtime=0.41 cores=0,2,4,6
/proc/5699/task/5705/stat : 5705 (java) S 5697 5697 4066 0 -1 1077944384 1844 0 0 0 38 3 0 0 20 0 15 0 516416295 15514783744 281601 33554432000 4194304 4196468 140737363145104 140684205041648 140684669217410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5706] ppid=5697 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5706/stat : 5706 (java) S 5697 5697 4066 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 516416295 15514783744 281601 33554432000 4194304 4196468 140737363145104 140684136801248 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5707] ppid=5697 vsize=15151156 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5707/stat : 5707 (java) S 5697 5697 4066 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 516416295 15514783744 281601 33554432000 4194304 4196468 140737363145104 140684135748608 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5708] ppid=5697 vsize=15151156 memory=66568 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5708/stat : 5708 (java) S 5697 5697 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516416298 15514783744 281601 33554432000 4194304 4196468 140737363145104 140684134697168 140684669224859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5709] ppid=5697 vsize=15151156 memory=988 CPUtime=1.03 cores=0,2,4,6
/proc/5699/task/5709/stat : 5709 (java) S 5697 5697 4066 0 -1 1077944384 9334 0 0 0 102 1 0 0 20 0 15 0 516416298 15514783744 281601 33554432000 4194304 4196468 140737363145104 140684133644784 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5710] ppid=5697 vsize=15151156 memory=2024 CPUtime=1.04 cores=0,2,4,6
/proc/5699/task/5710/stat : 5710 (java) S 5697 5697 4066 0 -1 1077944384 11132 0 0 0 103 1 0 0 20 0 15 0 516416298 15514783744 281601 33554432000 4194304 4196468 140737363145104 140684132592240 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5711] ppid=5697 vsize=15151156 memory=1428 CPUtime=0.34 cores=0,2,4,6
/proc/5699/task/5711/stat : 5711 (java) S 5697 5697 4066 0 -1 1077944384 3324 0 0 0 33 1 0 0 20 0 15 0 516416298 15514783744 281601 33554432000 4194304 4196468 140737363145104 140684131539696 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5712] ppid=5697 vsize=15151156 memory=3672 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5712/stat : 5712 (java) S 5697 5697 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516416298 15514783744 281601 33554432000 4194304 4196468 140737363145104 140684130487392 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5713] ppid=5697 vsize=15151156 memory=1056 CPUtime=0.09 cores=0,2,4,6
/proc/5699/task/5713/stat : 5713 (java) S 5697 5697 4066 0 -1 1077944384 1074 0 0 0 4 5 0 0 20 0 15 0 516416298 15514783744 281601 33554432000 4194304 4196468 140737363145104 140684129433904 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 41 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
Current children cumulated CPU time: 182.16 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1127856 KiB
[startup+178.401 s]
/proc/loadavg: 1.46 1.70 1.81 3/230 5727
/proc/meminfo: memFree=24323432/32770624 swapFree=66959728/67108860
[pid=5697] ppid=5694 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5697/stat : 5697 (xcsp3-exec) S 5694 5697 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516416292 115843072 363 33554432000 4194304 5098028 140730933064912 140730933063016 140128774337148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25878528 140730933068666 140730933068909 140730933068909 140730933071818 0
/proc/5697/statm: 28282 363 304 221 0 87 0
[pid=5699] ppid=5697 vsize=15151156 memory=1128844 CPUtime=182.99 cores=0,2,4,6
/proc/5699/stat : 5699 (java) S 5697 5697 4066 0 -1 1077944320 50242 0 0 0 18249 50 0 0 20 0 15 0 516416292 15514783744 282211 33554432000 4194304 4196468 140737363145104 140737363127648 140684669206263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
/proc/5699/statm: 3787789 282211 3495 1 0 3748889 0
[pid=5699/tid=5700] ppid=5697 vsize=15151156 memory=2116 CPUtime=176.98 cores=0,2,4,6
/proc/5699/task/5700/stat : 5700 (java) R 5697 5697 4066 0 -1 4202560 15597 0 0 0 17676 22 0 0 20 0 15 0 516416293 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684673445872 140684292142272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5701] ppid=5697 vsize=15151156 memory=1452 CPUtime=0.75 cores=0,2,4,6
/proc/5699/task/5701/stat : 5701 (java) S 5697 5697 4066 0 -1 1077944384 1646 0 0 0 71 4 0 0 20 0 15 0 516416293 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684621826832 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5702] ppid=5697 vsize=15151156 memory=1126404 CPUtime=0.76 cores=0,2,4,6
/proc/5699/task/5702/stat : 5702 (java) S 5697 5697 4066 0 -1 1077944384 1689 0 0 0 71 5 0 0 20 0 15 0 516416293 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684620774288 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5703] ppid=5697 vsize=15151156 memory=1452 CPUtime=0.75 cores=0,2,4,6
/proc/5699/task/5703/stat : 5703 (java) S 5697 5697 4066 0 -1 1077944384 1853 0 0 0 71 4 0 0 20 0 15 0 516416293 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684619721744 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5704] ppid=5697 vsize=15151156 memory=1126404 CPUtime=0.75 cores=0,2,4,6
/proc/5699/task/5704/stat : 5704 (java) S 5697 5697 4066 0 -1 1077944384 1326 0 0 0 71 4 0 0 20 0 15 0 516416293 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684618669200 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5705] ppid=5697 vsize=15151156 memory=988 CPUtime=0.42 cores=0,2,4,6
/proc/5699/task/5705/stat : 5705 (java) S 5697 5697 4066 0 -1 1077944384 1893 0 0 0 39 3 0 0 20 0 15 0 516416295 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684205041648 140684669217410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5706] ppid=5697 vsize=15151156 memory=2024 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5706/stat : 5706 (java) S 5697 5697 4066 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 516416295 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684136801248 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5707] ppid=5697 vsize=15151156 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5707/stat : 5707 (java) S 5697 5697 4066 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 516416295 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684135748608 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5708] ppid=5697 vsize=15151156 memory=3672 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5708/stat : 5708 (java) S 5697 5697 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516416298 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684134697168 140684669224859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5709] ppid=5697 vsize=15151156 memory=1056 CPUtime=1.03 cores=0,2,4,6
/proc/5699/task/5709/stat : 5709 (java) S 5697 5697 4066 0 -1 1077944384 9334 0 0 0 102 1 0 0 20 0 15 0 516416298 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684133644784 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5710] ppid=5697 vsize=15151156 memory=1188 CPUtime=1.04 cores=0,2,4,6
/proc/5699/task/5710/stat : 5710 (java) S 5697 5697 4066 0 -1 1077944384 11132 0 0 0 103 1 0 0 20 0 15 0 516416298 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684132592240 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5711] ppid=5697 vsize=15151156 memory=1536 CPUtime=0.34 cores=0,2,4,6
/proc/5699/task/5711/stat : 5711 (java) S 5697 5697 4066 0 -1 1077944384 3324 0 0 0 33 1 0 0 20 0 15 0 516416298 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684131539696 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5712] ppid=5697 vsize=15151156 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5712/stat : 5712 (java) S 5697 5697 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516416298 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684130487392 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5713] ppid=5697 vsize=15151156 memory=2828 CPUtime=0.09 cores=0,2,4,6
/proc/5699/task/5713/stat : 5713 (java) S 5697 5697 4066 0 -1 1077944384 1074 0 0 0 4 5 0 0 20 0 15 0 516416298 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684129433904 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
Current children cumulated CPU time: 182.99 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1130296 KiB
[startup+178.801 s]
/proc/loadavg: 1.46 1.70 1.81 3/230 5727
/proc/meminfo: memFree=24323432/32770624 swapFree=66959728/67108860
[pid=5697] ppid=5694 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5697/stat : 5697 (xcsp3-exec) S 5694 5697 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516416292 115843072 363 33554432000 4194304 5098028 140730933064912 140730933063016 140128774337148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25878528 140730933068666 140730933068909 140730933068909 140730933071818 0
/proc/5697/statm: 28282 363 304 221 0 87 0
[pid=5699] ppid=5697 vsize=15151156 memory=1128844 CPUtime=183.39 cores=0,2,4,6
/proc/5699/stat : 5699 (java) S 5697 5697 4066 0 -1 1077944320 50242 0 0 0 18289 50 0 0 20 0 15 0 516416292 15514783744 282211 33554432000 4194304 4196468 140737363145104 140737363127648 140684669206263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
/proc/5699/statm: 3787789 282211 3495 1 0 3748889 0
[pid=5699/tid=5700] ppid=5697 vsize=15151156 memory=16101489617668668 CPUtime=177.38 cores=0,2,4,6
/proc/5699/task/5700/stat : 5700 (java) R 5697 5697 4066 0 -1 4202560 15597 0 0 0 17716 22 0 0 20 0 15 0 516416293 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684673445760 140684291268357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5701] ppid=5697 vsize=15151156 memory=66568 CPUtime=0.75 cores=0,2,4,6
/proc/5699/task/5701/stat : 5701 (java) S 5697 5697 4066 0 -1 1077944384 1646 0 0 0 71 4 0 0 20 0 15 0 516416293 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684621826832 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5702] ppid=5697 vsize=15151156 memory=988 CPUtime=0.76 cores=0,2,4,6
/proc/5699/task/5702/stat : 5702 (java) S 5697 5697 4066 0 -1 1077944384 1689 0 0 0 71 5 0 0 20 0 15 0 516416293 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684620774288 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5703] ppid=5697 vsize=15151156 memory=2024 CPUtime=0.75 cores=0,2,4,6
/proc/5699/task/5703/stat : 5703 (java) S 5697 5697 4066 0 -1 1077944384 1853 0 0 0 71 4 0 0 20 0 15 0 516416293 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684619721744 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5704] ppid=5697 vsize=15151156 memory=1428 CPUtime=0.75 cores=0,2,4,6
/proc/5699/task/5704/stat : 5704 (java) S 5697 5697 4066 0 -1 1077944384 1326 0 0 0 71 4 0 0 20 0 15 0 516416293 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684618669200 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5705] ppid=5697 vsize=15151156 memory=3672 CPUtime=0.42 cores=0,2,4,6
/proc/5699/task/5705/stat : 5705 (java) S 5697 5697 4066 0 -1 1077944384 1893 0 0 0 39 3 0 0 20 0 15 0 516416295 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684205041648 140684669217410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5706] ppid=5697 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5706/stat : 5706 (java) S 5697 5697 4066 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 516416295 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684136801248 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5707] ppid=5697 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5707/stat : 5707 (java) S 5697 5697 4066 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 516416295 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684135748608 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5708] ppid=5697 vsize=15151156 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5708/stat : 5708 (java) S 5697 5697 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516416298 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684134697168 140684669224859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5709] ppid=5697 vsize=15151156 memory=9592 CPUtime=1.03 cores=0,2,4,6
/proc/5699/task/5709/stat : 5709 (java) S 5697 5697 4066 0 -1 1077944384 9334 0 0 0 102 1 0 0 20 0 15 0 516416298 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684133644784 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5710] ppid=5697 vsize=15151156 memory=2828 CPUtime=1.04 cores=0,2,4,6
/proc/5699/task/5710/stat : 5710 (java) S 5697 5697 4066 0 -1 1077944384 11132 0 0 0 103 1 0 0 20 0 15 0 516416298 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684132592240 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5711] ppid=5697 vsize=15151156 memory=780 CPUtime=0.34 cores=0,2,4,6
/proc/5699/task/5711/stat : 5711 (java) S 5697 5697 4066 0 -1 1077944384 3324 0 0 0 33 1 0 0 20 0 15 0 516416298 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684131539696 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5712] ppid=5697 vsize=15151156 memory=6224934990025682275 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5712/stat : 5712 (java) S 5697 5697 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516416298 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684130487392 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5713] ppid=5697 vsize=15151156 memory=7953758690263196263 CPUtime=0.09 cores=0,2,4,6
/proc/5699/task/5713/stat : 5713 (java) S 5697 5697 4066 0 -1 1077944384 1074 0 0 0 4 5 0 0 20 0 15 0 516416298 15514783744 282211 33554432000 4194304 4196468 140737363145104 140684129433904 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
Current children cumulated CPU time: 183.39 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1130296 KiB
[startup+178.901 s]
/proc/loadavg: 1.46 1.70 1.81 3/230 5727
/proc/meminfo: memFree=24323432/32770624 swapFree=66959728/67108860
[pid=5697] ppid=5694 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5697/stat : 5697 (xcsp3-exec) S 5694 5697 4066 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516416292 115843072 363 33554432000 4194304 5098028 140730933064912 140730933063016 140128774337148 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25878528 140730933068666 140730933068909 140730933068909 140730933071818 0
/proc/5697/statm: 28282 363 304 221 0 87 0
[pid=5699] ppid=5697 vsize=15151156 memory=1129072 CPUtime=183.5 cores=0,2,4,6
/proc/5699/stat : 5699 (java) S 5697 5697 4066 0 -1 1077944320 50262 0 0 0 18300 50 0 0 20 0 15 0 516416292 15514783744 282268 33554432000 4194304 4196468 140737363145104 140737363127648 140684669206263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
/proc/5699/statm: 3787789 282268 3495 1 0 3748889 0
[pid=5699/tid=5700] ppid=5697 vsize=15151156 memory=1128844 CPUtime=177.48 cores=0,2,4,6
/proc/5699/task/5700/stat : 5700 (java) R 5697 5697 4066 0 -1 4202560 15598 0 0 0 17726 22 0 0 20 0 15 0 516416293 15514783744 282268 33554432000 4194304 4196468 140737363145104 140684673445872 140684291232839 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5701] ppid=5697 vsize=15151156 memory=1452 CPUtime=0.75 cores=0,2,4,6
/proc/5699/task/5701/stat : 5701 (java) S 5697 5697 4066 0 -1 1077944384 1651 0 0 0 71 4 0 0 20 0 15 0 516416293 15514783744 282268 33554432000 4194304 4196468 140737363145104 140684621826832 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5702] ppid=5697 vsize=15151156 memory=1025924 CPUtime=0.76 cores=0,2,4,6
/proc/5699/task/5702/stat : 5702 (java) S 5697 5697 4066 0 -1 1077944384 1693 0 0 0 71 5 0 0 20 0 15 0 516416293 15514783744 282268 33554432000 4194304 4196468 140737363145104 140684620774288 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5703] ppid=5697 vsize=15151156 memory=1452 CPUtime=0.76 cores=0,2,4,6
/proc/5699/task/5703/stat : 5703 (java) S 5697 5697 4066 0 -1 1077944384 1858 0 0 0 72 4 0 0 20 0 15 0 516416293 15514783744 282268 33554432000 4194304 4196468 140737363145104 140684619721744 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5704] ppid=5697 vsize=15151156 memory=8112282956445269571 CPUtime=0.75 cores=0,2,4,6
/proc/5699/task/5704/stat : 5704 (java) S 5697 5697 4066 0 -1 1077944384 1331 0 0 0 71 4 0 0 20 0 15 0 516416293 15514783744 282268 33554432000 4194304 4196468 140737363145104 140684618669200 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5705] ppid=5697 vsize=15151156 memory=199364 CPUtime=0.42 cores=0,2,4,6
/proc/5699/task/5705/stat : 5705 (java) S 5697 5697 4066 0 -1 1077944384 1893 0 0 0 39 3 0 0 20 0 15 0 516416295 15514783744 282268 33554432000 4194304 4196468 140737363145104 140684205041648 140684669217410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5706] ppid=5697 vsize=15151156 memory=1496 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5706/stat : 5706 (java) S 5697 5697 4066 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 516416295 15514783744 282268 33554432000 4194304 4196468 140737363145104 140684136801248 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5707] ppid=5697 vsize=15151156 memory=1016 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5707/stat : 5707 (java) S 5697 5697 4066 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 516416295 15514783744 282268 33554432000 4194304 4196468 140737363145104 140684135748608 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5708] ppid=5697 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5708/stat : 5708 (java) S 5697 5697 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516416298 15514783744 282268 33554432000 4194304 4196468 140737363145104 140684134697168 140684669224859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5709] ppid=5697 vsize=15151156 memory=620 CPUtime=1.03 cores=0,2,4,6
/proc/5699/task/5709/stat : 5709 (java) S 5697 5697 4066 0 -1 1077944384 9334 0 0 0 102 1 0 0 20 0 15 0 516416298 15514783744 282268 33554432000 4194304 4196468 140737363145104 140684133644784 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5710] ppid=5697 vsize=15151156 memory=1452 CPUtime=1.04 cores=0,2,4,6
/proc/5699/task/5710/stat : 5710 (java) S 5697 5697 4066 0 -1 1077944384 11132 0 0 0 103 1 0 0 20 0 15 0 516416298 15514783744 282268 33554432000 4194304 4196468 140737363145104 140684132592240 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5711] ppid=5697 vsize=15151156 memory=1452 CPUtime=0.34 cores=0,2,4,6
/proc/5699/task/5711/stat : 5711 (java) S 5697 5697 4066 0 -1 1077944384 3324 0 0 0 33 1 0 0 20 0 15 0 516416298 15514783744 282268 33554432000 4194304 4196468 140737363145104 140684131539696 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5712] ppid=5697 vsize=15151156 memory=1096112 CPUtime=0 cores=0,2,4,6
/proc/5699/task/5712/stat : 5712 (java) S 5697 5697 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516416298 15514783744 282268 33554432000 4194304 4196468 140737363145104 140684130487392 140684669216469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
[pid=5699/tid=5713] ppid=5697 vsize=15151156 memory=1452 CPUtime=0.09 cores=0,2,4,6
/proc/5699/task/5713/stat : 5713 (java) S 5697 5697 4066 0 -1 1077944384 1074 0 0 0 4 5 0 0 20 0 15 0 516416298 15514783744 282268 33554432000 4194304 4196468 140737363145104 140684129433904 140684669217410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 22917120 140737363153903 140737363154074 140737363154074 140737363156943 0
Current children cumulated CPU time: 183.5 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1130524 KiB
Child status: 0
Real time (s): 178.995
CPU time (s): 183.608
CPU user time (s): 183.093
CPU system time (s): 0.514492
CPU usage (%): 102.577
Max. virtual memory (cumulated for all children) (KiB): 15266416
Max. memory (cumulated for all children) (KiB): 1130524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 183.093
system time used= 0.514492
maximum resident set size= 1129752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51218
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16736
involuntary context switches= 508
# summary of solver processes directly reported to runsolver:
# pid: 5697
# total CPU time (s): 183.608
# total CPU user time (s): 183.093
# total CPU system time (s): 0.514492
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00753 second user time and 1.92386 second system time
The end