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 (15254 MiB free)
memory of node 1: 16384 MiB (15381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400463-1568680154/watcher-4400463-1568680154 -o /tmp/evaluation-result-4400463-1568680154/solver-4400463-1568680154 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 642323616 HOME/instance-4400463-1568680154.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=11963, runsolver pid=11960
Current StackSize limit: 8192 KiB
[startup+0.102314 s]*
/proc/loadavg: 8.76 8.55 8.45 7/233 11979
/proc/meminfo: memFree=31354480/32770624 swapFree=66997372/67108860
[pid=11963] ppid=11960 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11963/stat : 11963 (xcsp3-exec) S 11960 11963 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444268487 115843072 363 33554432000 4194304 5098028 140724415669440 140724415667544 139823890940540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140724415677307 140724415677549 140724415677549 140724415680458 0
/proc/11963/statm: 28282 363 304 221 0 87 0
[pid=11965] ppid=11963 vsize=15144776 memory=29632 CPUtime=0.12 cores=0,2,4,6
/proc/11965/stat : 11965 (java) S 11963 11963 32513 0 -1 1077944320 5801 0 0 0 11 1 0 0 20 0 15 0 444268487 15508250624 7408 33554432000 4194304 4196468 140734066643680 140734066626224 139686043262711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
/proc/11965/statm: 3786194 7408 3150 1 0 3748377 0
[pid=11965/tid=11966] ppid=11963 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=0,2,4,6
/proc/11965/task/11966/stat : 11966 (java) R 11963 11963 32513 0 -1 4202560 3727 0 0 0 8 0 0 0 20 0 15 0 444268487 15508250624 7408 33554432000 4194304 4196468 140734066643680 139686047495984 139686043274646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11967] ppid=11963 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11967/stat : 11967 (java) S 11963 11963 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268488 15508250624 7408 33554432000 4194304 4196468 140734066643680 139685971302928 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11968] ppid=11963 vsize=15144776 memory=139733983254144 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11968/stat : 11968 (java) S 11963 11963 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268488 15508250624 7408 33554432000 4194304 4196468 140734066643680 139685970250384 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11969] ppid=11963 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11969/stat : 11969 (java) S 11963 11963 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268488 15508250624 7408 33554432000 4194304 4196468 140734066643680 139685969197328 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11970] ppid=11963 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11970/stat : 11970 (java) S 11963 11963 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444268488 15508250624 7408 33554432000 4194304 4196468 140734066643680 139685968144784 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11971] ppid=11963 vsize=15144776 memory=139733983254144 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11971/stat : 11971 (java) S 11963 11963 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444268489 15508250624 7408 33554432000 4194304 4196468 140734066643680 139685511310064 139686043273858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11972] ppid=11963 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11972/stat : 11972 (java) S 11963 11963 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444268490 15508250624 7408 33554432000 4194304 4196468 140734066643680 139685510256288 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11973] ppid=11963 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11973/stat : 11973 (java) S 11963 11963 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444268490 15508250624 7408 33554432000 4194304 4196468 140734066643680 139685509203184 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11974] ppid=11963 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11974/stat : 11974 (java) S 11963 11963 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444268492 15508250624 7408 33554432000 4194304 4196468 140734066643680 139685508151760 139686043281307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11975] ppid=11963 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11975/stat : 11975 (java) R 11963 11963 32513 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 444268492 15508250624 7408 33554432000 4194304 4196468 140734066643680 139685507098864 139686043273858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11976] ppid=11963 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11976/stat : 11976 (java) R 11963 11963 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444268492 15508250624 7408 33554432000 4194304 4196468 140734066643680 139685506046320 139686043273858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11977] ppid=11963 vsize=15144776 memory=139733983254144 CPUtime=0.01 cores=0,2,4,6
/proc/11965/task/11977/stat : 11977 (java) R 11963 11963 32513 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 15 0 444268492 15508250624 7408 33554432000 4194304 4196468 140734066643680 139685504993264 139686022165867 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11978] ppid=11963 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11978/stat : 11978 (java) S 11963 11963 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444268493 15508250624 7408 33554432000 4194304 4196468 140734066643680 139685503940960 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11979] ppid=11963 vsize=15144776 memory=139733983254144 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11979/stat : 11979 (java) S 11963 11963 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268494 15508250624 7408 33554432000 4194304 4196468 140734066643680 139685502889008 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31084 KiB
[startup+0.210611 s]*
/proc/loadavg: 8.76 8.55 8.45 8/233 11979
/proc/meminfo: memFree=31341692/32770624 swapFree=66997372/67108860
[pid=11963] ppid=11960 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11963/stat : 11963 (xcsp3-exec) S 11960 11963 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444268487 115843072 363 33554432000 4194304 5098028 140724415669440 140724415667544 139823890940540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140724415677307 140724415677549 140724415677549 140724415680458 0
/proc/11963/statm: 28282 363 304 221 0 87 0
[pid=11965] ppid=11963 vsize=15144776 memory=40964 CPUtime=0.33 cores=0,2,4,6
/proc/11965/stat : 11965 (java) S 11963 11963 32513 0 -1 1077944320 9417 0 0 0 30 3 0 0 20 0 15 0 444268487 15508250624 10241 33554432000 4194304 4196468 140734066643680 140734066626224 139686043262711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
/proc/11965/statm: 3786194 10241 3303 1 0 3748377 0
[pid=11965/tid=11966] ppid=11963 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/11965/task/11966/stat : 11966 (java) R 11963 11963 32513 0 -1 4202560 6617 0 0 0 18 2 0 0 20 0 15 0 444268487 15508250624 10241 33554432000 4194304 4196468 140734066643680 139686047494624 139686043284637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11967] ppid=11963 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11967/stat : 11967 (java) S 11963 11963 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268488 15508250624 10241 33554432000 4194304 4196468 140734066643680 139685971302928 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11968] ppid=11963 vsize=15144776 memory=139733986544768 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11968/stat : 11968 (java) S 11963 11963 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268488 15508250624 10241 33554432000 4194304 4196468 140734066643680 139685970250384 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11969] ppid=11963 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11969/stat : 11969 (java) S 11963 11963 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268488 15508250624 10241 33554432000 4194304 4196468 140734066643680 139685969197328 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11970] ppid=11963 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11970/stat : 11970 (java) S 11963 11963 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444268488 15508250624 10241 33554432000 4194304 4196468 140734066643680 139685968144784 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11971] ppid=11963 vsize=15144776 memory=139733983254144 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11971/stat : 11971 (java) S 11963 11963 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444268489 15508250624 10241 33554432000 4194304 4196468 140734066643680 139685511310064 139686043273858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11972] ppid=11963 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11972/stat : 11972 (java) S 11963 11963 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444268490 15508250624 10241 33554432000 4194304 4196468 140734066643680 139685510256288 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11973] ppid=11963 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11973/stat : 11973 (java) S 11963 11963 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444268490 15508250624 10241 33554432000 4194304 4196468 140734066643680 139685509203184 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11974] ppid=11963 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11974/stat : 11974 (java) S 11963 11963 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444268492 15508250624 10241 33554432000 4194304 4196468 140734066643680 139685508151760 139686043281307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11975] ppid=11963 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11965/task/11975/stat : 11975 (java) S 11963 11963 32513 0 -1 1077944384 494 0 0 0 2 0 0 0 20 0 15 0 444268492 15508250624 10241 33554432000 4194304 4196468 140734066643680 139685507098864 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11976] ppid=11963 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11965/task/11976/stat : 11976 (java) S 11963 11963 32513 0 -1 1077944384 263 0 0 0 2 0 0 0 20 0 15 0 444268492 15508250624 10241 33554432000 4194304 4196468 140734066643680 139685506046320 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11977] ppid=11963 vsize=15144776 memory=139733983254144 CPUtime=0.07 cores=0,2,4,6
/proc/11965/task/11977/stat : 11977 (java) R 11963 11963 32513 0 -1 4202560 746 0 0 0 7 0 0 0 20 0 15 0 444268492 15508250624 10241 33554432000 4194304 4196468 140734066643680 139685504989216 139686022196540 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11978] ppid=11963 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11978/stat : 11978 (java) S 11963 11963 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444268493 15508250624 10241 33554432000 4194304 4196468 140734066643680 139685503940960 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11979] ppid=11963 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11979/stat : 11979 (java) S 11963 11963 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268494 15508250624 10241 33554432000 4194304 4196468 140734066643680 139685502889008 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42416 KiB
[startup+0.310579 s]*
/proc/loadavg: 8.76 8.55 8.45 7/233 11979
/proc/meminfo: memFree=31336856/32770624 swapFree=66997372/67108860
[pid=11963] ppid=11960 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11963/stat : 11963 (xcsp3-exec) S 11960 11963 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444268487 115843072 363 33554432000 4194304 5098028 140724415669440 140724415667544 139823890940540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140724415677307 140724415677549 140724415677549 140724415680458 0
/proc/11963/statm: 28282 363 304 221 0 87 0
[pid=11965] ppid=11963 vsize=15149032 memory=49388 CPUtime=0.51 cores=0,2,4,6
/proc/11965/stat : 11965 (java) S 11963 11963 32513 0 -1 1077944320 10656 0 0 0 48 3 0 0 20 0 15 0 444268487 15512608768 12347 33554432000 4194304 4196468 140734066643680 140734066626224 139686043262711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
/proc/11965/statm: 3787258 12347 3361 1 0 3748377 0
[pid=11965/tid=11966] ppid=11963 vsize=15149032 memory=32213995742560408 CPUtime=0.29 cores=0,2,4,6
/proc/11965/task/11966/stat : 11966 (java) R 11963 11963 32513 0 -1 4202560 7688 0 0 0 27 2 0 0 20 0 15 0 444268487 15512608768 12374 33554432000 4194304 4196468 140734066643680 139686047493824 139686027602582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11967] ppid=11963 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11967/stat : 11967 (java) S 11963 11963 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268488 15512608768 12374 33554432000 4194304 4196468 140734066643680 139685971302928 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11968] ppid=11963 vsize=15149032 memory=3549966 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11968/stat : 11968 (java) S 11963 11963 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268488 15512608768 12374 33554432000 4194304 4196468 140734066643680 139685970250384 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11969] ppid=11963 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11969/stat : 11969 (java) S 11963 11963 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268488 15512608768 12374 33554432000 4194304 4196468 140734066643680 139685969197328 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11970] ppid=11963 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11970/stat : 11970 (java) S 11963 11963 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444268488 15512608768 12374 33554432000 4194304 4196468 140734066643680 139685968144784 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11971] ppid=11963 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11971/stat : 11971 (java) S 11963 11963 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444268489 15512608768 12374 33554432000 4194304 4196468 140734066643680 139685511310064 139686043273858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11972] ppid=11963 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11972/stat : 11972 (java) S 11963 11963 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444268490 15512608768 12374 33554432000 4194304 4196468 140734066643680 139685510256288 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11973] ppid=11963 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11973/stat : 11973 (java) S 11963 11963 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444268490 15512608768 12374 33554432000 4194304 4196468 140734066643680 139685509203184 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11974] ppid=11963 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11974/stat : 11974 (java) S 11963 11963 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444268492 15512608768 12374 33554432000 4194304 4196468 140734066643680 139685508151760 139686043281307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11975] ppid=11963 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11965/task/11975/stat : 11975 (java) S 11963 11963 32513 0 -1 1077944384 531 0 0 0 4 0 0 0 20 0 15 0 444268492 15512608768 12374 33554432000 4194304 4196468 140734066643680 139685507098864 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11976] ppid=11963 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11965/task/11976/stat : 11976 (java) R 11963 11963 32513 0 -1 4202560 328 0 0 0 4 0 0 0 20 0 15 0 444268492 15512608768 12439 33554432000 4194304 4196468 140734066643680 139685506036704 139686023963008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11977] ppid=11963 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11965/task/11977/stat : 11977 (java) S 11963 11963 32513 0 -1 1077944384 852 0 0 0 13 0 0 0 20 0 15 0 444268492 15512608768 12439 33554432000 4194304 4196468 140734066643680 139685504993264 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11978] ppid=11963 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11978/stat : 11978 (java) S 11963 11963 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444268493 15512608768 12439 33554432000 4194304 4196468 140734066643680 139685503940960 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11979] ppid=11963 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11979/stat : 11979 (java) S 11963 11963 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268494 15512608768 12439 33554432000 4194304 4196468 140734066643680 139685502889008 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50840 KiB
[startup+0.701415 s]
/proc/loadavg: 8.76 8.55 8.45 9/233 11979
/proc/meminfo: memFree=31320652/32770624 swapFree=66997372/67108860
[pid=11963] ppid=11960 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11963/stat : 11963 (xcsp3-exec) S 11960 11963 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444268487 115843072 363 33554432000 4194304 5098028 140724415669440 140724415667544 139823890940540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140724415677307 140724415677549 140724415677549 140724415680458 0
/proc/11963/statm: 28282 363 304 221 0 87 0
[pid=11965] ppid=11963 vsize=15151156 memory=91436 CPUtime=1.66 cores=0,2,4,6
/proc/11965/stat : 11965 (java) S 11963 11963 32513 0 -1 1077944320 13710 0 0 0 161 5 0 0 20 0 15 0 444268487 15514783744 22859 33554432000 4194304 4196468 140734066643680 140734066626224 139686043262711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
/proc/11965/statm: 3787789 22859 3465 1 0 3748889 0
[pid=11965/tid=11966] ppid=11963 vsize=15151156 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/11965/task/11966/stat : 11966 (java) R 11963 11963 32513 0 -1 4202560 8978 0 0 0 63 3 0 0 20 0 15 0 444268487 15514783744 22859 33554432000 4194304 4196468 140734066643680 139686047496880 139685643696035 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11967] ppid=11963 vsize=15151156 memory=143 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11967/stat : 11967 (java) S 11963 11963 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268488 15514783744 22859 33554432000 4194304 4196468 140734066643680 139685971302928 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11968] ppid=11963 vsize=15151156 memory=2 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11968/stat : 11968 (java) S 11963 11963 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268488 15514783744 22859 33554432000 4194304 4196468 140734066643680 139685970250384 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11969] ppid=11963 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11969/stat : 11969 (java) S 11963 11963 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268488 15514783744 22859 33554432000 4194304 4196468 140734066643680 139685969197328 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11970] ppid=11963 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11970/stat : 11970 (java) S 11963 11963 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444268488 15514783744 22859 33554432000 4194304 4196468 140734066643680 139685968144784 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11971] ppid=11963 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11971/stat : 11971 (java) S 11963 11963 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444268489 15514783744 22859 33554432000 4194304 4196468 140734066643680 139685511310064 139686043273858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11972] ppid=11963 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11972/stat : 11972 (java) S 11963 11963 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444268490 15514783744 22859 33554432000 4194304 4196468 140734066643680 139685510256288 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11973] ppid=11963 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11973/stat : 11973 (java) S 11963 11963 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444268490 15514783744 22859 33554432000 4194304 4196468 140734066643680 139685509203184 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11974] ppid=11963 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11974/stat : 11974 (java) S 11963 11963 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444268492 15514783744 22859 33554432000 4194304 4196468 140734066643680 139685508151760 139686043281307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11975] ppid=11963 vsize=15151156 memory=1764 CPUtime=0.27 cores=0,2,4,6
/proc/11965/task/11975/stat : 11975 (java) R 11963 11963 32513 0 -1 4202560 1018 0 0 0 27 0 0 0 20 0 15 0 444268492 15514783744 22859 33554432000 4194304 4196468 140734066643680 139685507085392 139686026647727 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11976] ppid=11963 vsize=15151156 memory=111628 CPUtime=0.29 cores=0,2,4,6
/proc/11965/task/11976/stat : 11976 (java) R 11963 11963 32513 0 -1 4202560 732 0 0 0 28 1 0 0 20 0 15 0 444268492 15514783744 22859 33554432000 4194304 4196468 140734066643680 139685506037648 139686043284058 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11977] ppid=11963 vsize=15151156 memory=796 CPUtime=0.41 cores=0,2,4,6
/proc/11965/task/11977/stat : 11977 (java) S 11963 11963 32513 0 -1 1077944384 1676 0 0 0 41 0 0 0 20 0 15 0 444268492 15514783744 22859 33554432000 4194304 4196468 140734066643680 139685504993264 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11978] ppid=11963 vsize=15151156 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11978/stat : 11978 (java) S 11963 11963 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444268493 15514783744 22859 33554432000 4194304 4196468 140734066643680 139685503940960 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11979] ppid=11963 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11979/stat : 11979 (java) S 11963 11963 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444268494 15514783744 22859 33554432000 4194304 4196468 140734066643680 139685502889008 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92888 KiB
[startup+1.50442 s]
/proc/loadavg: 8.76 8.55 8.45 13/237 11983
/proc/meminfo: memFree=31245504/32770624 swapFree=66997372/67108860
[pid=11963] ppid=11960 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11963/stat : 11963 (xcsp3-exec) S 11960 11963 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444268487 115843072 363 33554432000 4194304 5098028 140724415669440 140724415667544 139823890940540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140724415677307 140724415677549 140724415677549 140724415680458 0
/proc/11963/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/11965/task/11979/stat : 11979 (java) S 11963 11963 32513 0 -1 1077944384 334 0 0 0 0 1 0 0 20 0 19 0 444268494 15787429888 51102 33554432000 4194304 4196468 140734066643680 139685502889008 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=12167] ppid=11963 vsize=15417412 memory=204372 CPUtime=1.88 cores=0,2,4,6
/proc/11965/task/12167/stat : 12167 (java) R 11963 11963 32513 0 -1 4202560 80 0 0 0 188 0 0 0 20 0 19 0 444273170 15787429888 51102 33554432000 4194304 4196468 140734066643680 139685492853752 139685649076605 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=12168] ppid=11963 vsize=15417412 memory=14410423571057304 CPUtime=1.93 cores=0,2,4,6
/proc/11965/task/12168/stat : 12168 (java) R 11963 11963 32513 0 -1 4202560 226 0 0 0 193 0 0 0 20 0 19 0 444273170 15787429888 51102 33554432000 4194304 4196468 140734066643680 139685422683400 139685646588343 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=12169] ppid=11963 vsize=15417412 memory=6036 CPUtime=1.96 cores=0,2,4,6
/proc/11965/task/12169/stat : 12169 (java) R 11963 11963 32513 0 -1 4202560 33 0 0 0 196 0 0 0 20 0 19 0 444273170 15787429888 51102 33554432000 4194304 4196468 140734066643680 139685491801696 139685646588357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=12170] ppid=11963 vsize=15417412 memory=14008 CPUtime=1.96 cores=0,2,4,6
/proc/11965/task/12170/stat : 12170 (java) R 11963 11963 32513 0 -1 4202560 40 0 0 0 196 0 0 0 20 0 19 0 444273170 15787429888 51102 33554432000 4194304 4196468 140734066643680 139685493910200 139685645663376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
Current children cumulated CPU time: 192.78 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 205860 KiB
[startup+49.6014 s]
/proc/loadavg: 8.74 8.58 8.47 10/237 12170
/proc/meminfo: memFree=31108024/32770624 swapFree=66997372/67108860
[pid=11963] ppid=11960 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11963/stat : 11963 (xcsp3-exec) S 11960 11963 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444268487 115843072 363 33554432000 4194304 5098028 140724415669440 140724415667544 139823890940540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140724415677307 140724415677549 140724415677549 140724415680458 0
/proc/11963/statm: 28282 363 304 221 0 87 0
[pid=11965] ppid=11963 vsize=15417412 memory=204544 CPUtime=195.97 cores=0,2,4,6
/proc/11965/stat : 11965 (java) S 11963 11963 32513 0 -1 1077944320 54330 0 0 0 19576 21 0 0 20 0 19 0 444268487 15787429888 51136 33554432000 4194304 4196468 140734066643680 140734066626224 139686043262711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
/proc/11965/statm: 3854353 51136 3531 1 0 3815453 0
[pid=11965/tid=11966] ppid=11963 vsize=15417412 memory=11044 CPUtime=0.78 cores=0,2,4,6
/proc/11965/task/11966/stat : 11966 (java) S 11963 11963 32513 0 -1 1077944384 9477 0 0 0 74 4 0 0 20 0 19 0 444268487 15787429888 51136 33554432000 4194304 4196468 140734066643680 139686047503488 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11967] ppid=11963 vsize=15417412 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/11965/task/11967/stat : 11967 (java) S 11963 11963 32513 0 -1 1077944384 1220 0 0 0 8 1 0 0 20 0 19 0 444268488 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685971302928 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11968] ppid=11963 vsize=15417412 memory=1548 CPUtime=0.09 cores=0,2,4,6
/proc/11965/task/11968/stat : 11968 (java) S 11963 11963 32513 0 -1 1077944384 1252 0 0 0 8 1 0 0 20 0 19 0 444268488 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685970250384 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11969] ppid=11963 vsize=15417412 memory=8560 CPUtime=0.09 cores=0,2,4,6
/proc/11965/task/11969/stat : 11969 (java) S 11963 11963 32513 0 -1 1077944384 1686 0 0 0 8 1 0 0 20 0 19 0 444268488 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685969197328 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11970] ppid=11963 vsize=15417412 memory=1668 CPUtime=0.1 cores=0,2,4,6
/proc/11965/task/11970/stat : 11970 (java) S 11963 11963 32513 0 -1 1077944384 711 0 0 0 9 1 0 0 20 0 19 0 444268488 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685968144784 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11971] ppid=11963 vsize=15417412 memory=2684 CPUtime=0.03 cores=0,2,4,6
/proc/11965/task/11971/stat : 11971 (java) S 11963 11963 32513 0 -1 1077944384 1183 0 0 0 2 1 0 0 20 0 19 0 444268489 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685511310064 139686043273858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11972] ppid=11963 vsize=15417412 memory=6935054825532540783 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11972/stat : 11972 (java) S 11963 11963 32513 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 444268490 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685510256352 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11973] ppid=11963 vsize=15417412 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11973/stat : 11973 (java) S 11963 11963 32513 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 444268490 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685509203200 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11974] ppid=11963 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11974/stat : 11974 (java) S 11963 11963 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444268492 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685508151760 139686043281307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11975] ppid=11963 vsize=15417412 memory=8996 CPUtime=2.28 cores=0,2,4,6
/proc/11965/task/11975/stat : 11975 (java) S 11963 11963 32513 0 -1 1077944384 13075 0 0 0 227 1 0 0 20 0 19 0 444268492 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685507098864 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11976] ppid=11963 vsize=15417412 memory=6791534058613427641 CPUtime=2.21 cores=0,2,4,6
/proc/11965/task/11976/stat : 11976 (java) S 11963 11963 32513 0 -1 1077944384 11477 0 0 0 219 2 0 0 20 0 19 0 444268492 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685506046320 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11977] ppid=11963 vsize=15417412 memory=204348 CPUtime=0.79 cores=0,2,4,6
/proc/11965/task/11977/stat : 11977 (java) S 11963 11963 32513 0 -1 1077944384 6760 0 0 0 79 0 0 0 20 0 19 0 444268492 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685504993264 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11978] ppid=11963 vsize=15417412 memory=7649399380020638001 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11978/stat : 11978 (java) S 11963 11963 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444268493 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685503940960 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11979] ppid=11963 vsize=15417412 memory=8099531882097108048 CPUtime=0.01 cores=0,2,4,6
/proc/11965/task/11979/stat : 11979 (java) S 11963 11963 32513 0 -1 1077944384 343 0 0 0 0 1 0 0 20 0 19 0 444268494 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685502889008 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=12167] ppid=11963 vsize=15417412 memory=7237398200207235428 CPUtime=2.67 cores=0,2,4,6
/proc/11965/task/12167/stat : 12167 (java) R 11963 11963 32513 0 -1 4202560 129 0 0 0 267 0 0 0 20 0 19 0 444273170 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685492854520 139685648114282 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=12168] ppid=11963 vsize=15417412 memory=0 CPUtime=2.71 cores=0,2,4,6
/proc/11965/task/12168/stat : 12168 (java) R 11963 11963 32513 0 -1 4202560 618 0 0 0 271 0 0 0 20 0 19 0 444273170 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685422681976 139685646588343 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=12169] ppid=11963 vsize=15417412 memory=0 CPUtime=2.76 cores=0,2,4,6
/proc/11965/task/12169/stat : 12169 (java) R 11963 11963 32513 0 -1 4202560 113 0 0 0 276 0 0 0 20 0 19 0 444273170 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685491801680 139685648114240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=12170] ppid=11963 vsize=15417412 memory=6655300316396806240 CPUtime=2.73 cores=0,2,4,6
/proc/11965/task/12170/stat : 12170 (java) R 11963 11963 32513 0 -1 4202560 125 0 0 0 273 0 0 0 20 0 19 0 444273170 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685493908024 139685647351777 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
Current children cumulated CPU time: 195.97 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 205996 KiB
[startup+50.0008 s]*
/proc/loadavg: 8.74 8.58 8.47 10/237 12198
/proc/meminfo: memFree=31111016/32770624 swapFree=66997372/67108860
[pid=11963] ppid=11960 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11963/stat : 11963 (xcsp3-exec) S 11960 11963 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444268487 115843072 363 33554432000 4194304 5098028 140724415669440 140724415667544 139823890940540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140724415677307 140724415677549 140724415677549 140724415680458 0
/proc/11963/statm: 28282 363 304 221 0 87 0
[pid=11965] ppid=11963 vsize=15417412 memory=204544 CPUtime=197.59 cores=0,2,4,6
/proc/11965/stat : 11965 (java) S 11963 11963 32513 0 -1 1077944320 54335 0 0 0 19738 21 0 0 20 0 19 0 444268487 15787429888 51136 33554432000 4194304 4196468 140734066643680 140734066626224 139686043262711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
/proc/11965/statm: 3854353 51136 3531 1 0 3815453 0
[pid=11965/tid=11966] ppid=11963 vsize=15417412 memory=6935054825532540783 CPUtime=0.78 cores=0,2,4,6
/proc/11965/task/11966/stat : 11966 (java) S 11963 11963 32513 0 -1 1077944384 9477 0 0 0 74 4 0 0 20 0 19 0 444268487 15787429888 51136 33554432000 4194304 4196468 140734066643680 139686047503488 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11967] ppid=11963 vsize=15417412 memory=4126316290023845779 CPUtime=0.09 cores=0,2,4,6
/proc/11965/task/11967/stat : 11967 (java) S 11963 11963 32513 0 -1 1077944384 1220 0 0 0 8 1 0 0 20 0 19 0 444268488 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685971302928 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11968] ppid=11963 vsize=15417412 memory=279467751522648 CPUtime=0.09 cores=0,2,4,6
/proc/11965/task/11968/stat : 11968 (java) S 11963 11963 32513 0 -1 1077944384 1252 0 0 0 8 1 0 0 20 0 19 0 444268488 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685970250384 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11969] ppid=11963 vsize=15417412 memory=6944656592455097440 CPUtime=0.09 cores=0,2,4,6
/proc/11965/task/11969/stat : 11969 (java) S 11963 11963 32513 0 -1 1077944384 1686 0 0 0 8 1 0 0 20 0 19 0 444268488 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685969197328 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11970] ppid=11963 vsize=15417412 memory=139733876371473 CPUtime=0.1 cores=0,2,4,6
/proc/11965/task/11970/stat : 11970 (java) S 11963 11963 32513 0 -1 1077944384 711 0 0 0 9 1 0 0 20 0 19 0 444268488 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685968144784 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11971] ppid=11963 vsize=15417412 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11965/task/11971/stat : 11971 (java) S 11963 11963 32513 0 -1 1077944384 1184 0 0 0 2 1 0 0 20 0 19 0 444268489 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685511310064 139686043273858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11972] ppid=11963 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11972/stat : 11972 (java) S 11963 11963 32513 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 444268490 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685510256352 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11973] ppid=11963 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11973/stat : 11973 (java) S 11963 11963 32513 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 444268490 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685509203200 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11974] ppid=11963 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11974/stat : 11974 (java) S 11963 11963 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444268492 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685508151760 139686043281307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11975] ppid=11963 vsize=15417412 memory=0 CPUtime=2.28 cores=0,2,4,6
/proc/11965/task/11975/stat : 11975 (java) S 11963 11963 32513 0 -1 1077944384 13075 0 0 0 227 1 0 0 20 0 19 0 444268492 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685507098864 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11976] ppid=11963 vsize=15417412 memory=0 CPUtime=2.21 cores=0,2,4,6
/proc/11965/task/11976/stat : 11976 (java) S 11963 11963 32513 0 -1 1077944384 11477 0 0 0 219 2 0 0 20 0 19 0 444268492 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685506046320 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11977] ppid=11963 vsize=15417412 memory=279467752572736 CPUtime=0.79 cores=0,2,4,6
/proc/11965/task/11977/stat : 11977 (java) S 11963 11963 32513 0 -1 1077944384 6760 0 0 0 79 0 0 0 20 0 19 0 444268492 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685504993264 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11978] ppid=11963 vsize=15417412 memory=3760962220055893282 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11978/stat : 11978 (java) S 11963 11963 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444268493 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685503940960 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11979] ppid=11963 vsize=15417412 memory=-7666414585839465563 CPUtime=0.01 cores=0,2,4,6
/proc/11965/task/11979/stat : 11979 (java) S 11963 11963 32513 0 -1 1077944384 343 0 0 0 0 1 0 0 20 0 19 0 444268494 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685502889008 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=12167] ppid=11963 vsize=15417412 memory=-6520478321162704286 CPUtime=3.06 cores=0,2,4,6
/proc/11965/task/12167/stat : 12167 (java) R 11963 11963 32513 0 -1 4202560 129 0 0 0 306 0 0 0 20 0 19 0 444273170 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685492853720 139685646588338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=12168] ppid=11963 vsize=15417412 memory=0 CPUtime=3.12 cores=0,2,4,6
/proc/11965/task/12168/stat : 12168 (java) R 11963 11963 32513 0 -1 4202560 619 0 0 0 312 0 0 0 20 0 19 0 444273170 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685422681648 139685646837681 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=12169] ppid=11963 vsize=15417412 memory=0 CPUtime=3.16 cores=0,2,4,6
/proc/11965/task/12169/stat : 12169 (java) R 11963 11963 32513 0 -1 4202560 114 0 0 0 316 0 0 0 20 0 19 0 444273170 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685491801792 139685649076650 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=12170] ppid=11963 vsize=15417412 memory=0 CPUtime=3.14 cores=0,2,4,6
/proc/11965/task/12170/stat : 12170 (java) R 11963 11963 32513 0 -1 4202560 127 0 0 0 314 0 0 0 20 0 19 0 444273170 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685493907656 139685649076680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
Current children cumulated CPU time: 197.59 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 205996 KiB
[startup+50.1114 s]
/proc/loadavg: 8.74 8.58 8.47 10/237 12198
/proc/meminfo: memFree=31111016/32770624 swapFree=66997372/67108860
[pid=11963] ppid=11960 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11963/stat : 11963 (xcsp3-exec) S 11960 11963 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444268487 115843072 363 33554432000 4194304 5098028 140724415669440 140724415667544 139823890940540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140724415677307 140724415677549 140724415677549 140724415680458 0
/proc/11963/statm: 28282 363 304 221 0 87 0
[pid=11965] ppid=11963 vsize=15417412 memory=204544 CPUtime=198 cores=0,2,4,6
/proc/11965/stat : 11965 (java) S 11963 11963 32513 0 -1 1077944320 54335 0 0 0 19779 21 0 0 20 0 19 0 444268487 15787429888 51136 33554432000 4194304 4196468 140734066643680 140734066626224 139686043262711 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
/proc/11965/statm: 3854353 51136 3531 1 0 3815453 0
[pid=11965/tid=11966] ppid=11963 vsize=15417412 memory=1452 CPUtime=0.78 cores=0,2,4,6
/proc/11965/task/11966/stat : 11966 (java) S 11963 11963 32513 0 -1 1077944384 9477 0 0 0 74 4 0 0 20 0 19 0 444268487 15787429888 51136 33554432000 4194304 4196468 140734066643680 139686047503488 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11967] ppid=11963 vsize=15417412 memory=204292 CPUtime=0.09 cores=0,2,4,6
/proc/11965/task/11967/stat : 11967 (java) S 11963 11963 32513 0 -1 1077944384 1220 0 0 0 8 1 0 0 20 0 19 0 444268488 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685971302928 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11968] ppid=11963 vsize=15417412 memory=279467751860464 CPUtime=0.09 cores=0,2,4,6
/proc/11965/task/11968/stat : 11968 (java) S 11963 11963 32513 0 -1 1077944384 1252 0 0 0 8 1 0 0 20 0 19 0 444268488 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685970250384 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11969] ppid=11963 vsize=15417412 memory=1452 CPUtime=0.09 cores=0,2,4,6
/proc/11965/task/11969/stat : 11969 (java) S 11963 11963 32513 0 -1 1077944384 1686 0 0 0 8 1 0 0 20 0 19 0 444268488 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685969197328 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11970] ppid=11963 vsize=15417412 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/11965/task/11970/stat : 11970 (java) S 11963 11963 32513 0 -1 1077944384 711 0 0 0 9 1 0 0 20 0 19 0 444268488 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685968144784 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11971] ppid=11963 vsize=15417412 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11965/task/11971/stat : 11971 (java) S 11963 11963 32513 0 -1 1077944384 1184 0 0 0 2 1 0 0 20 0 19 0 444268489 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685511310064 139686043273858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11972] ppid=11963 vsize=15417412 memory=47928 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11972/stat : 11972 (java) S 11963 11963 32513 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 444268490 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685510256352 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11973] ppid=11963 vsize=15417412 memory=3028 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11973/stat : 11973 (java) S 11963 11963 32513 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 444268490 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685509203200 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11974] ppid=11963 vsize=15417412 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11974/stat : 11974 (java) S 11963 11963 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444268492 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685508151760 139686043281307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11975] ppid=11963 vsize=15417412 memory=47928 CPUtime=2.28 cores=0,2,4,6
/proc/11965/task/11975/stat : 11975 (java) S 11963 11963 32513 0 -1 1077944384 13075 0 0 0 227 1 0 0 20 0 19 0 444268492 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685507098864 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11976] ppid=11963 vsize=15417412 memory=0 CPUtime=2.21 cores=0,2,4,6
/proc/11965/task/11976/stat : 11976 (java) S 11963 11963 32513 0 -1 1077944384 11477 0 0 0 219 2 0 0 20 0 19 0 444268492 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685506046320 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11977] ppid=11963 vsize=15417412 memory=0 CPUtime=0.79 cores=0,2,4,6
/proc/11965/task/11977/stat : 11977 (java) S 11963 11963 32513 0 -1 1077944384 6760 0 0 0 79 0 0 0 20 0 19 0 444268492 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685504993264 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11978] ppid=11963 vsize=15417412 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/11965/task/11978/stat : 11978 (java) S 11963 11963 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444268493 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685503940960 139686043272917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=11979] ppid=11963 vsize=15417412 memory=47928 CPUtime=0.01 cores=0,2,4,6
/proc/11965/task/11979/stat : 11979 (java) S 11963 11963 32513 0 -1 1077944384 343 0 0 0 0 1 0 0 20 0 19 0 444268494 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685502889008 139686043273858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=12167] ppid=11963 vsize=15417412 memory=1452 CPUtime=3.16 cores=0,2,4,6
/proc/11965/task/12167/stat : 12167 (java) R 11963 11963 32513 0 -1 4202560 129 0 0 0 316 0 0 0 20 0 19 0 444273170 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685492853720 139685649076650 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=12168] ppid=11963 vsize=15417412 memory=1388 CPUtime=3.22 cores=0,2,4,6
/proc/11965/task/12168/stat : 12168 (java) R 11963 11963 32513 0 -1 4202560 619 0 0 0 322 0 0 0 20 0 19 0 444273170 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685422681648 139685646588346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=12169] ppid=11963 vsize=15417412 memory=776 CPUtime=3.27 cores=0,2,4,6
/proc/11965/task/12169/stat : 12169 (java) R 11963 11963 32513 0 -1 4202560 114 0 0 0 327 0 0 0 20 0 19 0 444273170 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685491801792 139685647796259 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
[pid=11965/tid=12170] ppid=11963 vsize=15417412 memory=3992 CPUtime=3.24 cores=0,2,4,6
/proc/11965/task/12170/stat : 12170 (java) R 11963 11963 32513 0 -1 4202560 127 0 0 0 324 0 0 0 20 0 19 0 444273170 15787429888 51136 33554432000 4194304 4196468 140734066643680 139685493907656 139685646588343 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18259968 140734066652143 140734066652314 140734066652314 140734066655183 0
Current children cumulated CPU time: 198 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 205996 KiB
Child status: 0
Real time (s): 50.1871
CPU time (s): 198.28
CPU user time (s): 198.057
CPU system time (s): 0.222931
CPU usage (%): 395.082
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 253512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 198.057
system time used= 0.222931
maximum resident set size= 252060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55973
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= 4729
involuntary context switches= 4508
# summary of solver processes directly reported to runsolver:
# pid: 11963
# total CPU time (s): 198.28
# total CPU user time (s): 198.057
# total CPU system time (s): 0.222931
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.390662 second user time and 0.564813 second system time
The end