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 (8645 MiB free)
memory of node 1: 16384 MiB (7377 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403437-1568993046/watcher-4403437-1568993046 -o /tmp/evaluation-result-4403437-1568993046/solver-4403437-1568993046 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568983762-7722 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 951153514 HOME/instance-4403437-1568993046.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13357, runsolver pid=13354
[startup+0.100058 s]*
/proc/loadavg: 8.13 8.25 8.23 7/233 13373
/proc/meminfo: memFree=16390344/32770624 swapFree=66986244/67108860
[pid=13357] ppid=13354 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/13357/stat : 13357 (xcsp3-exec) S 13354 13357 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475561417 115843072 362 33554432000 4194304 5098028 140735158890416 140735158888520 140278381511292 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15200256 140735158899579 140735158899821 140735158899821 140735158902730 0
/proc/13357/statm: 28282 362 304 221 0 87 0
[pid=13359] ppid=13357 vsize=15144776 memory=29152 CPUtime=0.13 cores=1,3,5,7
/proc/13359/stat : 13359 (java) S 13357 13357 7690 0 -1 1077944320 5742 0 0 0 11 2 0 0 20 0 15 0 475561417 15508250624 7288 33554432000 4194304 4196468 140728149781168 140728149763712 140715417747191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
/proc/13359/statm: 3786194 7288 3136 1 0 3748377 0
[pid=13359/tid=13360] ppid=13357 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/13359/task/13360/stat : 13360 (java) R 13357 13357 7690 0 -1 4202560 3622 0 0 0 8 1 0 0 20 0 15 0 475561418 15508250624 7288 33554432000 4194304 4196468 140728149781168 140715421986432 140715417759126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13361] ppid=13357 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13361/stat : 13361 (java) S 13357 13357 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475561418 15508250624 7288 33554432000 4194304 4196468 140728149781168 140715345787152 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13362] ppid=13357 vsize=15144776 memory=140517004535424 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13362/stat : 13362 (java) S 13357 13357 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475561418 15508250624 7288 33554432000 4194304 4196468 140728149781168 140715344734608 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13363] ppid=13357 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13363/stat : 13363 (java) S 13357 13357 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475561418 15508250624 7288 33554432000 4194304 4196468 140728149781168 140715343682064 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13364] ppid=13357 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13364/stat : 13364 (java) S 13357 13357 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475561418 15508250624 7288 33554432000 4194304 4196468 140728149781168 140715007273616 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13365] ppid=13357 vsize=15144776 memory=140517004535424 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13365/stat : 13365 (java) S 13357 13357 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475561420 15508250624 7288 33554432000 4194304 4196468 140728149781168 140714953542128 140715417758338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13366] ppid=13357 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13366/stat : 13366 (java) S 13357 13357 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475561420 15508250624 7288 33554432000 4194304 4196468 140728149781168 140714952488352 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13367] ppid=13357 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13367/stat : 13367 (java) S 13357 13357 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475561420 15508250624 7288 33554432000 4194304 4196468 140728149781168 140714951435760 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13368] ppid=13357 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13368/stat : 13368 (java) S 13357 13357 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475561423 15508250624 7288 33554432000 4194304 4196468 140728149781168 140714950384336 140715417765787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13369] ppid=13357 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13369/stat : 13369 (java) S 13357 13357 7690 0 -1 1077944384 350 0 0 0 0 0 0 0 20 0 15 0 475561423 15508250624 7288 33554432000 4194304 4196468 140728149781168 140714949330928 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13370] ppid=13357 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13370/stat : 13370 (java) R 13357 13357 7690 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 475561423 15508250624 7288 33554432000 4194304 4196468 140728149781168 140714948278384 140715417758338 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13371] ppid=13357 vsize=15144776 memory=140517004535424 CPUtime=0.02 cores=1,3,5,7
/proc/13359/task/13371/stat : 13371 (java) R 13357 13357 7690 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 475561423 15508250624 7288 33554432000 4194304 4196468 140728149781168 140714947225840 140715396419726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13372] ppid=13357 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13372/stat : 13372 (java) S 13357 13357 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475561423 15508250624 7288 33554432000 4194304 4196468 140728149781168 140714946173536 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13373] ppid=13357 vsize=15144776 memory=140517004535424 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13373/stat : 13373 (java) S 13357 13357 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475561423 15508250624 7288 33554432000 4194304 4196468 140728149781168 140714945121072 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30600 KiB
[startup+0.211376 s]*
/proc/loadavg: 8.13 8.25 8.23 6/233 13373
/proc/meminfo: memFree=16377352/32770624 swapFree=66986244/67108860
[pid=13357] ppid=13354 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/13357/stat : 13357 (xcsp3-exec) S 13354 13357 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475561417 115843072 362 33554432000 4194304 5098028 140735158890416 140735158888520 140278381511292 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15200256 140735158899579 140735158899821 140735158899821 140735158902730 0
/proc/13357/statm: 28282 362 304 221 0 87 0
[pid=13359] ppid=13357 vsize=15144776 memory=41168 CPUtime=0.35 cores=1,3,5,7
/proc/13359/stat : 13359 (java) S 13357 13357 7690 0 -1 1077944320 9513 0 0 0 31 4 0 0 20 0 15 0 475561417 15508250624 10292 33554432000 4194304 4196468 140728149781168 140728149763712 140715417747191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
/proc/13359/statm: 3786194 10292 3308 1 0 3748377 0
[pid=13359/tid=13360] ppid=13357 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/13359/task/13360/stat : 13360 (java) R 13357 13357 7690 0 -1 4202560 6635 0 0 0 18 2 0 0 20 0 15 0 475561418 15508250624 10292 33554432000 4194304 4196468 140728149781168 140715421985008 140715023790437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13361] ppid=13357 vsize=15144776 memory=1898699 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13361/stat : 13361 (java) S 13357 13357 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475561418 15508250624 10292 33554432000 4194304 4196468 140728149781168 140715345787152 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13362] ppid=13357 vsize=15144776 memory=3472330503854764526 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13362/stat : 13362 (java) S 13357 13357 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475561418 15508250624 10292 33554432000 4194304 4196468 140728149781168 140715344734608 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13363] ppid=13357 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13363/stat : 13363 (java) S 13357 13357 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475561418 15508250624 10292 33554432000 4194304 4196468 140728149781168 140715343682064 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13364] ppid=13357 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13364/stat : 13364 (java) S 13357 13357 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475561418 15508250624 10292 33554432000 4194304 4196468 140728149781168 140715007273616 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13365] ppid=13357 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13365/stat : 13365 (java) S 13357 13357 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475561420 15508250624 10292 33554432000 4194304 4196468 140728149781168 140714953542128 140715417758338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13366] ppid=13357 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13366/stat : 13366 (java) S 13357 13357 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475561420 15508250624 10292 33554432000 4194304 4196468 140728149781168 140714952488352 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13367] ppid=13357 vsize=15144776 memory=140517004535424 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13367/stat : 13367 (java) S 13357 13357 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475561420 15508250624 10292 33554432000 4194304 4196468 140728149781168 140714951435760 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13368] ppid=13357 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13368/stat : 13368 (java) S 13357 13357 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475561423 15508250624 10292 33554432000 4194304 4196468 140728149781168 140714950384336 140715417765787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13369] ppid=13357 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13359/task/13369/stat : 13369 (java) S 13357 13357 7690 0 -1 1077944384 661 0 0 0 2 0 0 0 20 0 15 0 475561423 15508250624 10292 33554432000 4194304 4196468 140728149781168 140714949330928 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13370] ppid=13357 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13359/task/13370/stat : 13370 (java) S 13357 13357 7690 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 15 0 475561423 15508250624 10292 33554432000 4194304 4196468 140728149781168 140714948278384 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13371] ppid=13357 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13359/task/13371/stat : 13371 (java) R 13357 13357 7690 0 -1 4202560 736 0 0 0 8 0 0 0 20 0 15 0 475561423 15508250624 10292 33554432000 4194304 4196468 140728149781168 140714947225840 140715397169808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13372] ppid=13357 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13372/stat : 13372 (java) S 13357 13357 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475561423 15508250624 10292 33554432000 4194304 4196468 140728149781168 140714946173536 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13373] ppid=13357 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13373/stat : 13373 (java) S 13357 13357 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475561423 15508250624 10292 33554432000 4194304 4196468 140728149781168 140714945121072 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42616 KiB
[startup+0.310727 s]*
/proc/loadavg: 8.13 8.25 8.23 6/233 13373
/proc/meminfo: memFree=16370192/32770624 swapFree=66986244/67108860
[pid=13357] ppid=13354 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/13357/stat : 13357 (xcsp3-exec) S 13354 13357 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475561417 115843072 362 33554432000 4194304 5098028 140735158890416 140735158888520 140278381511292 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15200256 140735158899579 140735158899821 140735158899821 140735158902730 0
/proc/13357/statm: 28282 362 304 221 0 87 0
[pid=13359] ppid=13357 vsize=15149032 memory=49920 CPUtime=0.51 cores=1,3,5,7
/proc/13359/stat : 13359 (java) S 13357 13357 7690 0 -1 1077944320 10843 0 0 0 46 5 0 0 20 0 15 0 475561417 15512608768 12480 33554432000 4194304 4196468 140728149781168 140728149763712 140715417747191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
/proc/13359/statm: 3787258 12480 3340 1 0 3748377 0
[pid=13359/tid=13360] ppid=13357 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/13359/task/13360/stat : 13360 (java) R 13357 13357 7690 0 -1 4202560 7849 0 0 0 26 4 0 0 20 0 15 0 475561418 15512608768 12480 33554432000 4194304 4196468 140728149781168 140715421980976 140715417769117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13361] ppid=13357 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13361/stat : 13361 (java) S 13357 13357 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475561418 15512608768 12480 33554432000 4194304 4196468 140728149781168 140715345787152 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13362] ppid=13357 vsize=15149032 memory=3763093055285244100 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13362/stat : 13362 (java) S 13357 13357 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475561418 15512608768 12480 33554432000 4194304 4196468 140728149781168 140715344734608 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13363] ppid=13357 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13363/stat : 13363 (java) S 13357 13357 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475561418 15512608768 12480 33554432000 4194304 4196468 140728149781168 140715343682064 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13364] ppid=13357 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13364/stat : 13364 (java) S 13357 13357 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475561418 15512608768 12480 33554432000 4194304 4196468 140728149781168 140715007273616 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13365] ppid=13357 vsize=15149032 memory=140517004535424 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13365/stat : 13365 (java) S 13357 13357 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475561420 15512608768 12480 33554432000 4194304 4196468 140728149781168 140714953542128 140715417758338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13366] ppid=13357 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13366/stat : 13366 (java) S 13357 13357 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475561420 15512608768 12480 33554432000 4194304 4196468 140728149781168 140714952488352 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13367] ppid=13357 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13367/stat : 13367 (java) S 13357 13357 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475561420 15512608768 12480 33554432000 4194304 4196468 140728149781168 140714951435760 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13368] ppid=13357 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13368/stat : 13368 (java) S 13357 13357 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475561423 15512608768 12480 33554432000 4194304 4196468 140728149781168 140714950384336 140715417765787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13369] ppid=13357 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/13359/task/13369/stat : 13369 (java) S 13357 13357 7690 0 -1 1077944384 684 0 0 0 4 0 0 0 20 0 15 0 475561423 15512608768 12480 33554432000 4194304 4196468 140728149781168 140714949330928 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13370] ppid=13357 vsize=15149032 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/13359/task/13370/stat : 13370 (java) S 13357 13357 7690 0 -1 1077944384 189 0 0 0 3 0 0 0 20 0 15 0 475561423 15512608768 12480 33554432000 4194304 4196468 140728149781168 140714948278384 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13371] ppid=13357 vsize=15149032 memory=140517004535424 CPUtime=0.12 cores=1,3,5,7
/proc/13359/task/13371/stat : 13371 (java) S 13357 13357 7690 0 -1 1077944384 821 0 0 0 12 0 0 0 20 0 15 0 475561423 15512608768 12480 33554432000 4194304 4196468 140728149781168 140714947225840 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13372] ppid=13357 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13372/stat : 13372 (java) S 13357 13357 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475561423 15512608768 12480 33554432000 4194304 4196468 140728149781168 140714946173536 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13373] ppid=13357 vsize=15149032 memory=140517004535424 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13373/stat : 13373 (java) S 13357 13357 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475561423 15512608768 12480 33554432000 4194304 4196468 140728149781168 140714945121072 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51368 KiB
[startup+0.701317 s]
/proc/loadavg: 8.13 8.25 8.23 10/233 13373
/proc/meminfo: memFree=16348100/32770624 swapFree=66986244/67108860
[pid=13357] ppid=13354 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/13357/stat : 13357 (xcsp3-exec) S 13354 13357 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475561417 115843072 362 33554432000 4194304 5098028 140735158890416 140735158888520 140278381511292 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15200256 140735158899579 140735158899821 140735158899821 140735158902730 0
/proc/13357/statm: 28282 362 304 221 0 87 0
[pid=13359] ppid=13357 vsize=15151156 memory=112480 CPUtime=1.71 cores=1,3,5,7
/proc/13359/stat : 13359 (java) S 13357 13357 7690 0 -1 1077944320 14701 0 0 0 165 6 0 0 20 0 15 0 475561417 15514783744 28120 33554432000 4194304 4196468 140728149781168 140728149763712 140715417747191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
/proc/13359/statm: 3787789 28120 3445 1 0 3748889 0
[pid=13359/tid=13360] ppid=13357 vsize=15151156 memory=2120 CPUtime=0.68 cores=1,3,5,7
/proc/13359/task/13360/stat : 13360 (java) R 13357 13357 7690 0 -1 4202560 8307 0 0 0 64 4 0 0 20 0 15 0 475561418 15514783744 28120 33554432000 4194304 4196468 140728149781168 140715421981280 140715027314977 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13361] ppid=13357 vsize=15151156 memory=532 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13361/stat : 13361 (java) S 13357 13357 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475561418 15514783744 28120 33554432000 4194304 4196468 140728149781168 140715345787152 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13362] ppid=13357 vsize=15151156 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13362/stat : 13362 (java) S 13357 13357 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475561418 15514783744 28120 33554432000 4194304 4196468 140728149781168 140715344734608 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13363] ppid=13357 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13363/stat : 13363 (java) S 13357 13357 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475561418 15514783744 28120 33554432000 4194304 4196468 140728149781168 140715343682064 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13364] ppid=13357 vsize=15151156 memory=1680 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13364/stat : 13364 (java) S 13357 13357 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475561418 15514783744 28120 33554432000 4194304 4196468 140728149781168 140715007273616 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13365] ppid=13357 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13365/stat : 13365 (java) S 13357 13357 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475561420 15514783744 28120 33554432000 4194304 4196468 140728149781168 140714953542128 140715417758338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13366] ppid=13357 vsize=15151156 memory=912 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13366/stat : 13366 (java) S 13357 13357 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475561420 15514783744 28120 33554432000 4194304 4196468 140728149781168 140714952488352 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13367] ppid=13357 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13367/stat : 13367 (java) S 13357 13357 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475561420 15514783744 28120 33554432000 4194304 4196468 140728149781168 140714951435760 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13368] ppid=13357 vsize=15151156 memory=2480 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13368/stat : 13368 (java) S 13357 13357 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475561423 15514783744 28120 33554432000 4194304 4196468 140728149781168 140714950384336 140715417765787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13369] ppid=13357 vsize=15151156 memory=7302135314614015849 CPUtime=0.36 cores=1,3,5,7
/proc/13359/task/13369/stat : 13369 (java) R 13357 13357 7690 0 -1 4202560 2087 0 0 0 36 0 0 0 20 0 15 0 475561423 15514783744 28120 33554432000 4194304 4196468 140728149781168 140714949316952 140715401247740 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13370] ppid=13357 vsize=15151156 memory=5866332588140292694 CPUtime=0.34 cores=1,3,5,7
/proc/13359/task/13370/stat : 13370 (java) R 13357 13357 7690 0 -1 4202560 1378 0 0 0 34 0 0 0 20 0 15 0 475561423 15514783744 28120 33554432000 4194304 4196468 140728149781168 140714948258792 140715399268376 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13371] ppid=13357 vsize=15151156 memory=7295944995277656144 CPUtime=0.29 cores=1,3,5,7
/proc/13359/task/13371/stat : 13371 (java) S 13357 13357 7690 0 -1 1077944384 1623 0 0 0 29 0 0 0 20 0 15 0 475561423 15514783744 28120 33554432000 4194304 4196468 140728149781168 140714947225840 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13372] ppid=13357 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13372/stat : 13372 (java) S 13357 13357 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475561423 15514783744 28120 33554432000 4194304 4196468 140728149781168 140714946173536 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13373] ppid=13357 vsize=15151156 memory=7523096512984082771 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13373/stat : 13373 (java) S 13357 13357 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475561423 15514783744 28120 33554432000 4194304 4196468 140728149781168 140714945121072 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 113928 KiB
[startup+1.50132 s]
/proc/loadavg: 8.13 8.25 8.23 8/233 13373
/proc/meminfo: memFree=16213316/32770624 swapFree=66986244/67108860
[pid=13357] ppid=13354 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/13357/stat : 13357 (xcsp3-exec) S 13354 13357 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475561417 115843072 362 33554432000 4194304 5098028 140735158890416 140735158888520 140278381511292 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15200256 140735158899579 140735158899821 140735158899821 140735158902730 0
/proc/13357/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/13359/task/13373/stat : 13373 (java) S 13357 13357 7690 0 -1 1077944384 473 0 0 0 11 0 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714945121072 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13375] ppid=13357 vsize=15419460 memory=692 CPUtime=277.29 cores=1,3,5,7
/proc/13359/task/13375/stat : 13375 (java) R 13357 13357 7690 0 -1 4202560 3467 0 0 0 27728 1 0 0 20 0 19 0 475561928 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714868366408 140715034004239 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13376] ppid=13357 vsize=15419460 memory=1448 CPUtime=279.26 cores=1,3,5,7
/proc/13359/task/13376/stat : 13376 (java) R 13357 13357 7690 0 -1 4202560 8829 0 0 0 27921 5 0 0 20 0 19 0 475561928 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714867314768 140715025192455 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13377] ppid=13357 vsize=15419460 memory=2947572 CPUtime=279.68 cores=1,3,5,7
/proc/13359/task/13377/stat : 13377 (java) R 13357 13357 7690 0 -1 4202560 3624 0 0 0 27967 1 0 0 20 0 19 0 475561928 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714866262472 140715034178358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13378] ppid=13357 vsize=15419460 memory=1564 CPUtime=279.27 cores=1,3,5,7
/proc/13359/task/13378/stat : 13378 (java) R 13357 13357 7690 0 -1 4202560 4193 0 0 0 27915 12 0 0 20 0 19 0 475561928 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714865211016 140715034004131 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
Current children cumulated CPU time: 1143.12 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3071784 KiB
[startup+290.401 s]
/proc/loadavg: 8.69 8.37 8.27 9/235 13483
/proc/meminfo: memFree=13487392/32770624 swapFree=66986244/67108860
[pid=13357] ppid=13354 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/13357/stat : 13357 (xcsp3-exec) S 13354 13357 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475561417 115843072 362 33554432000 4194304 5098028 140735158890416 140735158888520 140278381511292 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15200256 140735158899579 140735158899821 140735158899821 140735158902730 0
/proc/13357/statm: 28282 362 304 221 0 87 0
[pid=13359] ppid=13357 vsize=15419460 memory=3070336 CPUtime=1146.3 cores=1,3,5,7
/proc/13359/stat : 13359 (java) S 13357 13357 7690 0 -1 1077944320 101134 0 0 0 114476 154 0 0 20 0 19 0 475561417 15789527040 767584 33554432000 4194304 4196468 140728149781168 140728149763712 140715417747191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
/proc/13359/statm: 3854865 767584 3557 1 0 3815965 0
[pid=13359/tid=13360] ppid=13357 vsize=15419460 memory=1440 CPUtime=4.74 cores=1,3,5,7
/proc/13359/task/13360/stat : 13360 (java) S 13357 13357 7690 0 -1 1077944384 10954 0 0 0 458 16 0 0 20 0 19 0 475561418 15789527040 767584 33554432000 4194304 4196468 140728149781168 140715421987968 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13361] ppid=13357 vsize=15419460 memory=912 CPUtime=2.16 cores=1,3,5,7
/proc/13359/task/13361/stat : 13361 (java) S 13357 13357 7690 0 -1 1077944384 1999 0 0 0 192 24 0 0 20 0 19 0 475561418 15789527040 767584 33554432000 4194304 4196468 140728149781168 140715345787152 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13362] ppid=13357 vsize=15419460 memory=1984 CPUtime=2.1 cores=1,3,5,7
/proc/13359/task/13362/stat : 13362 (java) S 13357 13357 7690 0 -1 1077944384 1249 0 0 0 186 24 0 0 20 0 19 0 475561418 15789527040 767584 33554432000 4194304 4196468 140728149781168 140715344734608 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13363] ppid=13357 vsize=15419460 memory=692 CPUtime=2.16 cores=1,3,5,7
/proc/13359/task/13363/stat : 13363 (java) S 13357 13357 7690 0 -1 1077944384 2501 0 0 0 188 28 0 0 20 0 19 0 475561418 15789527040 767584 33554432000 4194304 4196468 140728149781168 140715343682064 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13364] ppid=13357 vsize=15419460 memory=1056 CPUtime=2.14 cores=1,3,5,7
/proc/13359/task/13364/stat : 13364 (java) S 13357 13357 7690 0 -1 1077944384 1497 0 0 0 188 26 0 0 20 0 19 0 475561418 15789527040 767584 33554432000 4194304 4196468 140728149781168 140715007273616 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13365] ppid=13357 vsize=15419460 memory=1556 CPUtime=0.8 cores=1,3,5,7
/proc/13359/task/13365/stat : 13365 (java) S 13357 13357 7690 0 -1 1077944384 6454 0 0 0 75 5 0 0 20 0 19 0 475561420 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714953542128 140715417758338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13366] ppid=13357 vsize=15419460 memory=780 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13366/stat : 13366 (java) S 13357 13357 7690 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 475561420 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714952488416 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13367] ppid=13357 vsize=15419460 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13367/stat : 13367 (java) S 13357 13357 7690 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475561420 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714951435776 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13368] ppid=13357 vsize=15419460 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13368/stat : 13368 (java) S 13357 13357 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714950384336 140715417765787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13369] ppid=13357 vsize=15419460 memory=1448 CPUtime=6.11 cores=1,3,5,7
/proc/13359/task/13369/stat : 13369 (java) S 13357 13357 7690 0 -1 1077944384 21629 0 0 0 609 2 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714949330928 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13370] ppid=13357 vsize=15419460 memory=2947572 CPUtime=6.09 cores=1,3,5,7
/proc/13359/task/13370/stat : 13370 (java) S 13357 13357 7690 0 -1 1077944384 20708 0 0 0 607 2 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714948278384 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13371] ppid=13357 vsize=15419460 memory=2832 CPUtime=1.03 cores=1,3,5,7
/proc/13359/task/13371/stat : 13371 (java) S 13357 13357 7690 0 -1 1077944384 12236 0 0 0 102 1 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714947225840 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13372] ppid=13357 vsize=15419460 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13372/stat : 13372 (java) S 13357 13357 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714946173536 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13373] ppid=13357 vsize=15419460 memory=1448 CPUtime=0.11 cores=1,3,5,7
/proc/13359/task/13373/stat : 13373 (java) S 13357 13357 7690 0 -1 1077944384 473 0 0 0 11 0 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714945121072 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13375] ppid=13357 vsize=15419460 memory=1448 CPUtime=278.09 cores=1,3,5,7
/proc/13359/task/13375/stat : 13375 (java) R 13357 13357 7690 0 -1 4202560 3467 0 0 0 27808 1 0 0 20 0 19 0 475561928 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714868366408 140715034997578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13376] ppid=13357 vsize=15419460 memory=2947572 CPUtime=280.06 cores=1,3,5,7
/proc/13359/task/13376/stat : 13376 (java) R 13357 13357 7690 0 -1 4202560 8829 0 0 0 28001 5 0 0 20 0 19 0 475561928 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714867314768 140715034961649 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13377] ppid=13357 vsize=15419460 memory=912 CPUtime=280.48 cores=1,3,5,7
/proc/13359/task/13377/stat : 13377 (java) R 13357 13357 7690 0 -1 4202560 3624 0 0 0 28047 1 0 0 20 0 19 0 475561928 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714866262472 140715034997578 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13378] ppid=13357 vsize=15419460 memory=55376 CPUtime=280.05 cores=1,3,5,7
/proc/13359/task/13378/stat : 13378 (java) R 13357 13357 7690 0 -1 4202560 4193 0 0 0 27993 12 0 0 20 0 19 0 475561928 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714865211016 140715033584163 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
Current children cumulated CPU time: 1146.3 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3071784 KiB
[startup+290.801 s]
/proc/loadavg: 8.69 8.37 8.27 9/235 13483
/proc/meminfo: memFree=13487392/32770624 swapFree=66986244/67108860
[pid=13357] ppid=13354 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/13357/stat : 13357 (xcsp3-exec) S 13354 13357 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475561417 115843072 362 33554432000 4194304 5098028 140735158890416 140735158888520 140278381511292 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15200256 140735158899579 140735158899821 140735158899821 140735158902730 0
/proc/13357/statm: 28282 362 304 221 0 87 0
[pid=13359] ppid=13357 vsize=15419460 memory=3070336 CPUtime=1147.9 cores=1,3,5,7
/proc/13359/stat : 13359 (java) S 13357 13357 7690 0 -1 1077944320 101134 0 0 0 114636 154 0 0 20 0 19 0 475561417 15789527040 767584 33554432000 4194304 4196468 140728149781168 140728149763712 140715417747191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
/proc/13359/statm: 3854865 767584 3557 1 0 3815965 0
[pid=13359/tid=13360] ppid=13357 vsize=15419460 memory=16098169624726078 CPUtime=4.74 cores=1,3,5,7
/proc/13359/task/13360/stat : 13360 (java) S 13357 13357 7690 0 -1 1077944384 10954 0 0 0 458 16 0 0 20 0 19 0 475561418 15789527040 767584 33554432000 4194304 4196468 140728149781168 140715421987968 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13361] ppid=13357 vsize=15419460 memory=1448 CPUtime=2.16 cores=1,3,5,7
/proc/13359/task/13361/stat : 13361 (java) S 13357 13357 7690 0 -1 1077944384 1999 0 0 0 192 24 0 0 20 0 19 0 475561418 15789527040 767584 33554432000 4194304 4196468 140728149781168 140715345787152 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13362] ppid=13357 vsize=15419460 memory=1448 CPUtime=2.1 cores=1,3,5,7
/proc/13359/task/13362/stat : 13362 (java) S 13357 13357 7690 0 -1 1077944384 1249 0 0 0 186 24 0 0 20 0 19 0 475561418 15789527040 767584 33554432000 4194304 4196468 140728149781168 140715344734608 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13363] ppid=13357 vsize=15419460 memory=3070336 CPUtime=2.16 cores=1,3,5,7
/proc/13359/task/13363/stat : 13363 (java) S 13357 13357 7690 0 -1 1077944384 2501 0 0 0 188 28 0 0 20 0 19 0 475561418 15789527040 767584 33554432000 4194304 4196468 140728149781168 140715343682064 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13364] ppid=13357 vsize=15419460 memory=16098169624726078 CPUtime=2.14 cores=1,3,5,7
/proc/13359/task/13364/stat : 13364 (java) S 13357 13357 7690 0 -1 1077944384 1497 0 0 0 188 26 0 0 20 0 19 0 475561418 15789527040 767584 33554432000 4194304 4196468 140728149781168 140715007273616 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13365] ppid=13357 vsize=15419460 memory=2608 CPUtime=0.8 cores=1,3,5,7
/proc/13359/task/13365/stat : 13365 (java) S 13357 13357 7690 0 -1 1077944384 6454 0 0 0 75 5 0 0 20 0 19 0 475561420 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714953542128 140715417758338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13366] ppid=13357 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13366/stat : 13366 (java) S 13357 13357 7690 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 475561420 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714952488416 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13367] ppid=13357 vsize=15419460 memory=5787477641288517003 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13367/stat : 13367 (java) S 13357 13357 7690 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475561420 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714951435776 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13368] ppid=13357 vsize=15419460 memory=916 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13368/stat : 13368 (java) S 13357 13357 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714950384336 140715417765787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13369] ppid=13357 vsize=15419460 memory=3848 CPUtime=6.11 cores=1,3,5,7
/proc/13359/task/13369/stat : 13369 (java) S 13357 13357 7690 0 -1 1077944384 21629 0 0 0 609 2 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714949330928 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13370] ppid=13357 vsize=15419460 memory=2608 CPUtime=6.09 cores=1,3,5,7
/proc/13359/task/13370/stat : 13370 (java) S 13357 13357 7690 0 -1 1077944384 20708 0 0 0 607 2 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714948278384 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13371] ppid=13357 vsize=15419460 memory=924 CPUtime=1.03 cores=1,3,5,7
/proc/13359/task/13371/stat : 13371 (java) S 13357 13357 7690 0 -1 1077944384 12236 0 0 0 102 1 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714947225840 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13372] ppid=13357 vsize=15419460 memory=7379539859719414355 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13372/stat : 13372 (java) S 13357 13357 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714946173536 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13373] ppid=13357 vsize=15419460 memory=147388 CPUtime=0.11 cores=1,3,5,7
/proc/13359/task/13373/stat : 13373 (java) S 13357 13357 7690 0 -1 1077944384 473 0 0 0 11 0 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714945121072 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13375] ppid=13357 vsize=15419460 memory=1164 CPUtime=278.49 cores=1,3,5,7
/proc/13359/task/13375/stat : 13375 (java) R 13357 13357 7690 0 -1 4202560 3467 0 0 0 27848 1 0 0 20 0 19 0 475561928 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714868366408 140715034961676 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13376] ppid=13357 vsize=15419460 memory=8317482817917895235 CPUtime=280.46 cores=1,3,5,7
/proc/13359/task/13376/stat : 13376 (java) R 13357 13357 7690 0 -1 4202560 8829 0 0 0 28041 5 0 0 20 0 19 0 475561928 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714867314768 140715034178442 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13377] ppid=13357 vsize=15419460 memory=4126316290023845779 CPUtime=280.88 cores=1,3,5,7
/proc/13359/task/13377/stat : 13377 (java) R 13357 13357 7690 0 -1 4202560 3624 0 0 0 28087 1 0 0 20 0 19 0 475561928 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714866262472 140715033463399 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13378] ppid=13357 vsize=15419460 memory=7883108471110003051 CPUtime=280.45 cores=1,3,5,7
/proc/13359/task/13378/stat : 13378 (java) R 13357 13357 7690 0 -1 4202560 4193 0 0 0 28033 12 0 0 20 0 19 0 475561928 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714865211016 140715034004784 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
Current children cumulated CPU time: 1147.9 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3071784 KiB
[startup+290.917 s]
/proc/loadavg: 8.69 8.37 8.27 9/235 13483
/proc/meminfo: memFree=13487392/32770624 swapFree=66986244/67108860
[pid=13357] ppid=13354 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/13357/stat : 13357 (xcsp3-exec) S 13354 13357 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475561417 115843072 362 33554432000 4194304 5098028 140735158890416 140735158888520 140278381511292 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15200256 140735158899579 140735158899821 140735158899821 140735158902730 0
/proc/13357/statm: 28282 362 304 221 0 87 0
[pid=13359] ppid=13357 vsize=15419460 memory=3070336 CPUtime=1148.36 cores=1,3,5,7
/proc/13359/stat : 13359 (java) S 13357 13357 7690 0 -1 1077944320 101149 0 0 0 114682 154 0 0 20 0 19 0 475561417 15789527040 767584 33554432000 4194304 4196468 140728149781168 140728149763712 140715417747191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
/proc/13359/statm: 3854865 767584 3557 1 0 3815965 0
[pid=13359/tid=13360] ppid=13357 vsize=15419460 memory=3070336 CPUtime=4.74 cores=1,3,5,7
/proc/13359/task/13360/stat : 13360 (java) S 13357 13357 7690 0 -1 1077944384 10954 0 0 0 458 16 0 0 20 0 19 0 475561418 15789527040 767584 33554432000 4194304 4196468 140728149781168 140715421987968 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13361] ppid=13357 vsize=15419460 memory=2947572 CPUtime=2.16 cores=1,3,5,7
/proc/13359/task/13361/stat : 13361 (java) S 13357 13357 7690 0 -1 1077944384 1999 0 0 0 192 24 0 0 20 0 19 0 475561418 15789527040 767584 33554432000 4194304 4196468 140728149781168 140715345787152 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13362] ppid=13357 vsize=15419460 memory=2947572 CPUtime=2.1 cores=1,3,5,7
/proc/13359/task/13362/stat : 13362 (java) S 13357 13357 7690 0 -1 1077944384 1249 0 0 0 186 24 0 0 20 0 19 0 475561418 15789527040 767584 33554432000 4194304 4196468 140728149781168 140715344734608 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13363] ppid=13357 vsize=15419460 memory=2947572 CPUtime=2.16 cores=1,3,5,7
/proc/13359/task/13363/stat : 13363 (java) S 13357 13357 7690 0 -1 1077944384 2501 0 0 0 188 28 0 0 20 0 19 0 475561418 15789527040 767584 33554432000 4194304 4196468 140728149781168 140715343682064 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13364] ppid=13357 vsize=15419460 memory=1448 CPUtime=2.14 cores=1,3,5,7
/proc/13359/task/13364/stat : 13364 (java) S 13357 13357 7690 0 -1 1077944384 1497 0 0 0 188 26 0 0 20 0 19 0 475561418 15789527040 767584 33554432000 4194304 4196468 140728149781168 140715007273616 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13365] ppid=13357 vsize=15419460 memory=2947572 CPUtime=0.8 cores=1,3,5,7
/proc/13359/task/13365/stat : 13365 (java) S 13357 13357 7690 0 -1 1077944384 6454 0 0 0 75 5 0 0 20 0 19 0 475561420 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714953542128 140715417758338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13366] ppid=13357 vsize=15419460 memory=2947540 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13366/stat : 13366 (java) S 13357 13357 7690 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 475561420 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714952488416 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13367] ppid=13357 vsize=15419460 memory=2947572 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13367/stat : 13367 (java) S 13357 13357 7690 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475561420 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714951435776 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13368] ppid=13357 vsize=15419460 memory=3070336 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13368/stat : 13368 (java) S 13357 13357 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714950384336 140715417765787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13369] ppid=13357 vsize=15419460 memory=1448 CPUtime=6.12 cores=1,3,5,7
/proc/13359/task/13369/stat : 13369 (java) S 13357 13357 7690 0 -1 1077944384 21632 0 0 0 610 2 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714949331056 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13370] ppid=13357 vsize=15419460 memory=1084 CPUtime=6.1 cores=1,3,5,7
/proc/13359/task/13370/stat : 13370 (java) S 13357 13357 7690 0 -1 1077944384 20708 0 0 0 608 2 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714948278384 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13371] ppid=13357 vsize=15419460 memory=14012 CPUtime=1.03 cores=1,3,5,7
/proc/13359/task/13371/stat : 13371 (java) R 13357 13357 7690 0 -1 1077944384 12242 0 0 0 102 1 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714947225840 140715417758338 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13372] ppid=13357 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/13359/task/13372/stat : 13372 (java) S 13357 13357 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714946173536 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13373] ppid=13357 vsize=15419460 memory=2947572 CPUtime=0.11 cores=1,3,5,7
/proc/13359/task/13373/stat : 13373 (java) S 13357 13357 7690 0 -1 1077944384 473 0 0 0 11 0 0 0 20 0 19 0 475561423 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714945121072 140715417758338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13375] ppid=13357 vsize=15419460 memory=1448 CPUtime=278.61 cores=1,3,5,7
/proc/13359/task/13375/stat : 13375 (java) R 13357 13357 7690 0 -1 4202560 3467 0 0 0 27860 1 0 0 20 0 19 0 475561928 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714868366408 140715034004835 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13376] ppid=13357 vsize=15419460 memory=2947572 CPUtime=280.57 cores=1,3,5,7
/proc/13359/task/13376/stat : 13376 (java) S 13357 13357 7690 0 -1 1077944384 8835 0 0 0 28052 5 0 0 20 0 19 0 475561928 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714867320272 140715417757397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13377] ppid=13357 vsize=15419460 memory=3848 CPUtime=280.99 cores=1,3,5,7
/proc/13359/task/13377/stat : 13377 (java) R 13357 13357 7690 0 -1 4202560 3624 0 0 0 28098 1 0 0 20 0 19 0 475561928 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714866262472 140715034417509 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
[pid=13359/tid=13378] ppid=13357 vsize=15419460 memory=2608 CPUtime=280.56 cores=1,3,5,7
/proc/13359/task/13378/stat : 13378 (java) R 13357 13357 7690 0 -1 4202560 4193 0 0 0 28044 12 0 0 20 0 19 0 475561928 15789527040 767584 33554432000 4194304 4196468 140728149781168 140714865211016 140715034179269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20344832 140728149783535 140728149783706 140728149783706 140728149786575 0
Current children cumulated CPU time: 1148.36 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3071784 KiB
Child status: 0
Real time (s): 290.971
CPU time (s): 1148.44
CPU user time (s): 1146.87
CPU system time (s): 1.56175
CPU usage (%): 394.691
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 3071784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1146.87
system time used= 1.56175
maximum resident set size= 3070544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101834
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10643
involuntary context switches= 21362
# summary of solver processes directly reported to runsolver:
# pid: 13357
# total CPU time (s): 1148.44
# total CPU user time (s): 1146.87
# total CPU system time (s): 1.56175
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.98641 second user time and 3.38998 second system time
The end