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 (14583 MiB free)
memory of node 1: 16384 MiB (15167 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400435-1568694557/watcher-4400435-1568694557 -o /tmp/evaluation-result-4400435-1568694557/solver-4400435-1568694557 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30437 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1015194374 HOME/instance-4400435-1568694557.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=32484, runsolver pid=32481
Current StackSize limit: 8192 KiB
[startup+0.100142 s]*
/proc/loadavg: 8.73 5.47 3.16 7/233 32500
/proc/meminfo: memFree=30448944/32770624 swapFree=66953076/67108860
[pid=32484] ppid=32481 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32484/stat : 32484 (xcsp3-exec) S 32481 32484 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445724585 115843072 362 33554432000 4194304 5098028 140725699312848 140725699310952 139932451304060 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35217408 140725699318650 140725699318893 140725699318893 140725699321802 0
/proc/32484/statm: 28282 362 304 221 0 87 0
[pid=32486] ppid=32484 vsize=15144776 memory=28928 CPUtime=0.13 cores=0,2,4,6
/proc/32486/stat : 32486 (java) S 32484 32484 30406 0 -1 1077944320 5675 0 0 0 12 1 0 0 20 0 15 0 445724585 15508250624 7232 33554432000 4194304 4196468 140733085260032 140733085242576 140077532172023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
/proc/32486/statm: 3786194 7232 3152 1 0 3748377 0
[pid=32486/tid=32487] ppid=32484 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (java) R 32484 32484 30406 0 -1 4202560 3577 0 0 0 8 1 0 0 20 0 15 0 445724586 15508250624 7232 33554432000 4194304 4196468 140733085260032 140077536403344 140077153987712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32488] ppid=32484 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (java) S 32484 32484 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445724586 15508250624 7232 33554432000 4194304 4196468 140733085260032 140077484792208 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32489] ppid=32484 vsize=15144776 memory=140147654903424 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (java) S 32484 32484 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445724586 15508250624 7232 33554432000 4194304 4196468 140733085260032 140077483739408 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32490] ppid=32484 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32490/stat : 32490 (java) S 32484 32484 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445724586 15508250624 7232 33554432000 4194304 4196468 140733085260032 140077482687120 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32491] ppid=32484 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32491/stat : 32491 (java) S 32484 32484 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445724586 15508250624 7232 33554432000 4194304 4196468 140733085260032 140077481634320 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32492] ppid=32484 vsize=15144776 memory=140147654903424 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32492/stat : 32492 (java) S 32484 32484 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445724588 15508250624 7232 33554432000 4194304 4196468 140733085260032 140077000804976 140077532183170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32493] ppid=32484 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32493/stat : 32493 (java) S 32484 32484 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445724588 15508250624 7232 33554432000 4194304 4196468 140733085260032 140076999750944 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32494] ppid=32484 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32494/stat : 32494 (java) S 32484 32484 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445724588 15508250624 7232 33554432000 4194304 4196468 140733085260032 140076998698608 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32495] ppid=32484 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32495/stat : 32495 (java) S 32484 32484 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445724591 15508250624 7232 33554432000 4194304 4196468 140733085260032 140076997646928 140077532190619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32496] ppid=32484 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32496/stat : 32496 (java) R 32484 32484 30406 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 445724591 15508250624 7232 33554432000 4194304 4196468 140733085260032 140076996593776 140077532183170 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32497] ppid=32484 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32497/stat : 32497 (java) R 32484 32484 30406 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 15 0 445724591 15508250624 7232 33554432000 4194304 4196468 140733085260032 140076995540976 140077515607761 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32498] ppid=32484 vsize=15144776 memory=140147654903424 CPUtime=0.02 cores=0,2,4,6
/proc/32486/task/32498/stat : 32498 (java) R 32484 32484 30406 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 445724591 15508250624 7232 33554432000 4194304 4196468 140733085260032 140076994488688 140077524409150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32499] ppid=32484 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32499/stat : 32499 (java) S 32484 32484 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445724591 15508250624 7232 33554432000 4194304 4196468 140733085260032 140076993436128 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32500] ppid=32484 vsize=15144776 memory=140147654903424 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32500/stat : 32500 (java) S 32484 32484 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445724591 15508250624 7232 33554432000 4194304 4196468 140733085260032 140076992383920 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30376 KiB
[startup+0.21072 s]*
/proc/loadavg: 8.73 5.47 3.16 7/233 32500
/proc/meminfo: memFree=30436356/32770624 swapFree=66953076/67108860
[pid=32484] ppid=32481 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32484/stat : 32484 (xcsp3-exec) S 32481 32484 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445724585 115843072 362 33554432000 4194304 5098028 140725699312848 140725699310952 139932451304060 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35217408 140725699318650 140725699318893 140725699318893 140725699321802 0
/proc/32484/statm: 28282 362 304 221 0 87 0
[pid=32486] ppid=32484 vsize=15144776 memory=41052 CPUtime=0.35 cores=0,2,4,6
/proc/32486/stat : 32486 (java) S 32484 32484 30406 0 -1 1077944320 9460 0 0 0 32 3 0 0 20 0 15 0 445724585 15508250624 10263 33554432000 4194304 4196468 140733085260032 140733085242576 140077532172023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
/proc/32486/statm: 3786194 10263 3319 1 0 3748377 0
[pid=32486/tid=32487] ppid=32484 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (java) R 32484 32484 30406 0 -1 4202560 6602 0 0 0 18 2 0 0 20 0 15 0 445724586 15508250624 10263 33554432000 4194304 4196468 140733085260032 140077536405904 140077532183958 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32488] ppid=32484 vsize=15144776 memory=1946935 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (java) S 32484 32484 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445724586 15508250624 10263 33554432000 4194304 4196468 140733085260032 140077484792208 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32489] ppid=32484 vsize=15144776 memory=140147654933004 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (java) S 32484 32484 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445724586 15508250624 10263 33554432000 4194304 4196468 140733085260032 140077483739408 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32490] ppid=32484 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32490/stat : 32490 (java) S 32484 32484 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445724586 15508250624 10263 33554432000 4194304 4196468 140733085260032 140077482687120 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32491] ppid=32484 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32491/stat : 32491 (java) S 32484 32484 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445724586 15508250624 10263 33554432000 4194304 4196468 140733085260032 140077481634320 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32492] ppid=32484 vsize=15144776 memory=140147654903424 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32492/stat : 32492 (java) S 32484 32484 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445724588 15508250624 10263 33554432000 4194304 4196468 140733085260032 140077000804976 140077532183170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32493] ppid=32484 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32493/stat : 32493 (java) S 32484 32484 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445724588 15508250624 10263 33554432000 4194304 4196468 140733085260032 140076999750944 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32494] ppid=32484 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32494/stat : 32494 (java) S 32484 32484 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445724588 15508250624 10263 33554432000 4194304 4196468 140733085260032 140076998698608 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32495] ppid=32484 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32495/stat : 32495 (java) S 32484 32484 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445724591 15508250624 10263 33554432000 4194304 4196468 140733085260032 140076997646928 140077532190619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32496] ppid=32484 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32486/task/32496/stat : 32496 (java) S 32484 32484 30406 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 15 0 445724591 15508250624 10263 33554432000 4194304 4196468 140733085260032 140076996593776 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32497] ppid=32484 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/32486/task/32497/stat : 32497 (java) S 32484 32484 30406 0 -1 1077944384 265 0 0 0 3 0 0 0 20 0 15 0 445724591 15508250624 10263 33554432000 4194304 4196468 140733085260032 140076995540976 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32498] ppid=32484 vsize=15144776 memory=140147654903424 CPUtime=0.08 cores=0,2,4,6
/proc/32486/task/32498/stat : 32498 (java) R 32484 32484 30406 0 -1 4202560 772 0 0 0 8 0 0 0 20 0 15 0 445724591 15508250624 10263 33554432000 4194304 4196468 140733085260032 140076994488816 140077524409150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32499] ppid=32484 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32499/stat : 32499 (java) S 32484 32484 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445724591 15508250624 10263 33554432000 4194304 4196468 140733085260032 140076993436128 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32500] ppid=32484 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32500/stat : 32500 (java) S 32484 32484 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445724591 15508250624 10263 33554432000 4194304 4196468 140733085260032 140076992383920 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42500 KiB
[startup+0.311212 s]*
/proc/loadavg: 8.73 5.47 3.16 7/233 32500
/proc/meminfo: memFree=30428900/32770624 swapFree=66953076/67108860
[pid=32484] ppid=32481 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32484/stat : 32484 (xcsp3-exec) S 32481 32484 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445724585 115843072 362 33554432000 4194304 5098028 140725699312848 140725699310952 139932451304060 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35217408 140725699318650 140725699318893 140725699318893 140725699321802 0
/proc/32484/statm: 28282 362 304 221 0 87 0
[pid=32486] ppid=32484 vsize=15149032 memory=50004 CPUtime=0.53 cores=0,2,4,6
/proc/32486/stat : 32486 (java) S 32484 32484 30406 0 -1 1077944320 10869 0 0 0 50 3 0 0 20 0 15 0 445724585 15512608768 12501 33554432000 4194304 4196468 140733085260032 140733085242576 140077532172023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
/proc/32486/statm: 3787258 12501 3359 1 0 3748377 0
[pid=32486/tid=32487] ppid=32484 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (java) R 32484 32484 30406 0 -1 4202560 7764 0 0 0 27 3 0 0 20 0 15 0 445724586 15512608768 12501 33554432000 4194304 4196468 140733085260032 140077536405808 140077516252510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32488] ppid=32484 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (java) S 32484 32484 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445724586 15512608768 12501 33554432000 4194304 4196468 140733085260032 140077484792208 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32489] ppid=32484 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (java) S 32484 32484 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445724586 15512608768 12501 33554432000 4194304 4196468 140733085260032 140077483739408 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32490] ppid=32484 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32490/stat : 32490 (java) S 32484 32484 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445724586 15512608768 12501 33554432000 4194304 4196468 140733085260032 140077482687120 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32491] ppid=32484 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32491/stat : 32491 (java) S 32484 32484 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445724586 15512608768 12501 33554432000 4194304 4196468 140733085260032 140077481634320 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32492] ppid=32484 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32492/stat : 32492 (java) S 32484 32484 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445724588 15512608768 12501 33554432000 4194304 4196468 140733085260032 140077000804976 140077532183170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32493] ppid=32484 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32493/stat : 32493 (java) S 32484 32484 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445724588 15512608768 12501 33554432000 4194304 4196468 140733085260032 140076999750944 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32494] ppid=32484 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32494/stat : 32494 (java) S 32484 32484 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445724588 15512608768 12501 33554432000 4194304 4196468 140733085260032 140076998698608 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32495] ppid=32484 vsize=15149032 memory=-7828588039587137883 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32495/stat : 32495 (java) S 32484 32484 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445724591 15512608768 12501 33554432000 4194304 4196468 140733085260032 140076997646928 140077532190619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32496] ppid=32484 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/32486/task/32496/stat : 32496 (java) R 32484 32484 30406 0 -1 4202560 619 0 0 0 5 0 0 0 20 0 15 0 445724591 15512608768 12501 33554432000 4194304 4196468 140733085260032 140076996584160 140077511417952 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32497] ppid=32484 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/32486/task/32497/stat : 32497 (java) S 32484 32484 30406 0 -1 1077944384 306 0 0 0 4 0 0 0 20 0 15 0 445724591 15512608768 12501 33554432000 4194304 4196468 140733085260032 140076995540976 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32498] ppid=32484 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/32486/task/32498/stat : 32498 (java) S 32484 32484 30406 0 -1 1077944384 877 0 0 0 13 0 0 0 20 0 15 0 445724591 15512608768 12501 33554432000 4194304 4196468 140733085260032 140076994488688 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32499] ppid=32484 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32499/stat : 32499 (java) S 32484 32484 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445724591 15512608768 12501 33554432000 4194304 4196468 140733085260032 140076993436128 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32500] ppid=32484 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32500/stat : 32500 (java) S 32484 32484 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445724591 15512608768 12501 33554432000 4194304 4196468 140733085260032 140076992383920 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51452 KiB
[startup+0.701882 s]
/proc/loadavg: 8.68 5.51 3.18 6/233 32500
/proc/meminfo: memFree=30409912/32770624 swapFree=66953076/67108860
[pid=32484] ppid=32481 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32484/stat : 32484 (xcsp3-exec) S 32481 32484 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445724585 115843072 362 33554432000 4194304 5098028 140725699312848 140725699310952 139932451304060 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35217408 140725699318650 140725699318893 140725699318893 140725699321802 0
/proc/32484/statm: 28282 362 304 221 0 87 0
[pid=32486] ppid=32484 vsize=15151156 memory=96772 CPUtime=1.69 cores=0,2,4,6
/proc/32486/stat : 32486 (java) S 32484 32484 30406 0 -1 1077944320 15324 0 0 0 164 5 0 0 20 0 15 0 445724585 15514783744 24193 33554432000 4194304 4196468 140733085260032 140733085242576 140077532172023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
/proc/32486/statm: 3787789 24193 3451 1 0 3748889 0
[pid=32486/tid=32487] ppid=32484 vsize=15151156 memory=33 CPUtime=0.68 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (java) R 32484 32484 30406 0 -1 4202560 9336 0 0 0 64 4 0 0 20 0 15 0 445724586 15514783744 24193 33554432000 4194304 4196468 140733085260032 140077536410336 140077157515393 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32488] ppid=32484 vsize=15151156 memory=288230377059890465 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (java) S 32484 32484 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445724586 15514783744 24193 33554432000 4194304 4196468 140733085260032 140077484792208 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32489] ppid=32484 vsize=15151156 memory=288289995551257981 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (java) S 32484 32484 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445724586 15514783744 24193 33554432000 4194304 4196468 140733085260032 140077483739408 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32490] ppid=32484 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32490/stat : 32490 (java) S 32484 32484 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445724586 15514783744 24193 33554432000 4194304 4196468 140733085260032 140077482687120 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32491] ppid=32484 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32491/stat : 32491 (java) S 32484 32484 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445724586 15514783744 24193 33554432000 4194304 4196468 140733085260032 140077481634320 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32492] ppid=32484 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32492/stat : 32492 (java) S 32484 32484 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445724588 15514783744 24193 33554432000 4194304 4196468 140733085260032 140077000804976 140077532183170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32493] ppid=32484 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32493/stat : 32493 (java) S 32484 32484 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445724588 15514783744 24193 33554432000 4194304 4196468 140733085260032 140076999750944 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32494] ppid=32484 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32494/stat : 32494 (java) S 32484 32484 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445724588 15514783744 24193 33554432000 4194304 4196468 140733085260032 140076998698608 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32495] ppid=32484 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32495/stat : 32495 (java) S 32484 32484 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445724591 15514783744 24193 33554432000 4194304 4196468 140733085260032 140076997646928 140077532190619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32496] ppid=32484 vsize=15151156 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/32486/task/32496/stat : 32496 (java) R 32484 32484 30406 0 -1 4202560 1210 0 0 0 29 0 0 0 20 0 15 0 445724591 15514783744 24193 33554432000 4194304 4196468 140733085260032 140076996579872 140077509767440 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32497] ppid=32484 vsize=15151156 memory=4639074098508484688 CPUtime=0.27 cores=0,2,4,6
/proc/32486/task/32497/stat : 32497 (java) R 32484 32484 30406 0 -1 4202560 1233 0 0 0 27 0 0 0 20 0 15 0 445724591 15514783744 24193 33554432000 4194304 4196468 140733085260032 140076995527000 140077515657973 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32498] ppid=32484 vsize=15151156 memory=7235426810654978144 CPUtime=0.43 cores=0,2,4,6
/proc/32486/task/32498/stat : 32498 (java) R 32484 32484 30406 0 -1 4202560 2238 0 0 0 43 0 0 0 20 0 15 0 445724591 15514783744 24193 33554432000 4194304 4196468 140733085260032 140076994485056 140077511605115 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32499] ppid=32484 vsize=15151156 memory=7522230054818964568 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32499/stat : 32499 (java) S 32484 32484 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445724591 15514783744 24193 33554432000 4194304 4196468 140733085260032 140076993436128 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32500] ppid=32484 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32500/stat : 32500 (java) S 32484 32484 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445724591 15514783744 24193 33554432000 4194304 4196468 140733085260032 140076992383920 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 98220 KiB
[startup+1.50788 s]
/proc/loadavg: 8.68 5.51 3.18 8/238 32529
/proc/meminfo: memFree=30311228/32770624 swapFree=66953076/67108860
[pid=32484] ppid=32481 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32484/stat : 32484 (xcsp3-exec) S 32481 32484 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445724585 115843072 362 33554432000 4194304 5098028 140725699312848 140725699310952 139932451304060 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35217408 140725699318650 140725699318893 140725699318893 140725699321802 0
/proc/32484/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/32486/task/32500/stat : 32500 (java) S 32484 32484 30406 0 -1 1077944384 636 0 0 0 0 0 0 0 20 0 19 0 445724591 15995064320 92683 33554432000 4194304 4196468 140733085260032 140076992383920 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32603] ppid=32484 vsize=15620180 memory=0 CPUtime=7.8 cores=0,2,4,6
/proc/32486/task/32603/stat : 32603 (java) R 32484 32484 30406 0 -1 4202560 202 0 0 0 780 0 0 0 20 0 19 0 445725871 15995064320 92683 33554432000 4194304 4196468 140733085260032 140076977907968 140077157543472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32604] ppid=32484 vsize=15620180 memory=0 CPUtime=7.87 cores=0,2,4,6
/proc/32486/task/32604/stat : 32604 (java) R 32484 32484 30406 0 -1 4202560 859 0 0 0 787 0 0 0 20 0 19 0 445725871 15995064320 92683 33554432000 4194304 4196468 140733085260032 140076980015544 140077157541883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32605] ppid=32484 vsize=15620180 memory=1448 CPUtime=7.81 cores=0,2,4,6
/proc/32486/task/32605/stat : 32605 (java) R 32484 32484 30406 0 -1 4202560 643 0 0 0 781 0 0 0 20 0 19 0 445725871 15995064320 92683 33554432000 4194304 4196468 140733085260032 140076978963080 140077159714631 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32606] ppid=32484 vsize=15620180 memory=370664 CPUtime=7.59 cores=0,2,4,6
/proc/32486/task/32606/stat : 32606 (java) R 32484 32484 30406 0 -1 4202560 335 0 0 0 759 0 0 0 20 0 19 0 445725871 15995064320 92683 33554432000 4194304 4196468 140733085260032 140076974751704 140077154247856 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
Current children cumulated CPU time: 81.5 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 372180 KiB
[startup+22.4009 s]
/proc/loadavg: 8.83 5.76 3.31 9/237 32606
/proc/meminfo: memFree=30115828/32770624 swapFree=66953076/67108860
[pid=32484] ppid=32481 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32484/stat : 32484 (xcsp3-exec) S 32481 32484 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445724585 115843072 362 33554432000 4194304 5098028 140725699312848 140725699310952 139932451304060 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35217408 140725699318650 140725699318893 140725699318893 140725699321802 0
/proc/32484/statm: 28282 362 304 221 0 87 0
[pid=32486] ppid=32484 vsize=15620180 memory=370752 CPUtime=87.86 cores=0,2,4,6
/proc/32486/stat : 32486 (java) S 32484 32484 30406 0 -1 1077944320 48039 0 0 0 8767 19 0 0 20 0 19 0 445724585 15995064320 92688 33554432000 4194304 4196468 140733085260032 140733085242576 140077532172023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
/proc/32486/statm: 3905045 92688 3531 1 0 3866145 0
[pid=32486/tid=32487] ppid=32484 vsize=15620180 memory=6791534058613427641 CPUtime=0.74 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (java) S 32484 32484 30406 0 -1 1077944384 9700 0 0 0 70 4 0 0 20 0 19 0 445724586 15995064320 92688 33554432000 4194304 4196468 140733085260032 140077536412800 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32488] ppid=32484 vsize=15620180 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (java) S 32484 32484 30406 0 -1 1077944384 177 0 0 0 4 1 0 0 20 0 19 0 445724586 15995064320 92688 33554432000 4194304 4196468 140733085260032 140077484792208 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32489] ppid=32484 vsize=15620180 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (java) S 32484 32484 30406 0 -1 1077944384 1321 0 0 0 4 2 0 0 20 0 19 0 445724586 15995064320 92688 33554432000 4194304 4196468 140733085260032 140077483739408 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32490] ppid=32484 vsize=15620180 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/32486/task/32490/stat : 32490 (java) S 32484 32484 30406 0 -1 1077944384 441 0 0 0 4 1 0 0 20 0 19 0 445724586 15995064320 92688 33554432000 4194304 4196468 140733085260032 140077482687120 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32491] ppid=32484 vsize=15620180 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/32486/task/32491/stat : 32491 (java) S 32484 32484 30406 0 -1 1077944384 508 0 0 0 3 1 0 0 20 0 19 0 445724586 15995064320 92688 33554432000 4194304 4196468 140733085260032 140077481634320 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32492] ppid=32484 vsize=15620180 memory=370664 CPUtime=0.01 cores=0,2,4,6
/proc/32486/task/32492/stat : 32492 (java) S 32484 32484 30406 0 -1 1077944384 1113 0 0 0 1 0 0 0 20 0 19 0 445724588 15995064320 92688 33554432000 4194304 4196468 140733085260032 140077000804976 140077532183170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32493] ppid=32484 vsize=15620180 memory=524 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32493/stat : 32493 (java) S 32484 32484 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445724588 15995064320 92688 33554432000 4194304 4196468 140733085260032 140076999751008 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32494] ppid=32484 vsize=15620180 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32494/stat : 32494 (java) S 32484 32484 30406 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445724588 15995064320 92688 33554432000 4194304 4196468 140733085260032 140076998698608 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32495] ppid=32484 vsize=15620180 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32495/stat : 32495 (java) S 32484 32484 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445724591 15995064320 92688 33554432000 4194304 4196468 140733085260032 140076997646928 140077532190619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32496] ppid=32484 vsize=15620180 memory=370664 CPUtime=2.89 cores=0,2,4,6
/proc/32486/task/32496/stat : 32496 (java) S 32484 32484 30406 0 -1 1077944384 7774 0 0 0 289 0 0 0 20 0 19 0 445724591 15995064320 92688 33554432000 4194304 4196468 140733085260032 140076996593776 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32497] ppid=32484 vsize=15620180 memory=2024 CPUtime=3.23 cores=0,2,4,6
/proc/32486/task/32497/stat : 32497 (java) S 32484 32484 30406 0 -1 1077944384 12337 0 0 0 322 1 0 0 20 0 19 0 445724591 15995064320 92688 33554432000 4194304 4196468 140733085260032 140076995540976 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32498] ppid=32484 vsize=15620180 memory=0 CPUtime=0.87 cores=0,2,4,6
/proc/32486/task/32498/stat : 32498 (java) S 32484 32484 30406 0 -1 1077944384 5251 0 0 0 87 0 0 0 20 0 19 0 445724591 15995064320 92688 33554432000 4194304 4196468 140733085260032 140076994488688 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32499] ppid=32484 vsize=15620180 memory=289 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32499/stat : 32499 (java) S 32484 32484 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445724591 15995064320 92688 33554432000 4194304 4196468 140733085260032 140076993436128 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32500] ppid=32484 vsize=15620180 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32500/stat : 32500 (java) S 32484 32484 30406 0 -1 1077944384 654 0 0 0 0 0 0 0 20 0 19 0 445724591 15995064320 92688 33554432000 4194304 4196468 140733085260032 140076992383920 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32603] ppid=32484 vsize=15620180 memory=370664 CPUtime=9.37 cores=0,2,4,6
/proc/32486/task/32603/stat : 32603 (java) R 32484 32484 30406 0 -1 4202560 308 0 0 0 937 0 0 0 20 0 19 0 445725871 15995064320 92688 33554432000 4194304 4196468 140733085260032 140076977908632 140077163021916 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32604] ppid=32484 vsize=15620180 memory=0 CPUtime=9.45 cores=0,2,4,6
/proc/32486/task/32604/stat : 32604 (java) R 32484 32484 30406 0 -1 4202560 1137 0 0 0 945 0 0 0 20 0 19 0 445725871 15995064320 92688 33554432000 4194304 4196468 140733085260032 140076980017248 140077159884364 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32605] ppid=32484 vsize=15620180 memory=0 CPUtime=9.39 cores=0,2,4,6
/proc/32486/task/32605/stat : 32605 (java) R 32484 32484 30406 0 -1 4202560 914 0 0 0 939 0 0 0 20 0 19 0 445725871 15995064320 92688 33554432000 4194304 4196468 140733085260032 140076978962520 140077161723448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32606] ppid=32484 vsize=15620180 memory=388 CPUtime=9.16 cores=0,2,4,6
/proc/32486/task/32606/stat : 32606 (java) R 32484 32484 30406 0 -1 4202560 503 0 0 0 916 0 0 0 20 0 19 0 445725871 15995064320 92688 33554432000 4194304 4196468 140733085260032 140076974752248 140077155062607 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
Current children cumulated CPU time: 87.86 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 372200 KiB
[startup+22.8009 s]
/proc/loadavg: 8.83 5.76 3.31 9/237 32606
/proc/meminfo: memFree=30115828/32770624 swapFree=66953076/67108860
[pid=32484] ppid=32481 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32484/stat : 32484 (xcsp3-exec) S 32481 32484 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445724585 115843072 362 33554432000 4194304 5098028 140725699312848 140725699310952 139932451304060 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35217408 140725699318650 140725699318893 140725699318893 140725699321802 0
/proc/32484/statm: 28282 362 304 221 0 87 0
[pid=32486] ppid=32484 vsize=15620180 memory=370764 CPUtime=89.45 cores=0,2,4,6
/proc/32486/stat : 32486 (java) S 32484 32484 30406 0 -1 1077944320 49364 0 0 0 8926 19 0 0 20 0 19 0 445724585 15995064320 92691 33554432000 4194304 4196468 140733085260032 140733085242576 140077532172023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
/proc/32486/statm: 3905045 92691 3531 1 0 3866145 0
[pid=32486/tid=32487] ppid=32484 vsize=15620180 memory=1452 CPUtime=0.74 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (java) S 32484 32484 30406 0 -1 1077944384 9700 0 0 0 70 4 0 0 20 0 19 0 445724586 15995064320 92691 33554432000 4194304 4196468 140733085260032 140077536412800 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32488] ppid=32484 vsize=15620180 memory=222712 CPUtime=0.05 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (java) S 32484 32484 30406 0 -1 1077944384 177 0 0 0 4 1 0 0 20 0 19 0 445724586 15995064320 92691 33554432000 4194304 4196468 140733085260032 140077484792208 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32489] ppid=32484 vsize=15620180 memory=1412 CPUtime=0.06 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (java) S 32484 32484 30406 0 -1 1077944384 1321 0 0 0 4 2 0 0 20 0 19 0 445724586 15995064320 92691 33554432000 4194304 4196468 140733085260032 140077483739408 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32490] ppid=32484 vsize=15620180 memory=1448 CPUtime=0.05 cores=0,2,4,6
/proc/32486/task/32490/stat : 32490 (java) S 32484 32484 30406 0 -1 1077944384 441 0 0 0 4 1 0 0 20 0 19 0 445724586 15995064320 92691 33554432000 4194304 4196468 140733085260032 140077482687120 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32491] ppid=32484 vsize=15620180 memory=370640 CPUtime=0.04 cores=0,2,4,6
/proc/32486/task/32491/stat : 32491 (java) S 32484 32484 30406 0 -1 1077944384 508 0 0 0 3 1 0 0 20 0 19 0 445724586 15995064320 92691 33554432000 4194304 4196468 140733085260032 140077481634320 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32492] ppid=32484 vsize=15620180 memory=-6804530867367538332 CPUtime=0.01 cores=0,2,4,6
/proc/32486/task/32492/stat : 32492 (java) S 32484 32484 30406 0 -1 1077944384 1113 0 0 0 1 0 0 0 20 0 19 0 445724588 15995064320 92691 33554432000 4194304 4196468 140733085260032 140077000804976 140077532183170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32493] ppid=32484 vsize=15620180 memory=-9001733975035308135 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32493/stat : 32493 (java) S 32484 32484 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445724588 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076999751008 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32494] ppid=32484 vsize=15620180 memory=-6586668835053300886 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32494/stat : 32494 (java) S 32484 32484 30406 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445724588 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076998698608 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32495] ppid=32484 vsize=15620180 memory=4785180571215093856 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32495/stat : 32495 (java) S 32484 32484 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445724591 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076997646928 140077532190619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32496] ppid=32484 vsize=15620180 memory=7510432583741839257 CPUtime=2.89 cores=0,2,4,6
/proc/32486/task/32496/stat : 32496 (java) S 32484 32484 30406 0 -1 1077944384 7774 0 0 0 289 0 0 0 20 0 19 0 445724591 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076996593776 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32497] ppid=32484 vsize=15620180 memory=6944656592455362618 CPUtime=3.25 cores=0,2,4,6
/proc/32486/task/32497/stat : 32497 (java) S 32484 32484 30406 0 -1 1077944384 13310 0 0 0 324 1 0 0 20 0 19 0 445724591 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076995540976 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32498] ppid=32484 vsize=15620180 memory=-7385037593950845031 CPUtime=0.87 cores=0,2,4,6
/proc/32486/task/32498/stat : 32498 (java) S 32484 32484 30406 0 -1 1077944384 5515 0 0 0 87 0 0 0 20 0 19 0 445724591 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076994488688 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32499] ppid=32484 vsize=15620180 memory=-5874771483550381248 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32499/stat : 32499 (java) S 32484 32484 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445724591 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076993436128 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32500] ppid=32484 vsize=15620180 memory=26016 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32500/stat : 32500 (java) S 32484 32484 30406 0 -1 1077944384 654 0 0 0 0 0 0 0 20 0 19 0 445724591 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076992383920 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32603] ppid=32484 vsize=15620180 memory=1448 CPUtime=9.77 cores=0,2,4,6
/proc/32486/task/32603/stat : 32603 (java) R 32484 32484 30406 0 -1 4202560 334 0 0 0 977 0 0 0 20 0 19 0 445725871 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076977907912 140077157541494 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32604] ppid=32484 vsize=15620180 memory=370752 CPUtime=9.85 cores=0,2,4,6
/proc/32486/task/32604/stat : 32604 (java) R 32484 32484 30406 0 -1 4202560 1141 0 0 0 985 0 0 0 20 0 19 0 445725871 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076980015464 140077161168530 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32605] ppid=32484 vsize=15620180 memory=14012 CPUtime=9.79 cores=0,2,4,6
/proc/32486/task/32605/stat : 32605 (java) R 32484 32484 30406 0 -1 4202560 937 0 0 0 979 0 0 0 20 0 19 0 445725871 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076978961824 140077160014346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32606] ppid=32484 vsize=15620180 memory=2116 CPUtime=9.54 cores=0,2,4,6
/proc/32486/task/32606/stat : 32606 (java) R 32484 32484 30406 0 -1 4202560 538 0 0 0 954 0 0 0 20 0 19 0 445725871 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076974754280 140077157541904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
Current children cumulated CPU time: 89.45 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 372212 KiB
[startup+23.0009 s]*
/proc/loadavg: 8.83 5.76 3.31 9/237 32606
/proc/meminfo: memFree=30115952/32770624 swapFree=66953076/67108860
[pid=32484] ppid=32481 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32484/stat : 32484 (xcsp3-exec) S 32481 32484 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445724585 115843072 362 33554432000 4194304 5098028 140725699312848 140725699310952 139932451304060 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35217408 140725699318650 140725699318893 140725699318893 140725699321802 0
/proc/32484/statm: 28282 362 304 221 0 87 0
[pid=32486] ppid=32484 vsize=15620180 memory=370764 CPUtime=90.28 cores=0,2,4,6
/proc/32486/stat : 32486 (java) S 32484 32484 30406 0 -1 1077944320 49366 0 0 0 9009 19 0 0 20 0 19 0 445724585 15995064320 92691 33554432000 4194304 4196468 140733085260032 140733085242576 140077532172023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
/proc/32486/statm: 3905045 92691 3531 1 0 3866145 0
[pid=32486/tid=32487] ppid=32484 vsize=15620180 memory=6791534058613427641 CPUtime=0.74 cores=0,2,4,6
/proc/32486/task/32487/stat : 32487 (java) S 32484 32484 30406 0 -1 1077944384 9700 0 0 0 70 4 0 0 20 0 19 0 445724586 15995064320 92691 33554432000 4194304 4196468 140733085260032 140077536412800 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32488] ppid=32484 vsize=15620180 memory=2896 CPUtime=0.05 cores=0,2,4,6
/proc/32486/task/32488/stat : 32488 (java) S 32484 32484 30406 0 -1 1077944384 177 0 0 0 4 1 0 0 20 0 19 0 445724586 15995064320 92691 33554432000 4194304 4196468 140733085260032 140077484792208 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32489] ppid=32484 vsize=15620180 memory=1448 CPUtime=0.06 cores=0,2,4,6
/proc/32486/task/32489/stat : 32489 (java) S 32484 32484 30406 0 -1 1077944384 1321 0 0 0 4 2 0 0 20 0 19 0 445724586 15995064320 92691 33554432000 4194304 4196468 140733085260032 140077483739408 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32490] ppid=32484 vsize=15620180 memory=370664 CPUtime=0.05 cores=0,2,4,6
/proc/32486/task/32490/stat : 32490 (java) S 32484 32484 30406 0 -1 1077944384 441 0 0 0 4 1 0 0 20 0 19 0 445724586 15995064320 92691 33554432000 4194304 4196468 140733085260032 140077482687120 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32491] ppid=32484 vsize=15620180 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/32486/task/32491/stat : 32491 (java) S 32484 32484 30406 0 -1 1077944384 508 0 0 0 3 1 0 0 20 0 19 0 445724586 15995064320 92691 33554432000 4194304 4196468 140733085260032 140077481634320 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32492] ppid=32484 vsize=15620180 memory=1536 CPUtime=0.01 cores=0,2,4,6
/proc/32486/task/32492/stat : 32492 (java) S 32484 32484 30406 0 -1 1077944384 1113 0 0 0 1 0 0 0 20 0 19 0 445724588 15995064320 92691 33554432000 4194304 4196468 140733085260032 140077000804976 140077532183170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32493] ppid=32484 vsize=15620180 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32493/stat : 32493 (java) S 32484 32484 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445724588 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076999751008 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32494] ppid=32484 vsize=15620180 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32494/stat : 32494 (java) S 32484 32484 30406 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445724588 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076998698608 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32495] ppid=32484 vsize=15620180 memory=780 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32495/stat : 32495 (java) S 32484 32484 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445724591 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076997646928 140077532190619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32496] ppid=32484 vsize=15620180 memory=620 CPUtime=2.89 cores=0,2,4,6
/proc/32486/task/32496/stat : 32496 (java) S 32484 32484 30406 0 -1 1077944384 7774 0 0 0 289 0 0 0 20 0 19 0 445724591 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076996593776 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32497] ppid=32484 vsize=15620180 memory=1496 CPUtime=3.25 cores=0,2,4,6
/proc/32486/task/32497/stat : 32497 (java) S 32484 32484 30406 0 -1 1077944384 13310 0 0 0 324 1 0 0 20 0 19 0 445724591 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076995540976 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32498] ppid=32484 vsize=15620180 memory=1016 CPUtime=0.87 cores=0,2,4,6
/proc/32486/task/32498/stat : 32498 (java) S 32484 32484 30406 0 -1 1077944384 5515 0 0 0 87 0 0 0 20 0 19 0 445724591 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076994488688 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32499] ppid=32484 vsize=15620180 memory=6016 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32499/stat : 32499 (java) S 32484 32484 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445724591 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076993436128 140077532182229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32500] ppid=32484 vsize=15620180 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/32486/task/32500/stat : 32500 (java) S 32484 32484 30406 0 -1 1077944384 654 0 0 0 0 0 0 0 20 0 19 0 445724591 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076992383920 140077532183170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32603] ppid=32484 vsize=15620180 memory=2116 CPUtime=9.97 cores=0,2,4,6
/proc/32486/task/32603/stat : 32603 (java) R 32484 32484 30406 0 -1 4202560 334 0 0 0 997 0 0 0 20 0 19 0 445725871 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076977907912 140077161407099 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32604] ppid=32484 vsize=15620180 memory=26016 CPUtime=10.06 cores=0,2,4,6
/proc/32486/task/32604/stat : 32604 (java) R 32484 32484 30406 0 -1 4202560 1143 0 0 0 1006 0 0 0 20 0 19 0 445725871 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076980015464 140077163385606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32605] ppid=32484 vsize=15620180 memory=14068 CPUtime=10 cores=0,2,4,6
/proc/32486/task/32605/stat : 32605 (java) R 32484 32484 30406 0 -1 4202560 937 0 0 0 1000 0 0 0 20 0 19 0 445725871 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076978961712 140077161059388 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
[pid=32486/tid=32606] ppid=32484 vsize=15620180 memory=0 CPUtime=9.75 cores=0,2,4,6
/proc/32486/task/32606/stat : 32606 (java) R 32484 32484 30406 0 -1 4202560 538 0 0 0 975 0 0 0 20 0 19 0 445725871 15995064320 92691 33554432000 4194304 4196468 140733085260032 140076974754280 140077159441799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13922304 140733085266927 140733085267098 140733085267098 140733085269967 0
Current children cumulated CPU time: 90.28 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 372212 KiB
Child status: 0
Real time (s): 23.0628
CPU time (s): 90.4774
CPU user time (s): 90.2734
CPU system time (s): 0.203987
CPU usage (%): 392.309
Max. virtual memory (cumulated for all children) (KiB): 15733308
Max. memory (cumulated for all children) (KiB): 372212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.2734
system time used= 0.203987
maximum resident set size= 370884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50549
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3888
involuntary context switches= 2972
# summary of solver processes directly reported to runsolver:
# pid: 32484
# total CPU time (s): 90.4774
# total CPU user time (s): 90.2734
# total CPU system time (s): 0.203987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.187041 second user time and 0.269226 second system time
The end