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 (3185 MiB free)
memory of node 1: 16384 MiB (6773 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404130-1568991490/watcher-4404130-1568991490 -o /tmp/evaluation-result-4404130-1568991490/solver-4404130-1568991490 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568987794-29633 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1522048654 HOME/instance-4404130-1568991490.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30342, runsolver pid=30339
[startup+0.100105 s]*
/proc/loadavg: 2.33 1.06 1.04 10/233 30358
/proc/meminfo: memFree=10181448/32770624 swapFree=66998164/67108860
[pid=30342] ppid=30339 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30342/stat : 30342 (xcsp3-exec) S 30339 30342 29601 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475403238 115843072 363 33554432000 4194304 5098028 140724081321680 140724081319784 140201260298876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9228288 140724081324922 140724081325165 140724081325165 140724081328074 0
/proc/30342/statm: 28282 363 304 221 0 87 0
[pid=30344] ppid=30342 vsize=15144776 memory=28808 CPUtime=0.13 cores=1,3,5,7
/proc/30344/stat : 30344 (java) S 30342 30342 29601 0 -1 1077944320 5691 0 0 0 13 0 0 0 20 0 15 0 475403238 15508250624 7202 33554432000 4194304 4196468 140721740531968 140721740514512 140032187178743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
/proc/30344/statm: 3786194 7202 3125 1 0 3748377 0
[pid=30344/tid=30345] ppid=30342 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/30344/task/30345/stat : 30345 (java) R 30342 30342 29601 0 -1 4202560 3578 0 0 0 9 0 0 0 20 0 15 0 475403238 15508250624 7268 33554432000 4194304 4196468 140721740531968 140032191408960 140032171259230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30346] ppid=30342 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30346/stat : 30346 (java) S 30342 30342 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403239 15508250624 7268 33554432000 4194304 4196468 140721740531968 140032115219600 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30347] ppid=30342 vsize=15144776 memory=288370719075747456 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30347/stat : 30347 (java) S 30342 30342 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403239 15508250624 7268 33554432000 4194304 4196468 140721740531968 140032114166800 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30348] ppid=30342 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30348/stat : 30348 (java) S 30342 30342 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403239 15508250624 7268 33554432000 4194304 4196468 140721740531968 140032113114000 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30349] ppid=30342 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30349/stat : 30349 (java) S 30342 30342 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403239 15508250624 7268 33554432000 4194304 4196468 140721740531968 140032112061200 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30350] ppid=30342 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30350/stat : 30350 (java) S 30342 30342 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403241 15508250624 7268 33554432000 4194304 4196468 140721740531968 140031128242544 140032187189890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30351] ppid=30342 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30351/stat : 30351 (java) S 30342 30342 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475403241 15508250624 7268 33554432000 4194304 4196468 140721740531968 140031127188512 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30352] ppid=30342 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30352/stat : 30352 (java) S 30342 30342 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475403241 15508250624 7268 33554432000 4194304 4196468 140721740531968 140031126135664 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30353] ppid=30342 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30353/stat : 30353 (java) S 30342 30342 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475403244 15508250624 7268 33554432000 4194304 4196468 140721740531968 140031125083984 140032187197339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30354] ppid=30342 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30354/stat : 30354 (java) R 30342 30342 29601 0 -1 4202560 338 0 0 0 0 0 0 0 20 0 15 0 475403244 15508250624 7268 33554432000 4194304 4196468 140721740531968 140031124032368 140032168700524 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30355] ppid=30342 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30355/stat : 30355 (java) R 30342 30342 29601 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475403244 15508250624 7268 33554432000 4194304 4196468 140721740531968 140031122979568 140032187189890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30356] ppid=30342 vsize=15144776 memory=140342924035712 CPUtime=0.02 cores=1,3,5,7
/proc/30344/task/30356/stat : 30356 (java) S 30342 30342 29601 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 475403244 15508250624 7268 33554432000 4194304 4196468 140721740531968 140031121926768 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30357] ppid=30342 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30357/stat : 30357 (java) S 30342 30342 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475403244 15508250624 7268 33554432000 4194304 4196468 140721740531968 140031120874208 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30358] ppid=30342 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30358/stat : 30358 (java) S 30342 30342 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403244 15508250624 7268 33554432000 4194304 4196468 140721740531968 140031119821488 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30260 KiB
[startup+0.212167 s]*
/proc/loadavg: 2.33 1.06 1.04 8/233 30358
/proc/meminfo: memFree=10168308/32770624 swapFree=66998164/67108860
[pid=30342] ppid=30339 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30342/stat : 30342 (xcsp3-exec) S 30339 30342 29601 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475403238 115843072 363 33554432000 4194304 5098028 140724081321680 140724081319784 140201260298876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9228288 140724081324922 140724081325165 140724081325165 140724081328074 0
/proc/30342/statm: 28282 363 304 221 0 87 0
[pid=30344] ppid=30342 vsize=15144776 memory=40596 CPUtime=0.34 cores=1,3,5,7
/proc/30344/stat : 30344 (java) S 30342 30342 29601 0 -1 1077944320 9358 0 0 0 32 2 0 0 20 0 15 0 475403238 15508250624 10149 33554432000 4194304 4196468 140721740531968 140721740514512 140032187178743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
/proc/30344/statm: 3786194 10149 3319 1 0 3748377 0
[pid=30344/tid=30345] ppid=30342 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/30344/task/30345/stat : 30345 (java) R 30342 30342 29601 0 -1 4202560 6611 0 0 0 19 1 0 0 20 0 15 0 475403238 15508250624 10149 33554432000 4194304 4196468 140721740531968 140032191412480 140032171259230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30346] ppid=30342 vsize=15144776 memory=2669799 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30346/stat : 30346 (java) S 30342 30342 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403239 15508250624 10149 33554432000 4194304 4196468 140721740531968 140032115219600 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30347] ppid=30342 vsize=15144776 memory=140342924064857 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30347/stat : 30347 (java) S 30342 30342 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403239 15508250624 10149 33554432000 4194304 4196468 140721740531968 140032114166800 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30348] ppid=30342 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30348/stat : 30348 (java) S 30342 30342 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403239 15508250624 10149 33554432000 4194304 4196468 140721740531968 140032113114000 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30349] ppid=30342 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30349/stat : 30349 (java) S 30342 30342 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403239 15508250624 10149 33554432000 4194304 4196468 140721740531968 140032112061200 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30350] ppid=30342 vsize=15144776 memory=140342924035712 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30350/stat : 30350 (java) S 30342 30342 29601 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475403241 15508250624 10149 33554432000 4194304 4196468 140721740531968 140031128242544 140032187189890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30351] ppid=30342 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30351/stat : 30351 (java) S 30342 30342 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475403241 15508250624 10149 33554432000 4194304 4196468 140721740531968 140031127188512 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30352] ppid=30342 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30352/stat : 30352 (java) S 30342 30342 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475403241 15508250624 10149 33554432000 4194304 4196468 140721740531968 140031126135664 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30353] ppid=30342 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30353/stat : 30353 (java) S 30342 30342 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475403244 15508250624 10149 33554432000 4194304 4196468 140721740531968 140031125083984 140032187197339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30354] ppid=30342 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30344/task/30354/stat : 30354 (java) S 30342 30342 29601 0 -1 1077944384 472 0 0 0 3 0 0 0 20 0 15 0 475403244 15508250624 10149 33554432000 4194304 4196468 140721740531968 140031124032368 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30355] ppid=30342 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30344/task/30355/stat : 30355 (java) S 30342 30342 29601 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 15 0 475403244 15508250624 10149 33554432000 4194304 4196468 140721740531968 140031122979568 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30356] ppid=30342 vsize=15144776 memory=140342924035712 CPUtime=0.08 cores=1,3,5,7
/proc/30344/task/30356/stat : 30356 (java) R 30342 30342 29601 0 -1 4202560 805 0 0 0 8 0 0 0 20 0 15 0 475403244 15508250624 10149 33554432000 4194304 4196468 140721740531968 140031121926768 140032166148527 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30357] ppid=30342 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30357/stat : 30357 (java) S 30342 30342 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475403244 15508250624 10149 33554432000 4194304 4196468 140721740531968 140031120874208 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30358] ppid=30342 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30358/stat : 30358 (java) S 30342 30342 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403244 15508250624 10149 33554432000 4194304 4196468 140721740531968 140031119821488 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42048 KiB
[startup+0.310533 s]*
/proc/loadavg: 2.33 1.06 1.04 11/233 30358
/proc/meminfo: memFree=10160356/32770624 swapFree=66998164/67108860
[pid=30342] ppid=30339 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30342/stat : 30342 (xcsp3-exec) S 30339 30342 29601 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475403238 115843072 363 33554432000 4194304 5098028 140724081321680 140724081319784 140201260298876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9228288 140724081324922 140724081325165 140724081325165 140724081328074 0
/proc/30342/statm: 28282 363 304 221 0 87 0
[pid=30344] ppid=30342 vsize=15149032 memory=50192 CPUtime=0.53 cores=1,3,5,7
/proc/30344/stat : 30344 (java) S 30342 30342 29601 0 -1 1077944320 10863 0 0 0 50 3 0 0 20 0 15 0 475403238 15512608768 12548 33554432000 4194304 4196468 140721740531968 140721740514512 140032187178743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
/proc/30344/statm: 3787258 12548 3372 1 0 3748377 0
[pid=30344/tid=30345] ppid=30342 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/30344/task/30345/stat : 30345 (java) R 30342 30342 29601 0 -1 4202560 7801 0 0 0 28 2 0 0 20 0 15 0 475403238 15512608768 12548 33554432000 4194304 4196468 140721740531968 140032191413584 140032171259230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30346] ppid=30342 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30346/stat : 30346 (java) S 30342 30342 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403239 15512608768 12548 33554432000 4194304 4196468 140721740531968 140032115219600 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30347] ppid=30342 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30347/stat : 30347 (java) S 30342 30342 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403239 15512608768 12548 33554432000 4194304 4196468 140721740531968 140032114166800 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30348] ppid=30342 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30348/stat : 30348 (java) S 30342 30342 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403239 15512608768 12548 33554432000 4194304 4196468 140721740531968 140032113114000 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30349] ppid=30342 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30349/stat : 30349 (java) S 30342 30342 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403239 15512608768 12548 33554432000 4194304 4196468 140721740531968 140032112061200 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30350] ppid=30342 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30350/stat : 30350 (java) S 30342 30342 29601 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475403241 15512608768 12548 33554432000 4194304 4196468 140721740531968 140031128242544 140032187189890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30351] ppid=30342 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30351/stat : 30351 (java) S 30342 30342 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475403241 15512608768 12548 33554432000 4194304 4196468 140721740531968 140031127188512 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30352] ppid=30342 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30352/stat : 30352 (java) S 30342 30342 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475403241 15512608768 12548 33554432000 4194304 4196468 140721740531968 140031126135664 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30353] ppid=30342 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30353/stat : 30353 (java) S 30342 30342 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475403244 15512608768 12548 33554432000 4194304 4196468 140721740531968 140031125083984 140032187197339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30354] ppid=30342 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/30344/task/30354/stat : 30354 (java) S 30342 30342 29601 0 -1 1077944384 475 0 0 0 4 0 0 0 20 0 15 0 475403244 15512608768 12548 33554432000 4194304 4196468 140721740531968 140031124032368 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30355] ppid=30342 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30344/task/30355/stat : 30355 (java) S 30342 30342 29601 0 -1 1077944384 312 0 0 0 4 0 0 0 20 0 15 0 475403244 15512608768 12548 33554432000 4194304 4196468 140721740531968 140031122979568 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30356] ppid=30342 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30344/task/30356/stat : 30356 (java) S 30342 30342 29601 0 -1 1077944384 975 0 0 0 12 0 0 0 20 0 15 0 475403244 15512608768 12548 33554432000 4194304 4196468 140721740531968 140031121926768 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30357] ppid=30342 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30357/stat : 30357 (java) S 30342 30342 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475403244 15512608768 12548 33554432000 4194304 4196468 140721740531968 140031120874208 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30358] ppid=30342 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30358/stat : 30358 (java) S 30342 30342 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403244 15512608768 12548 33554432000 4194304 4196468 140721740531968 140031119821488 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51644 KiB
[startup+0.702273 s]
/proc/loadavg: 2.33 1.06 1.04 7/238 30395
/proc/meminfo: memFree=10072000/32770624 swapFree=66998164/67108860
[pid=30342] ppid=30339 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30342/stat : 30342 (xcsp3-exec) S 30339 30342 29601 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475403238 115843072 363 33554432000 4194304 5098028 140724081321680 140724081319784 140201260298876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9228288 140724081324922 140724081325165 140724081325165 140724081328074 0
/proc/30342/statm: 28282 363 304 221 0 87 0
[pid=30344] ppid=30342 vsize=15750232 memory=191980 CPUtime=1.66 cores=1,3,5,7
/proc/30344/stat : 30344 (java) S 30342 30342 29601 0 -1 1077944320 19285 0 0 0 156 10 0 0 20 0 19 0 475403238 16128237568 47995 33554432000 4194304 4196468 140721740531968 140721740514512 140032187178743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
/proc/30344/statm: 3937558 47995 3482 1 0 3898658 0
[pid=30344/tid=30345] ppid=30342 vsize=15750232 memory=280685642319504 CPUtime=0.45 cores=1,3,5,7
/proc/30344/task/30345/stat : 30345 (java) S 30342 30342 29601 0 -1 1077944384 9041 0 0 0 42 3 0 0 20 0 19 0 475403238 16128237568 47995 33554432000 4194304 4196468 140721740531968 140032191419520 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30346] ppid=30342 vsize=15750232 memory=-3831251742559211316 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30346/stat : 30346 (java) S 30342 30342 29601 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475403239 16128237568 47995 33554432000 4194304 4196468 140721740531968 140032115219600 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30347] ppid=30342 vsize=15750232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30347/stat : 30347 (java) S 30342 30342 29601 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 475403239 16128237568 47995 33554432000 4194304 4196468 140721740531968 140032114166800 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30348] ppid=30342 vsize=15750232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30348/stat : 30348 (java) S 30342 30342 29601 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 475403239 16128237568 47995 33554432000 4194304 4196468 140721740531968 140032113114000 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30349] ppid=30342 vsize=15750232 memory=772 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30349/stat : 30349 (java) S 30342 30342 29601 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 475403239 16128237568 47995 33554432000 4194304 4196468 140721740531968 140032112061200 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30350] ppid=30342 vsize=15750232 memory=3648 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30350/stat : 30350 (java) S 30342 30342 29601 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475403241 16128237568 47995 33554432000 4194304 4196468 140721740531968 140031128242544 140032187189890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30351] ppid=30342 vsize=15750232 memory=948 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30351/stat : 30351 (java) S 30342 30342 29601 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475403241 16128237568 47995 33554432000 4194304 4196468 140721740531968 140031127188576 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30352] ppid=30342 vsize=15750232 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30352/stat : 30352 (java) S 30342 30342 29601 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475403241 16128237568 47995 33554432000 4194304 4196468 140721740531968 140031126135680 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30353] ppid=30342 vsize=15750232 memory=9492 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30353/stat : 30353 (java) S 30342 30342 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475403244 16128237568 47995 33554432000 4194304 4196468 140721740531968 140031125083984 140032187197339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30354] ppid=30342 vsize=15750232 memory=1548 CPUtime=0.24 cores=1,3,5,7
/proc/30344/task/30354/stat : 30354 (java) R 30342 30342 29601 0 -1 4202560 1594 0 0 0 24 0 0 0 20 0 19 0 475403244 16128237568 47995 33554432000 4194304 4196468 140721740531968 140031124014168 140032170664731 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30355] ppid=30342 vsize=15750232 memory=628 CPUtime=0.27 cores=1,3,5,7
/proc/30344/task/30355/stat : 30355 (java) R 30342 30342 29601 0 -1 4202560 1442 0 0 0 27 0 0 0 20 0 19 0 475403244 16128237568 47995 33554432000 4194304 4196468 140721740531968 140031122965592 140032170736088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30356] ppid=30342 vsize=15750232 memory=1056 CPUtime=0.31 cores=1,3,5,7
/proc/30344/task/30356/stat : 30356 (java) R 30342 30342 29601 0 -1 1077944384 1972 0 0 0 30 1 0 0 20 0 19 0 475403244 16128237568 47995 33554432000 4194304 4196468 140721740531968 140031121926768 140032187189890 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30357] ppid=30342 vsize=15750232 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30357/stat : 30357 (java) S 30342 30342 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475403244 16128237568 47995 33554432000 4194304 4196468 140721740531968 140031120874208 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30358] ppid=30342 vsize=15750232 memory=6048 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30358/stat : 30358 (java) S 30342 30342 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475403244 16128237568 47995 33554432000 4194304 4196468 140721740531968 140031119821488 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15863360 KiB
Current children cumulated memory: 193432 KiB
[startup+1.50127 s]
/proc/loadavg: 2.33 1.06 1.04 12/237 30598
/proc/meminfo: memFree=10009224/32770624 swapFree=66998164/67108860
[pid=30342] ppid=30339 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30342/stat : 30342 (xcsp3-exec) S 30339 30342 29601 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475403238 115843072 363 33554432000 4194304 5098028 140724081321680 140724081319784 140201260298876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9228288 140724081324922 140724081325165 140724081325165 140724081328074 0
/proc/30342/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/30344/task/30358/stat : 30358 (java) S 30342 30342 29601 0 -1 1077944384 1172 0 0 0 0 0 0 0 20 0 19 0 475403244 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031119821488 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30623] ppid=30342 vsize=15750232 memory=0 CPUtime=8.99 cores=1,3,5,7
/proc/30344/task/30623/stat : 30623 (java) R 30342 30342 29601 0 -1 4202560 75 0 0 0 899 0 0 0 20 0 19 0 475403407 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031110839192 140031792443681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30624] ppid=30342 vsize=15750232 memory=0 CPUtime=8.75 cores=1,3,5,7
/proc/30344/task/30624/stat : 30624 (java) R 30342 30342 29601 0 -1 4202560 446 0 0 0 874 1 0 0 20 0 19 0 475403407 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031107681736 140031793335229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30625] ppid=30342 vsize=15750232 memory=8996 CPUtime=8.85 cores=1,3,5,7
/proc/30344/task/30625/stat : 30625 (java) R 30342 30342 29601 0 -1 4202560 462 0 0 0 885 0 0 0 20 0 19 0 475403407 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031108734488 140031793354039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30626] ppid=30342 vsize=15750232 memory=6943526294502006880 CPUtime=8.85 cores=1,3,5,7
/proc/30344/task/30626/stat : 30626 (java) R 30342 30342 29601 0 -1 4202560 522 0 0 0 882 3 0 0 20 0 19 0 475403407 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031104524688 140032168585042 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
Current children cumulated CPU time: 44.42 s
Current children cumulated vsize: 15863360 KiB
Current children cumulated memory: 620820 KiB
[startup+11.9013 s]
/proc/loadavg: 3.21 1.29 1.11 13/237 31482
/proc/meminfo: memFree=9519416/32770624 swapFree=66998164/67108860
[pid=30342] ppid=30339 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30342/stat : 30342 (xcsp3-exec) S 30339 30342 29601 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475403238 115843072 363 33554432000 4194304 5098028 140724081321680 140724081319784 140201260298876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9228288 140724081324922 140724081325165 140724081325165 140724081328074 0
/proc/30342/statm: 28282 363 304 221 0 87 0
[pid=30344] ppid=30342 vsize=15750232 memory=619368 CPUtime=46.02 cores=1,3,5,7
/proc/30344/stat : 30344 (java) S 30342 30342 29601 0 -1 1077944320 41850 0 0 0 4581 21 0 0 20 0 19 0 475403238 16128237568 154842 33554432000 4194304 4196468 140721740531968 140721740514512 140032187178743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
/proc/30344/statm: 3937558 154842 3516 1 0 3898658 0
[pid=30344/tid=30345] ppid=30342 vsize=15750232 memory=288230376155066355 CPUtime=0.45 cores=1,3,5,7
/proc/30344/task/30345/stat : 30345 (java) S 30342 30342 29601 0 -1 1077944384 9041 0 0 0 42 3 0 0 20 0 19 0 475403238 16128237568 154842 33554432000 4194304 4196468 140721740531968 140032191419520 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30346] ppid=30342 vsize=15750232 memory=3832904355674350269 CPUtime=0.01 cores=1,3,5,7
/proc/30344/task/30346/stat : 30346 (java) S 30342 30342 29601 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 19 0 475403239 16128237568 154842 33554432000 4194304 4196468 140721740531968 140032115219600 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30347] ppid=30342 vsize=15750232 memory=8514726395715349656 CPUtime=0.01 cores=1,3,5,7
/proc/30344/task/30347/stat : 30347 (java) S 30342 30342 29601 0 -1 1077944384 447 0 0 0 1 0 0 0 20 0 19 0 475403239 16128237568 154842 33554432000 4194304 4196468 140721740531968 140032114166800 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30348] ppid=30342 vsize=15750232 memory=3047711553320166262 CPUtime=0.02 cores=1,3,5,7
/proc/30344/task/30348/stat : 30348 (java) S 30342 30342 29601 0 -1 1077944384 78 0 0 0 1 1 0 0 20 0 19 0 475403239 16128237568 154842 33554432000 4194304 4196468 140721740531968 140032113114000 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30349] ppid=30342 vsize=15750232 memory=7824336315716348491 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30349/stat : 30349 (java) S 30342 30342 29601 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 475403239 16128237568 154842 33554432000 4194304 4196468 140721740531968 140032112061200 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30350] ppid=30342 vsize=15750232 memory=-8412652169205224307 CPUtime=0.01 cores=1,3,5,7
/proc/30344/task/30350/stat : 30350 (java) S 30342 30342 29601 0 -1 1077944384 658 0 0 0 1 0 0 0 20 0 19 0 475403241 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031128242544 140032187189890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30351] ppid=30342 vsize=15750232 memory=8097583602991130213 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30351/stat : 30351 (java) S 30342 30342 29601 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475403241 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031127188576 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30352] ppid=30342 vsize=15750232 memory=7522809561873736275 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30352/stat : 30352 (java) S 30342 30342 29601 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475403241 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031126135680 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30353] ppid=30342 vsize=15750232 memory=7595998549115561554 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30353/stat : 30353 (java) S 30342 30342 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475403244 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031125083984 140032187197339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30354] ppid=30342 vsize=15750232 memory=7740115923427681386 CPUtime=2.45 cores=1,3,5,7
/proc/30344/task/30354/stat : 30354 (java) S 30342 30342 29601 0 -1 1077944384 8524 0 0 0 244 1 0 0 20 0 19 0 475403244 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031124032368 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30355] ppid=30342 vsize=15750232 memory=7811549900966227553 CPUtime=2.33 cores=1,3,5,7
/proc/30344/task/30355/stat : 30355 (java) S 30342 30342 29601 0 -1 1077944384 9117 0 0 0 232 1 0 0 20 0 19 0 475403244 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031122979568 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30356] ppid=30342 vsize=15750232 memory=1548 CPUtime=0.5 cores=1,3,5,7
/proc/30344/task/30356/stat : 30356 (java) S 30342 30342 29601 0 -1 1077944384 4831 0 0 0 49 1 0 0 20 0 19 0 475403244 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031121926768 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30357] ppid=30342 vsize=15750232 memory=628 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30357/stat : 30357 (java) S 30342 30342 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475403244 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031120874208 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30358] ppid=30342 vsize=15750232 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30358/stat : 30358 (java) S 30342 30342 29601 0 -1 1077944384 1172 0 0 0 0 0 0 0 20 0 19 0 475403244 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031119821488 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30623] ppid=30342 vsize=15750232 memory=1720 CPUtime=9.37 cores=1,3,5,7
/proc/30344/task/30623/stat : 30623 (java) R 30342 30342 29601 0 -1 4202560 75 0 0 0 937 0 0 0 20 0 19 0 475403407 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031110839192 140031793354025 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30624] ppid=30342 vsize=15750232 memory=6048 CPUtime=9.15 cores=1,3,5,7
/proc/30344/task/30624/stat : 30624 (java) R 30342 30342 29601 0 -1 4202560 446 0 0 0 914 1 0 0 20 0 19 0 475403407 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031107681736 140031793141586 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30625] ppid=30342 vsize=15750232 memory=14012 CPUtime=9.25 cores=1,3,5,7
/proc/30344/task/30625/stat : 30625 (java) R 30342 30342 29601 0 -1 4202560 462 0 0 0 925 0 0 0 20 0 19 0 475403407 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031108734488 140031793388133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30626] ppid=30342 vsize=15750232 memory=2116 CPUtime=9.25 cores=1,3,5,7
/proc/30344/task/30626/stat : 30626 (java) R 30342 30342 29601 0 -1 4202560 522 0 0 0 922 3 0 0 20 0 19 0 475403407 16128237568 154842 33554432000 4194304 4196468 140721740531968 140031104524688 140031792011891 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
Current children cumulated CPU time: 46.02 s
Current children cumulated vsize: 15863360 KiB
Current children cumulated memory: 620820 KiB
[startup+12.3013 s]*
/proc/loadavg: 3.21 1.29 1.11 12/237 31565
/proc/meminfo: memFree=9485232/32770624 swapFree=66998164/67108860
[pid=30342] ppid=30339 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30342/stat : 30342 (xcsp3-exec) S 30339 30342 29601 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475403238 115843072 363 33554432000 4194304 5098028 140724081321680 140724081319784 140201260298876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9228288 140724081324922 140724081325165 140724081325165 140724081328074 0
/proc/30342/statm: 28282 363 304 221 0 87 0
[pid=30344] ppid=30342 vsize=15750232 memory=619872 CPUtime=47.64 cores=1,3,5,7
/proc/30344/stat : 30344 (java) S 30342 30342 29601 0 -1 1077944320 42024 0 0 0 4742 22 0 0 20 0 19 0 475403238 16128237568 154968 33554432000 4194304 4196468 140721740531968 140721740514512 140032187178743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
/proc/30344/statm: 3937558 154968 3516 1 0 3898658 0
[pid=30344/tid=30345] ppid=30342 vsize=15750232 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/30344/task/30345/stat : 30345 (java) S 30342 30342 29601 0 -1 1077944384 9041 0 0 0 42 3 0 0 20 0 19 0 475403238 16128237568 154968 33554432000 4194304 4196468 140721740531968 140032191419520 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30346] ppid=30342 vsize=15750232 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30344/task/30346/stat : 30346 (java) S 30342 30342 29601 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 19 0 475403239 16128237568 154968 33554432000 4194304 4196468 140721740531968 140032115219600 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30347] ppid=30342 vsize=15750232 memory=140342924035712 CPUtime=0.01 cores=1,3,5,7
/proc/30344/task/30347/stat : 30347 (java) S 30342 30342 29601 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 19 0 475403239 16128237568 154968 33554432000 4194304 4196468 140721740531968 140032114166800 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30348] ppid=30342 vsize=15750232 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30344/task/30348/stat : 30348 (java) S 30342 30342 29601 0 -1 1077944384 79 0 0 0 1 1 0 0 20 0 19 0 475403239 16128237568 154968 33554432000 4194304 4196468 140721740531968 140032113114000 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30349] ppid=30342 vsize=15750232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30349/stat : 30349 (java) S 30342 30342 29601 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 475403239 16128237568 154968 33554432000 4194304 4196468 140721740531968 140032112061200 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30350] ppid=30342 vsize=15750232 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30344/task/30350/stat : 30350 (java) S 30342 30342 29601 0 -1 1077944384 658 0 0 0 1 0 0 0 20 0 19 0 475403241 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031128242544 140032187189890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30351] ppid=30342 vsize=15750232 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30351/stat : 30351 (java) S 30342 30342 29601 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475403241 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031127188576 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30352] ppid=30342 vsize=15750232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30352/stat : 30352 (java) S 30342 30342 29601 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475403241 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031126135680 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30353] ppid=30342 vsize=15750232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30353/stat : 30353 (java) S 30342 30342 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475403244 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031125083984 140032187197339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30354] ppid=30342 vsize=15750232 memory=0 CPUtime=2.45 cores=1,3,5,7
/proc/30344/task/30354/stat : 30354 (java) S 30342 30342 29601 0 -1 1077944384 8524 0 0 0 244 1 0 0 20 0 19 0 475403244 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031124032368 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30355] ppid=30342 vsize=15750232 memory=-1 CPUtime=2.33 cores=1,3,5,7
/proc/30344/task/30355/stat : 30355 (java) S 30342 30342 29601 0 -1 1077944384 9117 0 0 0 232 1 0 0 20 0 19 0 475403244 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031122979568 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30356] ppid=30342 vsize=15750232 memory=140342924035712 CPUtime=0.5 cores=1,3,5,7
/proc/30344/task/30356/stat : 30356 (java) S 30342 30342 29601 0 -1 1077944384 4832 0 0 0 49 1 0 0 20 0 19 0 475403244 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031121926768 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30357] ppid=30342 vsize=15750232 memory=591436311683989635 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30357/stat : 30357 (java) S 30342 30342 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475403244 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031120874208 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30358] ppid=30342 vsize=15750232 memory=2670145 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30358/stat : 30358 (java) S 30342 30342 29601 0 -1 1077944384 1172 0 0 0 0 0 0 0 20 0 19 0 475403244 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031119821488 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30623] ppid=30342 vsize=15750232 memory=303484039349037671 CPUtime=9.78 cores=1,3,5,7
/proc/30344/task/30623/stat : 30623 (java) R 30342 30342 29601 0 -1 4202560 88 0 0 0 978 0 0 0 20 0 19 0 475403407 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031110839960 140031793076025 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30624] ppid=30342 vsize=15750232 memory=7378982317146793559 CPUtime=9.55 cores=1,3,5,7
/proc/30344/task/30624/stat : 30624 (java) R 30342 30342 29601 0 -1 4202560 494 0 0 0 954 1 0 0 20 0 19 0 475403407 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031107682704 140031794508084 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30625] ppid=30342 vsize=15750232 memory=7597685165708700012 CPUtime=9.64 cores=1,3,5,7
/proc/30344/task/30625/stat : 30625 (java) R 30342 30342 29601 0 -1 4202560 497 0 0 0 964 0 0 0 20 0 19 0 475403407 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031108737048 140031791570064 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30626] ppid=30342 vsize=15750232 memory=7016984709284520532 CPUtime=9.66 cores=1,3,5,7
/proc/30344/task/30626/stat : 30626 (java) R 30342 30342 29601 0 -1 4202560 595 0 0 0 963 3 0 0 20 0 19 0 475403407 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031104526768 140031794102309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
Current children cumulated CPU time: 47.64 s
Current children cumulated vsize: 15863360 KiB
Current children cumulated memory: 621324 KiB
[startup+12.4113 s]
/proc/loadavg: 3.21 1.29 1.11 12/237 31565
/proc/meminfo: memFree=9485232/32770624 swapFree=66998164/67108860
[pid=30342] ppid=30339 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30342/stat : 30342 (xcsp3-exec) S 30339 30342 29601 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475403238 115843072 363 33554432000 4194304 5098028 140724081321680 140724081319784 140201260298876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9228288 140724081324922 140724081325165 140724081325165 140724081328074 0
/proc/30342/statm: 28282 363 304 221 0 87 0
[pid=30344] ppid=30342 vsize=15750232 memory=619872 CPUtime=48.05 cores=1,3,5,7
/proc/30344/stat : 30344 (java) S 30342 30342 29601 0 -1 1077944320 42050 0 0 0 4783 22 0 0 20 0 19 0 475403238 16128237568 154968 33554432000 4194304 4196468 140721740531968 140721740514512 140032187178743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
/proc/30344/statm: 3937558 154968 3516 1 0 3898658 0
[pid=30344/tid=30345] ppid=30342 vsize=15750232 memory=1452 CPUtime=0.45 cores=1,3,5,7
/proc/30344/task/30345/stat : 30345 (java) S 30342 30342 29601 0 -1 1077944384 9041 0 0 0 42 3 0 0 20 0 19 0 475403238 16128237568 154968 33554432000 4194304 4196468 140721740531968 140032191419520 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30346] ppid=30342 vsize=15750232 memory=614244 CPUtime=0.01 cores=1,3,5,7
/proc/30344/task/30346/stat : 30346 (java) S 30342 30342 29601 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 19 0 475403239 16128237568 154968 33554432000 4194304 4196468 140721740531968 140032115219600 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30347] ppid=30342 vsize=15750232 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30344/task/30347/stat : 30347 (java) S 30342 30342 29601 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 19 0 475403239 16128237568 154968 33554432000 4194304 4196468 140721740531968 140032114166800 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30348] ppid=30342 vsize=15750232 memory=1 CPUtime=0.02 cores=1,3,5,7
/proc/30344/task/30348/stat : 30348 (java) S 30342 30342 29601 0 -1 1077944384 79 0 0 0 1 1 0 0 20 0 19 0 475403239 16128237568 154968 33554432000 4194304 4196468 140721740531968 140032113114000 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30349] ppid=30342 vsize=15750232 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30349/stat : 30349 (java) S 30342 30342 29601 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 475403239 16128237568 154968 33554432000 4194304 4196468 140721740531968 140032112061200 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30350] ppid=30342 vsize=15750232 memory=43464 CPUtime=0.01 cores=1,3,5,7
/proc/30344/task/30350/stat : 30350 (java) S 30342 30342 29601 0 -1 1077944384 658 0 0 0 1 0 0 0 20 0 19 0 475403241 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031128242544 140032187189890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30351] ppid=30342 vsize=15750232 memory=3472328296227679313 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30351/stat : 30351 (java) S 30342 30342 29601 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475403241 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031127188576 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30352] ppid=30342 vsize=15750232 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30352/stat : 30352 (java) S 30342 30342 29601 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475403241 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031126135680 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30353] ppid=30342 vsize=15750232 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30353/stat : 30353 (java) S 30342 30342 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475403244 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031125083984 140032187197339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30354] ppid=30342 vsize=15750232 memory=0 CPUtime=2.45 cores=1,3,5,7
/proc/30344/task/30354/stat : 30354 (java) S 30342 30342 29601 0 -1 1077944384 8524 0 0 0 244 1 0 0 20 0 19 0 475403244 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031124032368 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30355] ppid=30342 vsize=15750232 memory=288230617509003574 CPUtime=2.33 cores=1,3,5,7
/proc/30344/task/30355/stat : 30355 (java) S 30342 30342 29601 0 -1 1077944384 9117 0 0 0 232 1 0 0 20 0 19 0 475403244 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031122979568 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30356] ppid=30342 vsize=15750232 memory=14972261127948741 CPUtime=0.5 cores=1,3,5,7
/proc/30344/task/30356/stat : 30356 (java) S 30342 30342 29601 0 -1 1077944384 4853 0 0 0 49 1 0 0 20 0 19 0 475403244 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031121926768 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30357] ppid=30342 vsize=15750232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30357/stat : 30357 (java) S 30342 30342 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475403244 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031120874208 140032187188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30358] ppid=30342 vsize=15750232 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/30344/task/30358/stat : 30358 (java) S 30342 30342 29601 0 -1 1077944384 1172 0 0 0 0 0 0 0 20 0 19 0 475403244 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031119821488 140032187189890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30623] ppid=30342 vsize=15750232 memory=43464 CPUtime=9.88 cores=1,3,5,7
/proc/30344/task/30623/stat : 30623 (java) R 30342 30342 29601 0 -1 4202560 88 0 0 0 988 0 0 0 20 0 19 0 475403407 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031110839960 140031792059911 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30624] ppid=30342 vsize=15750232 memory=984 CPUtime=9.65 cores=1,3,5,7
/proc/30344/task/30624/stat : 30624 (java) R 30342 30342 29601 0 -1 4202560 494 0 0 0 964 1 0 0 20 0 19 0 475403407 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031107682592 140031793336138 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30625] ppid=30342 vsize=15750232 memory=2024 CPUtime=9.74 cores=1,3,5,7
/proc/30344/task/30625/stat : 30625 (java) R 30342 30342 29601 0 -1 4202560 501 0 0 0 974 0 0 0 20 0 19 0 475403407 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031108735192 140031793354042 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
[pid=30344/tid=30626] ppid=30342 vsize=15750232 memory=1452 CPUtime=9.76 cores=1,3,5,7
/proc/30344/task/30626/stat : 30626 (java) R 30342 30342 29601 0 -1 4202560 596 0 0 0 973 3 0 0 20 0 19 0 475403407 16128237568 154968 33554432000 4194304 4196468 140721740531968 140031104526768 140031794103369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32858112 140721740534767 140721740534938 140721740534938 140721740537807 0
Current children cumulated CPU time: 48.05 s
Current children cumulated vsize: 15863360 KiB
Current children cumulated memory: 621324 KiB
Child status: 0
Real time (s): 12.4743
CPU time (s): 48.2783
CPU user time (s): 48.0475
CPU system time (s): 0.230861
CPU usage (%): 387.021
Max. virtual memory (cumulated for all children) (KiB): 15865460
Max. memory (cumulated for all children) (KiB): 621324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.0475
system time used= 0.230861
maximum resident set size= 621416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43501
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= 4703
involuntary context switches= 1539
# summary of solver processes directly reported to runsolver:
# pid: 30342
# total CPU time (s): 48.2783
# total CPU user time (s): 48.0475
# total CPU system time (s): 0.230861
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.091409 second user time and 0.190406 second system time
The end