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 (15050 MiB free)
memory of node 1: 16384 MiB (14614 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394260-1568330707/watcher-4394260-1568330707 -o /tmp/evaluation-result-4394260-1568330707/solver-4394260-1568330707 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 364014208 HOME/instance-4394260-1568330707.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2487, runsolver pid=2484
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 5.08 6.94 7.57 5/234 2503
/proc/meminfo: memFree=30358784/32770624 swapFree=66933676/67108860
[pid=2487] ppid=2484 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2487/stat : 2487 (xcsp3-exec) S 2484 2487 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409342134 115843072 363 33554432000 4194304 5098028 140722654414912 140722654413016 140009429578364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15728640 140722654421883 140722654422125 140722654422125 140722654425034 0
/proc/2487/statm: 28282 363 304 221 0 87 0
[pid=2489] ppid=2487 vsize=15144768 memory=29352 CPUtime=0.12 cores=0,2,4,6
/proc/2489/stat : 2489 (java) S 2487 2487 25300 0 -1 1077944320 5810 0 0 0 11 1 0 0 20 0 15 0 409342135 15508242432 7338 33554432000 4194304 4196468 140722451582576 140722451565120 140661602565879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
/proc/2489/statm: 3786192 7338 3117 1 0 3748377 0
[pid=2489/tid=2490] ppid=2487 vsize=15144768 memory=-6664436420846797971 CPUtime=0.09 cores=0,2,4,6
/proc/2489/task/2490/stat : 2490 (java) R 2487 2487 25300 0 -1 4202560 3731 0 0 0 8 1 0 0 20 0 15 0 409342135 15508242432 7338 33554432000 4194304 4196468 140722451582576 140661606802200 140661602587805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2491] ppid=2487 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2491/stat : 2491 (java) S 2487 2487 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409342136 15508242432 7338 33554432000 4194304 4196468 140722451582576 140661530606608 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2492] ppid=2487 vsize=15144768 memory=140577376085632 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2492/stat : 2492 (java) S 2487 2487 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409342136 15508242432 7338 33554432000 4194304 4196468 140722451582576 140661529554064 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2493] ppid=2487 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2493/stat : 2493 (java) S 2487 2487 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409342136 15508242432 7338 33554432000 4194304 4196468 140722451582576 140661528501008 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2494] ppid=2487 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2494/stat : 2494 (java) S 2487 2487 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409342136 15508242432 7338 33554432000 4194304 4196468 140722451582576 140661527448464 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2495] ppid=2487 vsize=15144768 memory=140577376085632 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2495/stat : 2495 (java) S 2487 2487 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409342137 15508242432 7338 33554432000 4194304 4196468 140722451582576 140661070760176 140661602577026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2496] ppid=2487 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2496/stat : 2496 (java) S 2487 2487 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409342138 15508242432 7338 33554432000 4194304 4196468 140722451582576 140661069706400 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2497] ppid=2487 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2497/stat : 2497 (java) S 2487 2487 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409342138 15508242432 7338 33554432000 4194304 4196468 140722451582576 140661068653296 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2498] ppid=2487 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2498/stat : 2498 (java) S 2487 2487 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409342140 15508242432 7338 33554432000 4194304 4196468 140722451582576 140661067601872 140661602584475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2499] ppid=2487 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2499/stat : 2499 (java) R 2487 2487 25300 0 -1 4202560 332 0 0 0 0 0 0 0 20 0 15 0 409342140 15508242432 7404 33554432000 4194304 4196468 140722451582576 140661066550000 140661583741777 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2500] ppid=2487 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2500/stat : 2500 (java) R 2487 2487 25300 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 409342140 15508242432 7404 33554432000 4194304 4196468 140722451582576 140661065497456 140661602577026 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2501] ppid=2487 vsize=15144768 memory=140577376085632 CPUtime=0.02 cores=0,2,4,6
/proc/2489/task/2501/stat : 2501 (java) S 2487 2487 25300 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 409342140 15508242432 7404 33554432000 4194304 4196468 140722451582576 140661064444400 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2502] ppid=2487 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2502/stat : 2502 (java) S 2487 2487 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409342140 15508242432 7404 33554432000 4194304 4196468 140722451582576 140661063392096 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2503] ppid=2487 vsize=15144768 memory=140577376085632 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2503/stat : 2503 (java) S 2487 2487 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409342141 15508242432 7404 33554432000 4194304 4196468 140722451582576 140661062339120 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30804 KiB
[startup+0.210913 s]*
/proc/loadavg: 5.08 6.94 7.57 4/234 2503
/proc/meminfo: memFree=30346432/32770624 swapFree=66933676/67108860
[pid=2487] ppid=2484 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2487/stat : 2487 (xcsp3-exec) S 2484 2487 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409342134 115843072 363 33554432000 4194304 5098028 140722654414912 140722654413016 140009429578364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15728640 140722654421883 140722654422125 140722654422125 140722654425034 0
/proc/2487/statm: 28282 363 304 221 0 87 0
[pid=2489] ppid=2487 vsize=15144768 memory=40612 CPUtime=0.34 cores=0,2,4,6
/proc/2489/stat : 2489 (java) S 2487 2487 25300 0 -1 1077944320 9397 0 0 0 31 3 0 0 20 0 15 0 409342135 15508242432 10153 33554432000 4194304 4196468 140722451582576 140722451565120 140661602565879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
/proc/2489/statm: 3786192 10153 3288 1 0 3748377 0
[pid=2489/tid=2490] ppid=2487 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/2489/task/2490/stat : 2490 (java) R 2487 2487 25300 0 -1 4202560 6611 0 0 0 18 2 0 0 20 0 15 0 409342135 15508242432 10153 33554432000 4194304 4196468 140722451582576 140661606800864 140661586646366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2491] ppid=2487 vsize=15144768 memory=364 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2491/stat : 2491 (java) S 2487 2487 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409342136 15508242432 10153 33554432000 4194304 4196468 140722451582576 140661530606608 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2492] ppid=2487 vsize=15144768 memory=288370953527797376 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2492/stat : 2492 (java) S 2487 2487 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409342136 15508242432 10153 33554432000 4194304 4196468 140722451582576 140661529554064 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2493] ppid=2487 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2493/stat : 2493 (java) S 2487 2487 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409342136 15508242432 10153 33554432000 4194304 4196468 140722451582576 140661528501008 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2494] ppid=2487 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2494/stat : 2494 (java) S 2487 2487 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409342136 15508242432 10153 33554432000 4194304 4196468 140722451582576 140661527448464 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2495] ppid=2487 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2495/stat : 2495 (java) S 2487 2487 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409342137 15508242432 10153 33554432000 4194304 4196468 140722451582576 140661070760176 140661602577026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2496] ppid=2487 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2496/stat : 2496 (java) S 2487 2487 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409342138 15508242432 10153 33554432000 4194304 4196468 140722451582576 140661069706400 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2497] ppid=2487 vsize=15144768 memory=140577376085632 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2497/stat : 2497 (java) S 2487 2487 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409342138 15508242432 10153 33554432000 4194304 4196468 140722451582576 140661068653296 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2498] ppid=2487 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2498/stat : 2498 (java) S 2487 2487 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409342140 15508242432 10153 33554432000 4194304 4196468 140722451582576 140661067601872 140661602584475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2499] ppid=2487 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2489/task/2499/stat : 2499 (java) S 2487 2487 25300 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 409342140 15508242432 10153 33554432000 4194304 4196468 140722451582576 140661066550000 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2500] ppid=2487 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2489/task/2500/stat : 2500 (java) S 2487 2487 25300 0 -1 1077944384 417 0 0 0 2 0 0 0 20 0 15 0 409342140 15508242432 10153 33554432000 4194304 4196468 140722451582576 140661065497456 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2501] ppid=2487 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2489/task/2501/stat : 2501 (java) S 2487 2487 25300 0 -1 1077944384 720 0 0 0 8 0 0 0 20 0 15 0 409342140 15508242432 10153 33554432000 4194304 4196468 140722451582576 140661064444400 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2502] ppid=2487 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2502/stat : 2502 (java) S 2487 2487 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409342140 15508242432 10153 33554432000 4194304 4196468 140722451582576 140661063392096 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2503] ppid=2487 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2503/stat : 2503 (java) S 2487 2487 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409342141 15508242432 10153 33554432000 4194304 4196468 140722451582576 140661062339120 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42064 KiB
[startup+0.310814 s]*
/proc/loadavg: 5.08 6.94 7.57 3/234 2503
/proc/meminfo: memFree=30339244/32770624 swapFree=66933676/67108860
[pid=2487] ppid=2484 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2487/stat : 2487 (xcsp3-exec) S 2484 2487 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409342134 115843072 363 33554432000 4194304 5098028 140722654414912 140722654413016 140009429578364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15728640 140722654421883 140722654422125 140722654422125 140722654425034 0
/proc/2487/statm: 28282 363 304 221 0 87 0
[pid=2489] ppid=2487 vsize=15149024 memory=49620 CPUtime=0.51 cores=0,2,4,6
/proc/2489/stat : 2489 (java) S 2487 2487 25300 0 -1 1077944320 10739 0 0 0 47 4 0 0 20 0 15 0 409342135 15512600576 12405 33554432000 4194304 4196468 140722451582576 140722451565120 140661602565879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
/proc/2489/statm: 3787256 12405 3324 1 0 3748377 0
[pid=2489/tid=2490] ppid=2487 vsize=15149024 memory=1398720917958146503 CPUtime=0.29 cores=0,2,4,6
/proc/2489/task/2490/stat : 2490 (java) R 2487 2487 25300 0 -1 4202560 7823 0 0 0 27 2 0 0 20 0 15 0 409342135 15512600576 12405 33554432000 4194304 4196468 140722451582576 140661606796992 140661602587805 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2491] ppid=2487 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2491/stat : 2491 (java) S 2487 2487 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409342136 15512600576 12405 33554432000 4194304 4196468 140722451582576 140661530606608 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2492] ppid=2487 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2492/stat : 2492 (java) S 2487 2487 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409342136 15512600576 12405 33554432000 4194304 4196468 140722451582576 140661529554064 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2493] ppid=2487 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2493/stat : 2493 (java) S 2487 2487 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409342136 15512600576 12405 33554432000 4194304 4196468 140722451582576 140661528501008 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2494] ppid=2487 vsize=15149024 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2494/stat : 2494 (java) S 2487 2487 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409342136 15512600576 12405 33554432000 4194304 4196468 140722451582576 140661527448464 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2495] ppid=2487 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2495/stat : 2495 (java) S 2487 2487 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409342137 15512600576 12405 33554432000 4194304 4196468 140722451582576 140661070760176 140661602577026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2496] ppid=2487 vsize=15149024 memory=-1598831813028945288 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2496/stat : 2496 (java) S 2487 2487 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409342138 15512600576 12405 33554432000 4194304 4196468 140722451582576 140661069706400 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2497] ppid=2487 vsize=15149024 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2497/stat : 2497 (java) S 2487 2487 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409342138 15512600576 12405 33554432000 4194304 4196468 140722451582576 140661068653296 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2498] ppid=2487 vsize=15149024 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2498/stat : 2498 (java) S 2487 2487 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409342140 15512600576 12405 33554432000 4194304 4196468 140722451582576 140661067601872 140661602584475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2499] ppid=2487 vsize=15149024 memory=6656426216303648864 CPUtime=0.02 cores=0,2,4,6
/proc/2489/task/2499/stat : 2499 (java) S 2487 2487 25300 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 15 0 409342140 15512600576 12405 33554432000 4194304 4196468 140722451582576 140661066550000 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2500] ppid=2487 vsize=15149024 memory=-6935123839545469842 CPUtime=0.05 cores=0,2,4,6
/proc/2489/task/2500/stat : 2500 (java) S 2487 2487 25300 0 -1 1077944384 440 0 0 0 5 0 0 0 20 0 15 0 409342140 15512600576 12405 33554432000 4194304 4196468 140722451582576 140661065497456 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2501] ppid=2487 vsize=15149024 memory=7438357367570802579 CPUtime=0.12 cores=0,2,4,6
/proc/2489/task/2501/stat : 2501 (java) S 2487 2487 25300 0 -1 1077944384 810 0 0 0 12 0 0 0 20 0 15 0 409342140 15512600576 12405 33554432000 4194304 4196468 140722451582576 140661064444400 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2502] ppid=2487 vsize=15149024 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2502/stat : 2502 (java) S 2487 2487 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409342140 15512600576 12405 33554432000 4194304 4196468 140722451582576 140661063392096 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2503] ppid=2487 vsize=15149024 memory=-8675733323038954102 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2503/stat : 2503 (java) S 2487 2487 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409342141 15512600576 12405 33554432000 4194304 4196468 140722451582576 140661062339120 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51072 KiB
[startup+0.711546 s]
/proc/loadavg: 5.08 6.94 7.57 6/234 2503
/proc/meminfo: memFree=30326836/32770624 swapFree=66933676/67108860
[pid=2487] ppid=2484 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2487/stat : 2487 (xcsp3-exec) S 2484 2487 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409342134 115843072 363 33554432000 4194304 5098028 140722654414912 140722654413016 140009429578364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15728640 140722654421883 140722654422125 140722654422125 140722654425034 0
/proc/2487/statm: 28282 363 304 221 0 87 0
[pid=2489] ppid=2487 vsize=15151148 memory=82872 CPUtime=1.56 cores=0,2,4,6
/proc/2489/stat : 2489 (java) S 2487 2487 25300 0 -1 1077944320 14919 0 0 0 151 5 0 0 20 0 15 0 409342135 15514775552 20718 33554432000 4194304 4196468 140722451582576 140722451565120 140661602565879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
/proc/2489/statm: 3787787 20718 3451 1 0 3748889 0
[pid=2489/tid=2490] ppid=2487 vsize=15151148 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/2489/task/2490/stat : 2490 (java) R 2487 2487 25300 0 -1 4202560 9313 0 0 0 65 3 0 0 20 0 15 0 409342135 15514775552 20718 33554432000 4194304 4196468 140722451582576 140661606796544 140661204629378 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2491] ppid=2487 vsize=15151148 memory=56 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2491/stat : 2491 (java) S 2487 2487 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409342136 15514775552 20718 33554432000 4194304 4196468 140722451582576 140661530606608 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2492] ppid=2487 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2492/stat : 2492 (java) S 2487 2487 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409342136 15514775552 20718 33554432000 4194304 4196468 140722451582576 140661529554064 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2493] ppid=2487 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2493/stat : 2493 (java) S 2487 2487 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409342136 15514775552 20718 33554432000 4194304 4196468 140722451582576 140661528501008 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2494] ppid=2487 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2494/stat : 2494 (java) S 2487 2487 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409342136 15514775552 20718 33554432000 4194304 4196468 140722451582576 140661527448464 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2495] ppid=2487 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2495/stat : 2495 (java) S 2487 2487 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409342137 15514775552 20718 33554432000 4194304 4196468 140722451582576 140661070760176 140661602577026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2496] ppid=2487 vsize=15151148 memory=70 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2496/stat : 2496 (java) S 2487 2487 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409342138 15514775552 20718 33554432000 4194304 4196468 140722451582576 140661069706400 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2497] ppid=2487 vsize=15151148 memory=1 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2497/stat : 2497 (java) S 2487 2487 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409342138 15514775552 20718 33554432000 4194304 4196468 140722451582576 140661068653296 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2498] ppid=2487 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2498/stat : 2498 (java) S 2487 2487 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409342140 15514775552 20718 33554432000 4194304 4196468 140722451582576 140661067601872 140661602584475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2499] ppid=2487 vsize=15151148 memory=257 CPUtime=0.19 cores=0,2,4,6
/proc/2489/task/2499/stat : 2499 (java) R 2487 2487 25300 0 -1 4202560 1088 0 0 0 19 0 0 0 20 0 15 0 409342140 15514775552 20718 33554432000 4194304 4196468 140722451582576 140661066538800 140661586062415 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2500] ppid=2487 vsize=15151148 memory=2964784 CPUtime=0.24 cores=0,2,4,6
/proc/2489/task/2500/stat : 2500 (java) R 2487 2487 25300 0 -1 4202560 1081 0 0 0 24 0 0 0 20 0 15 0 409342140 15514775552 20718 33554432000 4194304 4196468 140722451582576 140661065497552 140661584109602 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2501] ppid=2487 vsize=15151148 memory=3200008 CPUtime=0.41 cores=0,2,4,6
/proc/2489/task/2501/stat : 2501 (java) R 2487 2487 25300 0 -1 4202560 2130 0 0 0 41 0 0 0 20 0 15 0 409342140 15514775552 20718 33554432000 4194304 4196468 140722451582576 140661064440832 140661581490926 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2502] ppid=2487 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2502/stat : 2502 (java) S 2487 2487 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409342140 15514775552 20718 33554432000 4194304 4196468 140722451582576 140661063392096 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2503] ppid=2487 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2503/stat : 2503 (java) S 2487 2487 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409342141 15514775552 20718 33554432000 4194304 4196468 140722451582576 140661062339120 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 84324 KiB
[startup+1.50301 s]
/proc/loadavg: 5.08 6.94 7.57 8/238 2507
/proc/meminfo: memFree=30250268/32770624 swapFree=66933676/67108860
[pid=2487] ppid=2484 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2487/stat : 2487 (xcsp3-exec) S 2484 2487 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409342134 115843072 363 33554432000 4194304 5098028 140722654414912 140722654413016 140009429578364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15728640 140722654421883 140722654422125 140722654422125 140722654425034 0
/proc/2487/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/2489/task/2503/stat : 2503 (java) S 2487 2487 25300 0 -1 1077944384 536 0 0 0 0 2 0 0 20 0 19 0 409342141 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661062339120 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2524] ppid=2487 vsize=15486016 memory=7667213904328223318 CPUtime=43.28 cores=0,2,4,6
/proc/2489/task/2524/stat : 2524 (java) R 2487 2487 25300 0 -1 4202560 529 0 0 0 4328 0 0 0 20 0 19 0 409342389 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661053365696 140661208918550 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2525] ppid=2487 vsize=15486016 memory=6442213863438116447 CPUtime=43.44 cores=0,2,4,6
/proc/2489/task/2525/stat : 2525 (java) R 2487 2487 25300 0 -1 4202560 1450 0 0 0 4344 0 0 0 20 0 19 0 409342389 15857680384 55345 33554432000 4194304 4196468 140722451582576 140660980038976 140661209771536 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2526] ppid=2487 vsize=15486016 memory=3977859566040003631 CPUtime=42.95 cores=0,2,4,6
/proc/2489/task/2526/stat : 2526 (java) R 2487 2487 25300 0 -1 4202560 1560 0 0 0 4295 0 0 0 20 0 19 0 409342389 15857680384 55345 33554432000 4194304 4196468 140722451582576 140660978983496 140661208918783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2527] ppid=2487 vsize=15486016 memory=281154466490064 CPUtime=43 cores=0,2,4,6
/proc/2489/task/2527/stat : 2527 (java) R 2487 2487 25300 0 -1 4202560 841 0 0 0 4300 0 0 0 20 0 19 0 409342389 15857680384 55345 33554432000 4194304 4196468 140722451582576 140660981088648 140661208918727 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
Current children cumulated CPU time: 183.52 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 222832 KiB
[startup+46.9016 s]
/proc/loadavg: 5.19 6.72 7.46 6/237 2531
/proc/meminfo: memFree=30166564/32770624 swapFree=66933676/67108860
[pid=2487] ppid=2484 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2487/stat : 2487 (xcsp3-exec) S 2484 2487 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409342134 115843072 363 33554432000 4194304 5098028 140722654414912 140722654413016 140009429578364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15728640 140722654421883 140722654422125 140722654422125 140722654425034 0
/proc/2487/statm: 28282 363 304 221 0 87 0
[pid=2489] ppid=2487 vsize=15486016 memory=221380 CPUtime=185.12 cores=0,2,4,6
/proc/2489/stat : 2489 (java) S 2487 2487 25300 0 -1 1077944320 45978 0 0 0 18493 19 0 0 20 0 19 0 409342135 15857680384 55345 33554432000 4194304 4196468 140722451582576 140722451565120 140661602565879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
/proc/2489/statm: 3871504 55345 3532 1 0 3832606 0
[pid=2489/tid=2490] ppid=2487 vsize=15486016 memory=504 CPUtime=0.92 cores=0,2,4,6
/proc/2489/task/2490/stat : 2490 (java) S 2487 2487 25300 0 -1 1077944384 9459 0 0 0 88 4 0 0 20 0 19 0 409342135 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661606806656 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2491] ppid=2487 vsize=15486016 memory=8112282956445269571 CPUtime=0.04 cores=0,2,4,6
/proc/2489/task/2491/stat : 2491 (java) S 2487 2487 25300 0 -1 1077944384 1886 0 0 0 3 1 0 0 20 0 19 0 409342136 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661530606608 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2492] ppid=2487 vsize=15486016 memory=7013346442758874224 CPUtime=0.05 cores=0,2,4,6
/proc/2489/task/2492/stat : 2492 (java) S 2487 2487 25300 0 -1 1077944384 370 0 0 0 4 1 0 0 20 0 19 0 409342136 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661529554064 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2493] ppid=2487 vsize=15486016 memory=7234030490512353113 CPUtime=0.05 cores=0,2,4,6
/proc/2489/task/2493/stat : 2493 (java) S 2487 2487 25300 0 -1 1077944384 1398 0 0 0 4 1 0 0 20 0 19 0 409342136 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661528501008 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2494] ppid=2487 vsize=15486016 memory=7234030490512353113 CPUtime=0.05 cores=0,2,4,6
/proc/2489/task/2494/stat : 2494 (java) S 2487 2487 25300 0 -1 1077944384 1644 0 0 0 4 1 0 0 20 0 19 0 409342136 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661527448464 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2495] ppid=2487 vsize=15486016 memory=8026650869813564775 CPUtime=0.04 cores=0,2,4,6
/proc/2489/task/2495/stat : 2495 (java) S 2487 2487 25300 0 -1 1077944384 1202 0 0 0 2 2 0 0 20 0 19 0 409342137 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661070760176 140661602577026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2496] ppid=2487 vsize=15486016 memory=7013346442758874224 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2496/stat : 2496 (java) S 2487 2487 25300 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 409342138 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661069706464 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2497] ppid=2487 vsize=15486016 memory=7597132098393106257 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2497/stat : 2497 (java) S 2487 2487 25300 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 409342138 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661068653312 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2498] ppid=2487 vsize=15486016 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2498/stat : 2498 (java) S 2487 2487 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409342140 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661067601872 140661602584475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2499] ppid=2487 vsize=15486016 memory=20336 CPUtime=2.58 cores=0,2,4,6
/proc/2489/task/2499/stat : 2499 (java) S 2487 2487 25300 0 -1 1077944384 7314 0 0 0 258 0 0 0 20 0 19 0 409342140 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661066550000 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2500] ppid=2487 vsize=15486016 memory=984 CPUtime=2.68 cores=0,2,4,6
/proc/2489/task/2500/stat : 2500 (java) S 2487 2487 25300 0 -1 1077944384 9687 0 0 0 267 1 0 0 20 0 19 0 409342140 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661065497456 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2501] ppid=2487 vsize=15486016 memory=2032 CPUtime=0.95 cores=0,2,4,6
/proc/2489/task/2501/stat : 2501 (java) S 2487 2487 25300 0 -1 1077944384 6178 0 0 0 94 1 0 0 20 0 19 0 409342140 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661064444400 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2502] ppid=2487 vsize=15486016 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2502/stat : 2502 (java) S 2487 2487 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409342140 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661063392096 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2503] ppid=2487 vsize=15486016 memory=1564 CPUtime=0.02 cores=0,2,4,6
/proc/2489/task/2503/stat : 2503 (java) S 2487 2487 25300 0 -1 1077944384 536 0 0 0 0 2 0 0 20 0 19 0 409342141 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661062339120 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2524] ppid=2487 vsize=15486016 memory=976 CPUtime=43.68 cores=0,2,4,6
/proc/2489/task/2524/stat : 2524 (java) R 2487 2487 25300 0 -1 4202560 529 0 0 0 4368 0 0 0 20 0 19 0 409342389 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661053365696 140661212271769 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2525] ppid=2487 vsize=15486016 memory=1332 CPUtime=43.84 cores=0,2,4,6
/proc/2489/task/2525/stat : 2525 (java) R 2487 2487 25300 0 -1 4202560 1452 0 0 0 4384 0 0 0 20 0 19 0 409342389 15857680384 55345 33554432000 4194304 4196468 140722451582576 140660980038976 140661210834225 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2526] ppid=2487 vsize=15486016 memory=1564 CPUtime=43.35 cores=0,2,4,6
/proc/2489/task/2526/stat : 2526 (java) R 2487 2487 25300 0 -1 4202560 1560 0 0 0 4335 0 0 0 20 0 19 0 409342389 15857680384 55345 33554432000 4194304 4196468 140722451582576 140660978983496 140661210048727 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2527] ppid=2487 vsize=15486016 memory=976 CPUtime=43.4 cores=0,2,4,6
/proc/2489/task/2527/stat : 2527 (java) R 2487 2487 25300 0 -1 4202560 843 0 0 0 4340 0 0 0 20 0 19 0 409342389 15857680384 55345 33554432000 4194304 4196468 140722451582576 140660981088648 140661208918016 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
Current children cumulated CPU time: 185.12 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 222832 KiB
[startup+47.1016 s]*
/proc/loadavg: 5.19 6.72 7.46 6/237 2531
/proc/meminfo: memFree=30166564/32770624 swapFree=66933676/67108860
[pid=2487] ppid=2484 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2487/stat : 2487 (xcsp3-exec) S 2484 2487 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409342134 115843072 363 33554432000 4194304 5098028 140722654414912 140722654413016 140009429578364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15728640 140722654421883 140722654422125 140722654422125 140722654425034 0
/proc/2487/statm: 28282 363 304 221 0 87 0
[pid=2489] ppid=2487 vsize=15486016 memory=221380 CPUtime=185.94 cores=0,2,4,6
/proc/2489/stat : 2489 (java) S 2487 2487 25300 0 -1 1077944320 45981 0 0 0 18575 19 0 0 20 0 19 0 409342135 15857680384 55345 33554432000 4194304 4196468 140722451582576 140722451565120 140661602565879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
/proc/2489/statm: 3871504 55345 3532 1 0 3832606 0
[pid=2489/tid=2490] ppid=2487 vsize=15486016 memory=1398720917958146503 CPUtime=0.92 cores=0,2,4,6
/proc/2489/task/2490/stat : 2490 (java) S 2487 2487 25300 0 -1 1077944384 9459 0 0 0 88 4 0 0 20 0 19 0 409342135 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661606806656 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2491] ppid=2487 vsize=15486016 memory=4126316290023845779 CPUtime=0.04 cores=0,2,4,6
/proc/2489/task/2491/stat : 2491 (java) S 2487 2487 25300 0 -1 1077944384 1886 0 0 0 3 1 0 0 20 0 19 0 409342136 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661530606608 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2492] ppid=2487 vsize=15486016 memory=976 CPUtime=0.05 cores=0,2,4,6
/proc/2489/task/2492/stat : 2492 (java) S 2487 2487 25300 0 -1 1077944384 370 0 0 0 4 1 0 0 20 0 19 0 409342136 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661529554064 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2493] ppid=2487 vsize=15486016 memory=8112282956445269571 CPUtime=0.05 cores=0,2,4,6
/proc/2489/task/2493/stat : 2493 (java) S 2487 2487 25300 0 -1 1077944384 1398 0 0 0 4 1 0 0 20 0 19 0 409342136 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661528501008 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2494] ppid=2487 vsize=15486016 memory=221380 CPUtime=0.05 cores=0,2,4,6
/proc/2489/task/2494/stat : 2494 (java) S 2487 2487 25300 0 -1 1077944384 1644 0 0 0 4 1 0 0 20 0 19 0 409342136 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661527448464 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2495] ppid=2487 vsize=15486016 memory=15260333157648136 CPUtime=0.04 cores=0,2,4,6
/proc/2489/task/2495/stat : 2495 (java) S 2487 2487 25300 0 -1 1077944384 1202 0 0 0 2 2 0 0 20 0 19 0 409342137 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661070760176 140661602577026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2496] ppid=2487 vsize=15486016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2496/stat : 2496 (java) S 2487 2487 25300 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 409342138 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661069706464 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2497] ppid=2487 vsize=15486016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2497/stat : 2497 (java) S 2487 2487 25300 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 409342138 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661068653312 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2498] ppid=2487 vsize=15486016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2498/stat : 2498 (java) S 2487 2487 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409342140 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661067601872 140661602584475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2499] ppid=2487 vsize=15486016 memory=0 CPUtime=2.58 cores=0,2,4,6
/proc/2489/task/2499/stat : 2499 (java) S 2487 2487 25300 0 -1 1077944384 7314 0 0 0 258 0 0 0 20 0 19 0 409342140 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661066550000 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2500] ppid=2487 vsize=15486016 memory=0 CPUtime=2.68 cores=0,2,4,6
/proc/2489/task/2500/stat : 2500 (java) S 2487 2487 25300 0 -1 1077944384 9687 0 0 0 267 1 0 0 20 0 19 0 409342140 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661065497456 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2501] ppid=2487 vsize=15486016 memory=0 CPUtime=0.95 cores=0,2,4,6
/proc/2489/task/2501/stat : 2501 (java) S 2487 2487 25300 0 -1 1077944384 6178 0 0 0 94 1 0 0 20 0 19 0 409342140 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661064444400 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2502] ppid=2487 vsize=15486016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2502/stat : 2502 (java) S 2487 2487 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409342140 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661063392096 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2503] ppid=2487 vsize=15486016 memory=7085683295503673449 CPUtime=0.02 cores=0,2,4,6
/proc/2489/task/2503/stat : 2503 (java) S 2487 2487 25300 0 -1 1077944384 536 0 0 0 0 2 0 0 20 0 19 0 409342141 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661062339120 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2524] ppid=2487 vsize=15486016 memory=6154004425404344674 CPUtime=43.89 cores=0,2,4,6
/proc/2489/task/2524/stat : 2524 (java) R 2487 2487 25300 0 -1 4202560 529 0 0 0 4389 0 0 0 20 0 19 0 409342389 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661053365696 140661210050813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2525] ppid=2487 vsize=15486016 memory=6154004425404344674 CPUtime=44.05 cores=0,2,4,6
/proc/2489/task/2525/stat : 2525 (java) R 2487 2487 25300 0 -1 4202560 1453 0 0 0 4405 0 0 0 20 0 19 0 409342389 15857680384 55345 33554432000 4194304 4196468 140722451582576 140660980038976 140661209772598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2526] ppid=2487 vsize=15486016 memory=7085683295503673449 CPUtime=43.56 cores=0,2,4,6
/proc/2489/task/2526/stat : 2526 (java) R 2487 2487 25300 0 -1 4202560 1562 0 0 0 4356 0 0 0 20 0 19 0 409342389 15857680384 55345 33554432000 4194304 4196468 140722451582576 140660978983496 140661211260573 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2527] ppid=2487 vsize=15486016 memory=140577233500494 CPUtime=43.6 cores=0,2,4,6
/proc/2489/task/2527/stat : 2527 (java) R 2487 2487 25300 0 -1 4202560 843 0 0 0 4360 0 0 0 20 0 19 0 409342389 15857680384 55345 33554432000 4194304 4196468 140722451582576 140660981088648 140661208918399 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
Current children cumulated CPU time: 185.94 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 222832 KiB
[startup+47.2116 s]
/proc/loadavg: 5.19 6.72 7.46 6/237 2531
/proc/meminfo: memFree=30166564/32770624 swapFree=66933676/67108860
[pid=2487] ppid=2484 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2487/stat : 2487 (xcsp3-exec) S 2484 2487 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409342134 115843072 363 33554432000 4194304 5098028 140722654414912 140722654413016 140009429578364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15728640 140722654421883 140722654422125 140722654422125 140722654425034 0
/proc/2487/statm: 28282 363 304 221 0 87 0
[pid=2489] ppid=2487 vsize=15486016 memory=221380 CPUtime=186.35 cores=0,2,4,6
/proc/2489/stat : 2489 (java) S 2487 2487 25300 0 -1 1077944320 45981 0 0 0 18616 19 0 0 20 0 19 0 409342135 15857680384 55345 33554432000 4194304 4196468 140722451582576 140722451565120 140661602565879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
/proc/2489/statm: 3871504 55345 3532 1 0 3832606 0
[pid=2489/tid=2490] ppid=2487 vsize=15486016 memory=221380 CPUtime=0.92 cores=0,2,4,6
/proc/2489/task/2490/stat : 2490 (java) S 2487 2487 25300 0 -1 1077944384 9459 0 0 0 88 4 0 0 20 0 19 0 409342135 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661606806656 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2491] ppid=2487 vsize=15486016 memory=221380 CPUtime=0.04 cores=0,2,4,6
/proc/2489/task/2491/stat : 2491 (java) S 2487 2487 25300 0 -1 1077944384 1886 0 0 0 3 1 0 0 20 0 19 0 409342136 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661530606608 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2492] ppid=2487 vsize=15486016 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/2489/task/2492/stat : 2492 (java) S 2487 2487 25300 0 -1 1077944384 370 0 0 0 4 1 0 0 20 0 19 0 409342136 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661529554064 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2493] ppid=2487 vsize=15486016 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/2489/task/2493/stat : 2493 (java) S 2487 2487 25300 0 -1 1077944384 1398 0 0 0 4 1 0 0 20 0 19 0 409342136 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661528501008 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2494] ppid=2487 vsize=15486016 memory=221380 CPUtime=0.05 cores=0,2,4,6
/proc/2489/task/2494/stat : 2494 (java) S 2487 2487 25300 0 -1 1077944384 1644 0 0 0 4 1 0 0 20 0 19 0 409342136 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661527448464 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2495] ppid=2487 vsize=15486016 memory=5 CPUtime=0.04 cores=0,2,4,6
/proc/2489/task/2495/stat : 2495 (java) S 2487 2487 25300 0 -1 1077944384 1202 0 0 0 2 2 0 0 20 0 19 0 409342137 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661070760176 140661602577026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2496] ppid=2487 vsize=15486016 memory=281154465028768 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2496/stat : 2496 (java) S 2487 2487 25300 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 409342138 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661069706464 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2497] ppid=2487 vsize=15486016 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2497/stat : 2497 (java) S 2487 2487 25300 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 409342138 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661068653312 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2498] ppid=2487 vsize=15486016 memory=20336 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2498/stat : 2498 (java) S 2487 2487 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409342140 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661067601872 140661602584475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2499] ppid=2487 vsize=15486016 memory=233132 CPUtime=2.58 cores=0,2,4,6
/proc/2489/task/2499/stat : 2499 (java) S 2487 2487 25300 0 -1 1077944384 7314 0 0 0 258 0 0 0 20 0 19 0 409342140 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661066550000 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2500] ppid=2487 vsize=15486016 memory=0 CPUtime=2.68 cores=0,2,4,6
/proc/2489/task/2500/stat : 2500 (java) S 2487 2487 25300 0 -1 1077944384 9687 0 0 0 267 1 0 0 20 0 19 0 409342140 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661065497456 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2501] ppid=2487 vsize=15486016 memory=8112282956445269571 CPUtime=0.95 cores=0,2,4,6
/proc/2489/task/2501/stat : 2501 (java) S 2487 2487 25300 0 -1 1077944384 6178 0 0 0 94 1 0 0 20 0 19 0 409342140 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661064444400 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2502] ppid=2487 vsize=15486016 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2489/task/2502/stat : 2502 (java) S 2487 2487 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409342140 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661063392096 140661602576085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2503] ppid=2487 vsize=15486016 memory=744 CPUtime=0.02 cores=0,2,4,6
/proc/2489/task/2503/stat : 2503 (java) S 2487 2487 25300 0 -1 1077944384 536 0 0 0 0 2 0 0 20 0 19 0 409342141 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661062339120 140661602577026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2524] ppid=2487 vsize=15486016 memory=8296 CPUtime=43.99 cores=0,2,4,6
/proc/2489/task/2524/stat : 2524 (java) R 2487 2487 25300 0 -1 4202560 529 0 0 0 4399 0 0 0 20 0 19 0 409342389 15857680384 55345 33554432000 4194304 4196468 140722451582576 140661053365696 140661209772369 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2525] ppid=2487 vsize=15486016 memory=33 CPUtime=44.15 cores=0,2,4,6
/proc/2489/task/2525/stat : 2525 (java) R 2487 2487 25300 0 -1 4202560 1453 0 0 0 4415 0 0 0 20 0 19 0 409342389 15857680384 55345 33554432000 4194304 4196468 140722451582576 140660980038976 140661210050467 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2526] ppid=2487 vsize=15486016 memory=6009869433200798572 CPUtime=43.66 cores=0,2,4,6
/proc/2489/task/2526/stat : 2526 (java) R 2487 2487 25300 0 -1 4202560 1562 0 0 0 4366 0 0 0 20 0 19 0 409342389 15857680384 55345 33554432000 4194304 4196468 140722451582576 140660978983496 140661212480065 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
[pid=2489/tid=2527] ppid=2487 vsize=15486016 memory=229584 CPUtime=43.69 cores=0,2,4,6
/proc/2489/task/2527/stat : 2527 (java) R 2487 2487 25300 0 -1 4202560 843 0 0 0 4369 0 0 0 20 0 19 0 409342389 15857680384 55345 33554432000 4194304 4196468 140722451582576 140660981088648 140661208918687 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35696640 140722451583983 140722451584154 140722451584154 140722451587023 0
Current children cumulated CPU time: 186.35 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 222832 KiB
Child status: 0
Real time (s): 47.2581
CPU time (s): 186.518
CPU user time (s): 186.318
CPU system time (s): 0.199833
CPU usage (%): 394.679
Max. virtual memory (cumulated for all children) (KiB): 15599144
Max. memory (cumulated for all children) (KiB): 236552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.318
system time used= 0.199833
maximum resident set size= 241328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47131
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4466
involuntary context switches= 2751
# summary of solver processes directly reported to runsolver:
# pid: 2487
# total CPU time (s): 186.518
# total CPU user time (s): 186.318
# total CPU system time (s): 0.199833
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.292778 second user time and 0.609819 second system time
The end