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 (15048 MiB free)
memory of node 1: 16384 MiB (15528 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400454-1568680239/watcher-4400454-1568680239 -o /tmp/evaluation-result-4400454-1568680239/solver-4400454-1568680239 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32545 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 258087610 HOME/instance-4400454-1568680239.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=12532, runsolver pid=12529
[startup+0.100058 s]*
/proc/loadavg: 9.37 8.75 8.53 8/234 12548
/proc/meminfo: memFree=31293000/32770624 swapFree=66997372/67108860
[pid=12532] ppid=12529 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444276965 115843072 362 33554432000 4194304 5098028 140728376036960 140728376035064 140383313375868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40337408 140728376042363 140728376042605 140728376042605 140728376045514 0
/proc/12532/statm: 28282 362 304 221 0 87 0
[pid=12534] ppid=12532 vsize=15144776 memory=30388 CPUtime=0.13 cores=1,3,5,7
/proc/12534/stat : 12534 (java) S 12532 12532 32513 0 -1 1077944320 5489 0 0 0 12 1 0 0 20 0 15 0 444276965 15508250624 7597 33554432000 4194304 4196468 140726035754896 140726035737440 140420703821559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
/proc/12534/statm: 3786194 7597 3152 1 0 3748377 0
[pid=12534/tid=12535] ppid=12532 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/12534/task/12535/stat : 12535 (java) R 12532 12532 32513 0 -1 4202560 3413 0 0 0 9 0 0 0 20 0 15 0 444276965 15508250624 7597 33554432000 4194304 4196468 140726035754896 140420708047392 140420703843485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12536] ppid=12532 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12536/stat : 12536 (java) S 12532 12532 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444276966 15508250624 7597 33554432000 4194304 4196468 140726035754896 140420669102480 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12537] ppid=12532 vsize=15144776 memory=140573968373376 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12537/stat : 12537 (java) S 12532 12532 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444276966 15508250624 7597 33554432000 4194304 4196468 140726035754896 140420295010576 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12538] ppid=12532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12538/stat : 12538 (java) S 12532 12532 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444276966 15508250624 7597 33554432000 4194304 4196468 140726035754896 140420293958288 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12539] ppid=12532 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12539/stat : 12539 (java) S 12532 12532 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444276966 15508250624 7597 33554432000 4194304 4196468 140726035754896 140420292905488 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12540] ppid=12532 vsize=15144776 memory=140573968373376 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12540/stat : 12540 (java) S 12532 12532 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444276968 15508250624 7597 33554432000 4194304 4196468 140726035754896 140420172442224 140420703832706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12541] ppid=12532 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12541/stat : 12541 (java) S 12532 12532 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444276968 15508250624 7597 33554432000 4194304 4196468 140726035754896 140420171388192 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12542] ppid=12532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12542/stat : 12542 (java) S 12532 12532 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444276968 15508250624 7597 33554432000 4194304 4196468 140726035754896 140420170335856 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12543] ppid=12532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12543/stat : 12543 (java) S 12532 12532 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444276971 15508250624 7597 33554432000 4194304 4196468 140726035754896 140420169284176 140420703840155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12544] ppid=12532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12544/stat : 12544 (java) R 12532 12532 32513 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 444276971 15508250624 7597 33554432000 4194304 4196468 140726035754896 140420168231120 140420703831765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12545] ppid=12532 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12545/stat : 12545 (java) R 12532 12532 32513 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 15 0 444276971 15508250624 7597 33554432000 4194304 4196468 140726035754896 140420167169728 140420681710042 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12546] ppid=12532 vsize=15144776 memory=140573968373376 CPUtime=0.02 cores=1,3,5,7
/proc/12534/task/12546/stat : 12546 (java) S 12532 12532 32513 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 15 0 444276971 15508250624 7597 33554432000 4194304 4196468 140726035754896 140420166125936 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12547] ppid=12532 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12547/stat : 12547 (java) S 12532 12532 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444276971 15508250624 7597 33554432000 4194304 4196468 140726035754896 140420165073376 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12548] ppid=12532 vsize=15144776 memory=140573968373376 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12548/stat : 12548 (java) S 12532 12532 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444276971 15508250624 7597 33554432000 4194304 4196468 140726035754896 140420164021168 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31836 KiB
[startup+0.210798 s]*
/proc/loadavg: 9.37 8.75 8.53 7/234 12548
/proc/meminfo: memFree=31280784/32770624 swapFree=66997372/67108860
[pid=12532] ppid=12529 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444276965 115843072 362 33554432000 4194304 5098028 140728376036960 140728376035064 140383313375868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40337408 140728376042363 140728376042605 140728376042605 140728376045514 0
/proc/12532/statm: 28282 362 304 221 0 87 0
[pid=12534] ppid=12532 vsize=15144776 memory=41516 CPUtime=0.34 cores=1,3,5,7
/proc/12534/stat : 12534 (java) S 12532 12532 32513 0 -1 1077944320 9039 0 0 0 32 2 0 0 20 0 15 0 444276965 15508250624 10379 33554432000 4194304 4196468 140726035754896 140726035737440 140420703821559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
/proc/12534/statm: 3786194 10379 3311 1 0 3748377 0
[pid=12534/tid=12535] ppid=12532 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/12534/task/12535/stat : 12535 (java) R 12532 12532 32513 0 -1 4202560 6229 0 0 0 19 1 0 0 20 0 15 0 444276965 15508250624 10379 33554432000 4194304 4196468 140726035754896 140420708058320 140420703843485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12536] ppid=12532 vsize=15144776 memory=4294976396 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12536/stat : 12536 (java) S 12532 12532 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444276966 15508250624 10379 33554432000 4194304 4196468 140726035754896 140420669102480 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12537] ppid=12532 vsize=15144776 memory=140573971839098 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12537/stat : 12537 (java) S 12532 12532 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444276966 15508250624 10379 33554432000 4194304 4196468 140726035754896 140420295010576 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12538] ppid=12532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12538/stat : 12538 (java) S 12532 12532 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444276966 15508250624 10379 33554432000 4194304 4196468 140726035754896 140420293958288 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12539] ppid=12532 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12539/stat : 12539 (java) S 12532 12532 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444276966 15508250624 10379 33554432000 4194304 4196468 140726035754896 140420292905488 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12540] ppid=12532 vsize=15144776 memory=140573968373376 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12540/stat : 12540 (java) S 12532 12532 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444276968 15508250624 10379 33554432000 4194304 4196468 140726035754896 140420172442224 140420703832706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12541] ppid=12532 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12541/stat : 12541 (java) S 12532 12532 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444276968 15508250624 10379 33554432000 4194304 4196468 140726035754896 140420171388192 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12542] ppid=12532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12542/stat : 12542 (java) S 12532 12532 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444276968 15508250624 10379 33554432000 4194304 4196468 140726035754896 140420170335856 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12543] ppid=12532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12543/stat : 12543 (java) S 12532 12532 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444276971 15508250624 10379 33554432000 4194304 4196468 140726035754896 140420169284176 140420703840155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12544] ppid=12532 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12534/task/12544/stat : 12544 (java) S 12532 12532 32513 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 15 0 444276971 15508250624 10379 33554432000 4194304 4196468 140726035754896 140420168231024 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12545] ppid=12532 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12534/task/12545/stat : 12545 (java) S 12532 12532 32513 0 -1 1077944384 154 0 0 0 2 0 0 0 20 0 15 0 444276971 15508250624 10379 33554432000 4194304 4196468 140726035754896 140420167178224 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12546] ppid=12532 vsize=15144776 memory=140573968373376 CPUtime=0.08 cores=1,3,5,7
/proc/12534/task/12546/stat : 12546 (java) S 12532 12532 32513 0 -1 1077944384 749 0 0 0 8 0 0 0 20 0 15 0 444276971 15508250624 10379 33554432000 4194304 4196468 140726035754896 140420166125936 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12547] ppid=12532 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12547/stat : 12547 (java) S 12532 12532 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444276971 15508250624 10379 33554432000 4194304 4196468 140726035754896 140420165073376 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12548] ppid=12532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12548/stat : 12548 (java) S 12532 12532 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444276971 15508250624 10379 33554432000 4194304 4196468 140726035754896 140420164021168 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42964 KiB
[startup+0.315336 s]*
/proc/loadavg: 9.37 8.75 8.53 7/234 12548
/proc/meminfo: memFree=31273240/32770624 swapFree=66997372/67108860
[pid=12532] ppid=12529 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444276965 115843072 362 33554432000 4194304 5098028 140728376036960 140728376035064 140383313375868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40337408 140728376042363 140728376042605 140728376042605 140728376045514 0
/proc/12532/statm: 28282 362 304 221 0 87 0
[pid=12534] ppid=12532 vsize=15149032 memory=50424 CPUtime=0.53 cores=1,3,5,7
/proc/12534/stat : 12534 (java) S 12532 12532 32513 0 -1 1077944320 10477 0 0 0 51 2 0 0 20 0 15 0 444276965 15512608768 12606 33554432000 4194304 4196468 140726035754896 140726035737440 140420703821559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
/proc/12534/statm: 3787258 12606 3360 1 0 3748377 0
[pid=12534/tid=12535] ppid=12532 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=1,3,5,7
/proc/12534/task/12535/stat : 12535 (java) R 12532 12532 32513 0 -1 4202560 7430 0 0 0 28 2 0 0 20 0 15 0 444276965 15512608768 12606 33554432000 4194304 4196468 140726035754896 140420708052672 140420703843485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12536] ppid=12532 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12536/stat : 12536 (java) S 12532 12532 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444276966 15512608768 12606 33554432000 4194304 4196468 140726035754896 140420669102480 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12537] ppid=12532 vsize=15149032 memory=3550810 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12537/stat : 12537 (java) S 12532 12532 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444276966 15512608768 12606 33554432000 4194304 4196468 140726035754896 140420295010576 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12538] ppid=12532 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12538/stat : 12538 (java) S 12532 12532 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444276966 15512608768 12606 33554432000 4194304 4196468 140726035754896 140420293958288 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12539] ppid=12532 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12539/stat : 12539 (java) S 12532 12532 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444276966 15512608768 12606 33554432000 4194304 4196468 140726035754896 140420292905488 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12540] ppid=12532 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12540/stat : 12540 (java) S 12532 12532 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444276968 15512608768 12606 33554432000 4194304 4196468 140726035754896 140420172442224 140420703832706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12541] ppid=12532 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12541/stat : 12541 (java) S 12532 12532 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444276968 15512608768 12606 33554432000 4194304 4196468 140726035754896 140420171388192 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12542] ppid=12532 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12542/stat : 12542 (java) S 12532 12532 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444276968 15512608768 12606 33554432000 4194304 4196468 140726035754896 140420170335856 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12543] ppid=12532 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12543/stat : 12543 (java) S 12532 12532 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444276971 15512608768 12606 33554432000 4194304 4196468 140726035754896 140420169284176 140420703840155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12544] ppid=12532 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/12534/task/12544/stat : 12544 (java) S 12532 12532 32513 0 -1 1077944384 722 0 0 0 5 0 0 0 20 0 15 0 444276971 15512608768 12606 33554432000 4194304 4196468 140726035754896 140420168231024 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12545] ppid=12532 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12534/task/12545/stat : 12545 (java) S 12532 12532 32513 0 -1 1077944384 183 0 0 0 4 0 0 0 20 0 15 0 444276971 15512608768 12606 33554432000 4194304 4196468 140726035754896 140420167178224 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12546] ppid=12532 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/12534/task/12546/stat : 12546 (java) S 12532 12532 32513 0 -1 1077944384 847 0 0 0 13 0 0 0 20 0 15 0 444276971 15512608768 12606 33554432000 4194304 4196468 140726035754896 140420166125936 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12547] ppid=12532 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12547/stat : 12547 (java) S 12532 12532 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444276971 15512608768 12606 33554432000 4194304 4196468 140726035754896 140420165073376 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12548] ppid=12532 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12548/stat : 12548 (java) S 12532 12532 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444276971 15512608768 12606 33554432000 4194304 4196468 140726035754896 140420164021168 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51872 KiB
[startup+0.706518 s]
/proc/loadavg: 9.37 8.75 8.53 7/234 12548
/proc/meminfo: memFree=31259260/32770624 swapFree=66997372/67108860
[pid=12532] ppid=12529 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444276965 115843072 362 33554432000 4194304 5098028 140728376036960 140728376035064 140383313375868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40337408 140728376042363 140728376042605 140728376042605 140728376045514 0
/proc/12532/statm: 28282 362 304 221 0 87 0
[pid=12534] ppid=12532 vsize=15151156 memory=93308 CPUtime=1.72 cores=1,3,5,7
/proc/12534/stat : 12534 (java) S 12532 12532 32513 0 -1 1077944320 13922 0 0 0 168 4 0 0 20 0 15 0 444276965 15514783744 23327 33554432000 4194304 4196468 140726035754896 140726035737440 140420703821559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
/proc/12534/statm: 3787789 23327 3463 1 0 3748889 0
[pid=12534/tid=12535] ppid=12532 vsize=15151156 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/12534/task/12535/stat : 12535 (java) R 12532 12532 32513 0 -1 4202560 8722 0 0 0 66 3 0 0 20 0 15 0 444276965 15514783744 23327 33554432000 4194304 4196468 140726035754896 140420708057808 140420343139693 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12536] ppid=12532 vsize=15151156 memory=143 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12536/stat : 12536 (java) S 12532 12532 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444276966 15514783744 23327 33554432000 4194304 4196468 140726035754896 140420669102480 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12537] ppid=12532 vsize=15151156 memory=2 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12537/stat : 12537 (java) S 12532 12532 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444276966 15514783744 23327 33554432000 4194304 4196468 140726035754896 140420295010576 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12538] ppid=12532 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12538/stat : 12538 (java) S 12532 12532 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444276966 15514783744 23327 33554432000 4194304 4196468 140726035754896 140420293958288 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12539] ppid=12532 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12539/stat : 12539 (java) S 12532 12532 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444276966 15514783744 23327 33554432000 4194304 4196468 140726035754896 140420292905488 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12540] ppid=12532 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12540/stat : 12540 (java) S 12532 12532 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444276968 15514783744 23327 33554432000 4194304 4196468 140726035754896 140420172442224 140420703832706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12541] ppid=12532 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12541/stat : 12541 (java) S 12532 12532 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444276968 15514783744 23327 33554432000 4194304 4196468 140726035754896 140420171388192 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12542] ppid=12532 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12542/stat : 12542 (java) S 12532 12532 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444276968 15514783744 23327 33554432000 4194304 4196468 140726035754896 140420170335856 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12543] ppid=12532 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12543/stat : 12543 (java) S 12532 12532 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444276971 15514783744 23327 33554432000 4194304 4196468 140726035754896 140420169284176 140420703840155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12544] ppid=12532 vsize=15151156 memory=1764 CPUtime=0.3 cores=1,3,5,7
/proc/12534/task/12544/stat : 12544 (java) R 12532 12532 32513 0 -1 4202560 1421 0 0 0 30 0 0 0 20 0 15 0 444276971 15514783744 23327 33554432000 4194304 4196468 140726035754896 140420168231152 140420703842906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12545] ppid=12532 vsize=15151156 memory=111628 CPUtime=0.29 cores=1,3,5,7
/proc/12534/task/12545/stat : 12545 (java) R 12532 12532 32513 0 -1 1077944384 738 0 0 0 29 0 0 0 20 0 15 0 444276971 15514783744 23327 33554432000 4194304 4196468 140726035754896 140420167161888 140420703831765 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12546] ppid=12532 vsize=15151156 memory=796 CPUtime=0.41 cores=1,3,5,7
/proc/12534/task/12546/stat : 12546 (java) R 12532 12532 32513 0 -1 4202560 1735 0 0 0 41 0 0 0 20 0 15 0 444276971 15514783744 23327 33554432000 4194304 4196468 140726035754896 140420166125936 140420703833494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12547] ppid=12532 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12547/stat : 12547 (java) S 12532 12532 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444276971 15514783744 23327 33554432000 4194304 4196468 140726035754896 140420165073376 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12548] ppid=12532 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12548/stat : 12548 (java) S 12532 12532 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444276971 15514783744 23327 33554432000 4194304 4196468 140726035754896 140420164021168 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94756 KiB
[startup+1.50834 s]
/proc/loadavg: 9.37 8.75 8.53 11/238 12552
/proc/meminfo: memFree=31189336/32770624 swapFree=66997372/67108860
[pid=12532] ppid=12529 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444276965 115843072 362 33554432000 4194304 5098028 140728376036960 140728376035064 140383313375868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40337408 140728376042363 140728376042605 140728376042605 140728376045514 0
/proc/12532/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/12534/task/12548/stat : 12548 (java) S 12532 12532 32513 0 -1 1077944384 324 0 0 0 0 2 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420164021168 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12549] ppid=12532 vsize=15417412 memory=281147619672304 CPUtime=63.1 cores=1,3,5,7
/proc/12534/task/12549/stat : 12549 (java) R 12532 12532 32513 0 -1 4202560 747 0 0 0 6310 0 0 0 20 0 19 0 444277045 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420154801336 140420348375381 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12550] ppid=12532 vsize=15417412 memory=1448 CPUtime=63.31 cores=1,3,5,7
/proc/12534/task/12550/stat : 12550 (java) R 12532 12532 32513 0 -1 4202560 1970 0 0 0 6329 2 0 0 20 0 19 0 444277045 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420153750056 140420345087936 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12551] ppid=12532 vsize=15417412 memory=1448 CPUtime=63.36 cores=1,3,5,7
/proc/12534/task/12551/stat : 12551 (java) R 12532 12532 32513 0 -1 4202560 827 0 0 0 6335 1 0 0 20 0 19 0 444277045 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420152697272 140420345940572 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12552] ppid=12532 vsize=15417412 memory=184524 CPUtime=63.08 cores=1,3,5,7
/proc/12534/task/12552/stat : 12552 (java) R 12532 12532 32513 0 -1 4202560 1332 0 0 0 6308 0 0 0 20 0 19 0 444277045 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420151643856 140420343665524 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
Current children cumulated CPU time: 259.66 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 185972 KiB
[startup+67.2013 s]
/proc/loadavg: 9.07 8.78 8.55 9/239 12565
/proc/meminfo: memFree=31137624/32770624 swapFree=66997372/67108860
[pid=12532] ppid=12529 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444276965 115843072 362 33554432000 4194304 5098028 140728376036960 140728376035064 140383313375868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40337408 140728376042363 140728376042605 140728376042605 140728376045514 0
/proc/12532/statm: 28282 362 304 221 0 87 0
[pid=12534] ppid=12532 vsize=15417412 memory=184524 CPUtime=266.03 cores=1,3,5,7
/proc/12534/stat : 12534 (java) S 12532 12532 32513 0 -1 1077944320 51185 0 0 0 26583 20 0 0 20 0 19 0 444276965 15787429888 46131 33554432000 4194304 4196468 140726035754896 140726035737440 140420703821559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
/proc/12534/statm: 3854353 46131 3529 1 0 3815453 0
[pid=12534/tid=12535] ppid=12532 vsize=15417412 memory=6791534058613427641 CPUtime=0.77 cores=1,3,5,7
/proc/12534/task/12535/stat : 12535 (java) S 12532 12532 32513 0 -1 1077944384 8817 0 0 0 74 3 0 0 20 0 19 0 444276965 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420708062336 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12536] ppid=12532 vsize=15417412 memory=184508 CPUtime=0.1 cores=1,3,5,7
/proc/12534/task/12536/stat : 12536 (java) S 12532 12532 32513 0 -1 1077944384 746 0 0 0 9 1 0 0 20 0 19 0 444276966 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420669102480 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12537] ppid=12532 vsize=15417412 memory=920 CPUtime=0.1 cores=1,3,5,7
/proc/12534/task/12537/stat : 12537 (java) S 12532 12532 32513 0 -1 1077944384 1985 0 0 0 9 1 0 0 20 0 19 0 444276966 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420295010576 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12538] ppid=12532 vsize=15417412 memory=3848 CPUtime=0.1 cores=1,3,5,7
/proc/12534/task/12538/stat : 12538 (java) S 12532 12532 32513 0 -1 1077944384 1839 0 0 0 8 2 0 0 20 0 19 0 444276966 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420293958288 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12539] ppid=12532 vsize=15417412 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/12534/task/12539/stat : 12539 (java) S 12532 12532 32513 0 -1 1077944384 1097 0 0 0 9 2 0 0 20 0 19 0 444276966 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420292905488 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12540] ppid=12532 vsize=15417412 memory=3992 CPUtime=0.04 cores=1,3,5,7
/proc/12534/task/12540/stat : 12540 (java) S 12532 12532 32513 0 -1 1077944384 1344 0 0 0 3 1 0 0 20 0 19 0 444276968 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420172442224 140420703832706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12541] ppid=12532 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12541/stat : 12541 (java) S 12532 12532 32513 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 444276968 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420171388256 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12542] ppid=12532 vsize=15417412 memory=676 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12542/stat : 12542 (java) S 12532 12532 32513 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 444276968 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420170335872 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12543] ppid=12532 vsize=15417412 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12543/stat : 12543 (java) S 12532 12532 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420169284176 140420703840155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12544] ppid=12532 vsize=15417412 memory=1548 CPUtime=2.26 cores=1,3,5,7
/proc/12534/task/12544/stat : 12544 (java) S 12532 12532 32513 0 -1 1077944384 10258 0 0 0 225 1 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420168231024 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12545] ppid=12532 vsize=15417412 memory=8560 CPUtime=2.37 cores=1,3,5,7
/proc/12534/task/12545/stat : 12545 (java) S 12532 12532 32513 0 -1 1077944384 12362 0 0 0 236 1 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420167178224 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12546] ppid=12532 vsize=15417412 memory=1668 CPUtime=0.81 cores=1,3,5,7
/proc/12534/task/12546/stat : 12546 (java) S 12532 12532 32513 0 -1 1077944384 6167 0 0 0 80 1 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420166125936 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12547] ppid=12532 vsize=15417412 memory=47936 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12547/stat : 12547 (java) S 12532 12532 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420165073376 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12548] ppid=12532 vsize=15417412 memory=3028 CPUtime=0.02 cores=1,3,5,7
/proc/12534/task/12548/stat : 12548 (java) S 12532 12532 32513 0 -1 1077944384 327 0 0 0 0 2 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420164021168 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12549] ppid=12532 vsize=15417412 memory=2012 CPUtime=64.7 cores=1,3,5,7
/proc/12534/task/12549/stat : 12549 (java) R 12532 12532 32513 0 -1 4202560 749 0 0 0 6470 0 0 0 20 0 19 0 444277045 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420154801336 140420345686933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12550] ppid=12532 vsize=15417412 memory=1388 CPUtime=64.88 cores=1,3,5,7
/proc/12534/task/12550/stat : 12550 (java) R 12532 12532 32513 0 -1 4202560 1970 0 0 0 6486 2 0 0 20 0 19 0 444277045 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420153750056 140420345686947 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12551] ppid=12532 vsize=15417412 memory=776 CPUtime=64.96 cores=1,3,5,7
/proc/12534/task/12551/stat : 12551 (java) R 12532 12532 32513 0 -1 4202560 827 0 0 0 6495 1 0 0 20 0 19 0 444277045 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420152697272 140420347943722 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12552] ppid=12532 vsize=15417412 memory=6791534058613427641 CPUtime=64.68 cores=1,3,5,7
/proc/12534/task/12552/stat : 12552 (java) R 12532 12532 32513 0 -1 4202560 1333 0 0 0 6468 0 0 0 20 0 19 0 444277045 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420151643856 140420347185090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
Current children cumulated CPU time: 266.03 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 185972 KiB
[startup+68.0013 s]*
/proc/loadavg: 9.07 8.78 8.55 9/239 12565
/proc/meminfo: memFree=31139672/32770624 swapFree=66997372/67108860
[pid=12532] ppid=12529 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444276965 115843072 362 33554432000 4194304 5098028 140728376036960 140728376035064 140383313375868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40337408 140728376042363 140728376042605 140728376042605 140728376045514 0
/proc/12532/statm: 28282 362 304 221 0 87 0
[pid=12534] ppid=12532 vsize=15417412 memory=184524 CPUtime=269.25 cores=1,3,5,7
/proc/12534/stat : 12534 (java) S 12532 12532 32513 0 -1 1077944320 51186 0 0 0 26905 20 0 0 20 0 19 0 444276965 15787429888 46131 33554432000 4194304 4196468 140726035754896 140726035737440 140420703821559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
/proc/12534/statm: 3854353 46131 3529 1 0 3815453 0
[pid=12534/tid=12535] ppid=12532 vsize=15417412 memory=6935054825532540783 CPUtime=0.77 cores=1,3,5,7
/proc/12534/task/12535/stat : 12535 (java) S 12532 12532 32513 0 -1 1077944384 8817 0 0 0 74 3 0 0 20 0 19 0 444276965 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420708062336 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12536] ppid=12532 vsize=15417412 memory=4126316290023845779 CPUtime=0.1 cores=1,3,5,7
/proc/12534/task/12536/stat : 12536 (java) S 12532 12532 32513 0 -1 1077944384 746 0 0 0 9 1 0 0 20 0 19 0 444276966 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420669102480 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12537] ppid=12532 vsize=15417412 memory=1756 CPUtime=0.1 cores=1,3,5,7
/proc/12534/task/12537/stat : 12537 (java) S 12532 12532 32513 0 -1 1077944384 1985 0 0 0 9 1 0 0 20 0 19 0 444276966 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420295010576 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12538] ppid=12532 vsize=15417412 memory=1808 CPUtime=0.1 cores=1,3,5,7
/proc/12534/task/12538/stat : 12538 (java) S 12532 12532 32513 0 -1 1077944384 1839 0 0 0 8 2 0 0 20 0 19 0 444276966 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420293958288 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12539] ppid=12532 vsize=15417412 memory=920 CPUtime=0.11 cores=1,3,5,7
/proc/12534/task/12539/stat : 12539 (java) S 12532 12532 32513 0 -1 1077944384 1097 0 0 0 9 2 0 0 20 0 19 0 444276966 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420292905488 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12540] ppid=12532 vsize=15417412 memory=3848 CPUtime=0.04 cores=1,3,5,7
/proc/12534/task/12540/stat : 12540 (java) S 12532 12532 32513 0 -1 1077944384 1344 0 0 0 3 1 0 0 20 0 19 0 444276968 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420172442224 140420703832706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12541] ppid=12532 vsize=15417412 memory=2784 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12541/stat : 12541 (java) S 12532 12532 32513 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 444276968 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420171388256 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12542] ppid=12532 vsize=15417412 memory=2732 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12542/stat : 12542 (java) S 12532 12532 32513 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 444276968 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420170335872 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12543] ppid=12532 vsize=15417412 memory=6935054825532540783 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12543/stat : 12543 (java) S 12532 12532 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420169284176 140420703840155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12544] ppid=12532 vsize=15417412 memory=4126316290023845779 CPUtime=2.26 cores=1,3,5,7
/proc/12534/task/12544/stat : 12544 (java) S 12532 12532 32513 0 -1 1077944384 10258 0 0 0 225 1 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420168231024 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12545] ppid=12532 vsize=15417412 memory=33 CPUtime=2.37 cores=1,3,5,7
/proc/12534/task/12545/stat : 12545 (java) S 12532 12532 32513 0 -1 1077944384 12362 0 0 0 236 1 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420167178224 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12546] ppid=12532 vsize=15417412 memory=6299802978650451056 CPUtime=0.81 cores=1,3,5,7
/proc/12534/task/12546/stat : 12546 (java) S 12532 12532 32513 0 -1 1077944384 6167 0 0 0 80 1 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420166125936 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12547] ppid=12532 vsize=15417412 memory=7590655979367786604 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12547/stat : 12547 (java) S 12532 12532 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420165073376 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12548] ppid=12532 vsize=15417412 memory=7595440001688102255 CPUtime=0.02 cores=1,3,5,7
/proc/12534/task/12548/stat : 12548 (java) S 12532 12532 32513 0 -1 1077944384 327 0 0 0 0 2 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420164021168 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12549] ppid=12532 vsize=15417412 memory=7595440001688102255 CPUtime=65.51 cores=1,3,5,7
/proc/12534/task/12549/stat : 12549 (java) R 12532 12532 32513 0 -1 4202560 749 0 0 0 6551 0 0 0 20 0 19 0 444277045 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420154801336 140420347943648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12550] ppid=12532 vsize=15417412 memory=7956005031678667109 CPUtime=65.67 cores=1,3,5,7
/proc/12534/task/12550/stat : 12550 (java) R 12532 12532 32513 0 -1 4202560 1971 0 0 0 6565 2 0 0 20 0 19 0 444277045 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420153750056 140420347943652 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12551] ppid=12532 vsize=15417412 memory=7590655979367786604 CPUtime=65.77 cores=1,3,5,7
/proc/12534/task/12551/stat : 12551 (java) R 12532 12532 32513 0 -1 4202560 827 0 0 0 6576 1 0 0 20 0 19 0 444277045 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420152697272 140420348375402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12552] ppid=12532 vsize=15417412 memory=6036 CPUtime=65.49 cores=1,3,5,7
/proc/12534/task/12552/stat : 12552 (java) R 12532 12532 32513 0 -1 4202560 1333 0 0 0 6549 0 0 0 20 0 19 0 444277045 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420151643856 140420346075349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
Current children cumulated CPU time: 269.25 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 185972 KiB
[startup+68.4013 s]
/proc/loadavg: 9.07 8.78 8.55 9/239 12565
/proc/meminfo: memFree=31139672/32770624 swapFree=66997372/67108860
[pid=12532] ppid=12529 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12532/stat : 12532 (xcsp3-exec) S 12529 12532 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444276965 115843072 362 33554432000 4194304 5098028 140728376036960 140728376035064 140383313375868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40337408 140728376042363 140728376042605 140728376042605 140728376045514 0
/proc/12532/statm: 28282 362 304 221 0 87 0
[pid=12534] ppid=12532 vsize=15417412 memory=184524 CPUtime=270.81 cores=1,3,5,7
/proc/12534/stat : 12534 (java) S 12532 12532 32513 0 -1 1077944320 51188 0 0 0 27061 20 0 0 20 0 19 0 444276965 15787429888 46131 33554432000 4194304 4196468 140726035754896 140726035737440 140420703821559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
/proc/12534/statm: 3854353 46131 3529 1 0 3815453 0
[pid=12534/tid=12535] ppid=12532 vsize=15417412 memory=2828 CPUtime=0.77 cores=1,3,5,7
/proc/12534/task/12535/stat : 12535 (java) S 12532 12532 32513 0 -1 1077944384 8817 0 0 0 74 3 0 0 20 0 19 0 444276965 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420708062336 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12536] ppid=12532 vsize=15417412 memory=676 CPUtime=0.1 cores=1,3,5,7
/proc/12534/task/12536/stat : 12536 (java) S 12532 12532 32513 0 -1 1077944384 746 0 0 0 9 1 0 0 20 0 19 0 444276966 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420669102480 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12537] ppid=12532 vsize=15417412 memory=1060 CPUtime=0.1 cores=1,3,5,7
/proc/12534/task/12537/stat : 12537 (java) S 12532 12532 32513 0 -1 1077944384 1985 0 0 0 9 1 0 0 20 0 19 0 444276966 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420295010576 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12538] ppid=12532 vsize=15417412 memory=1548 CPUtime=0.1 cores=1,3,5,7
/proc/12534/task/12538/stat : 12538 (java) S 12532 12532 32513 0 -1 1077944384 1839 0 0 0 8 2 0 0 20 0 19 0 444276966 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420293958288 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12539] ppid=12532 vsize=15417412 memory=8560 CPUtime=0.11 cores=1,3,5,7
/proc/12534/task/12539/stat : 12539 (java) S 12532 12532 32513 0 -1 1077944384 1097 0 0 0 9 2 0 0 20 0 19 0 444276966 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420292905488 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12540] ppid=12532 vsize=15417412 memory=1668 CPUtime=0.04 cores=1,3,5,7
/proc/12534/task/12540/stat : 12540 (java) S 12532 12532 32513 0 -1 1077944384 1344 0 0 0 3 1 0 0 20 0 19 0 444276968 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420172442224 140420703832706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12541] ppid=12532 vsize=15417412 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12541/stat : 12541 (java) S 12532 12532 32513 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 444276968 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420171388256 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12542] ppid=12532 vsize=15417412 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12542/stat : 12542 (java) S 12532 12532 32513 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 444276968 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420170335872 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12543] ppid=12532 vsize=15417412 memory=6036 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12543/stat : 12543 (java) S 12532 12532 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420169284176 140420703840155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12544] ppid=12532 vsize=15417412 memory=14008 CPUtime=2.26 cores=1,3,5,7
/proc/12534/task/12544/stat : 12544 (java) S 12532 12532 32513 0 -1 1077944384 10258 0 0 0 225 1 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420168231024 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12545] ppid=12532 vsize=15417412 memory=2124 CPUtime=2.37 cores=1,3,5,7
/proc/12534/task/12545/stat : 12545 (java) S 12532 12532 32513 0 -1 1077944384 12362 0 0 0 236 1 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420167178224 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12546] ppid=12532 vsize=15417412 memory=25996 CPUtime=0.81 cores=1,3,5,7
/proc/12534/task/12546/stat : 12546 (java) S 12532 12532 32513 0 -1 1077944384 6167 0 0 0 80 1 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420166125936 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12547] ppid=12532 vsize=15417412 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/12534/task/12547/stat : 12547 (java) S 12532 12532 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420165073376 140420703831765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12548] ppid=12532 vsize=15417412 memory=500 CPUtime=0.02 cores=1,3,5,7
/proc/12534/task/12548/stat : 12548 (java) S 12532 12532 32513 0 -1 1077944384 327 0 0 0 0 2 0 0 20 0 19 0 444276971 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420164021168 140420703832706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12549] ppid=12532 vsize=15417412 memory=1560 CPUtime=65.89 cores=1,3,5,7
/proc/12534/task/12549/stat : 12549 (java) R 12532 12532 32513 0 -1 4202560 749 0 0 0 6589 0 0 0 20 0 19 0 444277045 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420154801336 140420345686947 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12550] ppid=12532 vsize=15417412 memory=932 CPUtime=66.06 cores=1,3,5,7
/proc/12534/task/12550/stat : 12550 (java) R 12532 12532 32513 0 -1 4202560 1973 0 0 0 6604 2 0 0 20 0 19 0 444277045 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420153750056 140420345686984 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12551] ppid=12532 vsize=15417412 memory=3768 CPUtime=66.16 cores=1,3,5,7
/proc/12534/task/12551/stat : 12551 (java) R 12532 12532 32513 0 -1 4202560 827 0 0 0 6615 1 0 0 20 0 19 0 444277045 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420152697272 140420345686928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
[pid=12534/tid=12552] ppid=12532 vsize=15417412 memory=1980 CPUtime=65.88 cores=1,3,5,7
/proc/12534/task/12552/stat : 12552 (java) R 12532 12532 32513 0 -1 4202560 1333 0 0 0 6588 0 0 0 20 0 19 0 444277045 15787429888 46131 33554432000 4194304 4196468 140726035754896 140420151643856 140420346888326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140726035756015 140726035756186 140726035756186 140726035759055 0
Current children cumulated CPU time: 270.81 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 185972 KiB
Child status: 0
Real time (s): 68.4704
CPU time (s): 271.053
CPU user time (s): 270.836
CPU system time (s): 0.216803
CPU usage (%): 395.869
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 252692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 270.836
system time used= 0.216803
maximum resident set size= 251244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52837
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5126
involuntary context switches= 6558
# summary of solver processes directly reported to runsolver:
# pid: 12532
# total CPU time (s): 271.053
# total CPU user time (s): 270.836
# total CPU system time (s): 0.216803
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.507818 second user time and 0.830975 second system time
The end