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 (13752 MiB free)
memory of node 1: 16384 MiB (12120 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406099-1569399830/watcher-4406099-1569399830 -o /tmp/evaluation-result-4406099-1569399830/solver-4406099-1569399830 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569392447-21328 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 674339674 HOME/instance-4406099-1569399830.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22462, runsolver pid=22459
[startup+0.100089 s]*
/proc/loadavg: 2.07 1.91 1.73 4/229 22478
/proc/meminfo: memFree=26477232/32770624 swapFree=66986412/67108860
[pid=22462] ppid=22459 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22462/stat : 22462 (xcsp3-exec) S 22459 22462 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516239560 115843072 362 33554432000 4194304 5098028 140722410623088 140722410621192 139636709810812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26648576 140722410632059 140722410632301 140722410632301 140722410635210 0
/proc/22462/statm: 28282 362 304 221 0 87 0
[pid=22464] ppid=22462 vsize=15144776 memory=29436 CPUtime=0.12 cores=0,2,4,6
/proc/22464/stat : 22464 (java) S 22462 22462 21297 0 -1 1077944320 5826 0 0 0 11 1 0 0 20 0 15 0 516239560 15508250624 7359 33554432000 4194304 4196468 140723871981296 140723871963840 140628692369143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
/proc/22464/statm: 3786194 7359 3120 1 0 3748377 0
[pid=22464/tid=22465] ppid=22462 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/22464/task/22465/stat : 22465 (java) R 22462 22462 21297 0 -1 4202560 3743 0 0 0 9 0 0 0 20 0 15 0 516239561 15508250624 7359 33554432000 4194304 4196468 140723871981296 140628696601936 140628692381078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22466] ppid=22462 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22466/stat : 22466 (java) S 22462 22462 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516239561 15508250624 7359 33554432000 4194304 4196468 140723871981296 140628644990096 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22467] ppid=22462 vsize=15144776 memory=140715469969239 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22467/stat : 22467 (java) S 22462 22462 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516239561 15508250624 7359 33554432000 4194304 4196468 140723871981296 140628643937296 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22468] ppid=22462 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22468/stat : 22468 (java) S 22462 22462 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516239561 15508250624 7359 33554432000 4194304 4196468 140723871981296 140628642884496 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22469] ppid=22462 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22469/stat : 22469 (java) S 22462 22462 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516239561 15508250624 7359 33554432000 4194304 4196468 140723871981296 140628641831696 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22470] ppid=22462 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22470/stat : 22470 (java) S 22462 22462 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516239563 15508250624 7359 33554432000 4194304 4196468 140723871981296 140627834915184 140628692380290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22471] ppid=22462 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22471/stat : 22471 (java) S 22462 22462 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516239563 15508250624 7359 33554432000 4194304 4196468 140723871981296 140627833861152 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22472] ppid=22462 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22472/stat : 22472 (java) S 22462 22462 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516239563 15508250624 7359 33554432000 4194304 4196468 140723871981296 140627631137648 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22473] ppid=22462 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22473/stat : 22473 (java) S 22462 22462 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516239566 15508250624 7359 33554432000 4194304 4196468 140723871981296 140627630085968 140628692387739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22474] ppid=22462 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22474/stat : 22474 (java) S 22462 22462 21297 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 516239566 15508250624 7359 33554432000 4194304 4196468 140723871981296 140627629034352 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22475] ppid=22462 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22475/stat : 22475 (java) S 22462 22462 21297 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 516239566 15508250624 7359 33554432000 4194304 4196468 140723871981296 140627627981552 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22476] ppid=22462 vsize=15144776 memory=140715466307200 CPUtime=0.02 cores=0,2,4,6
/proc/22464/task/22476/stat : 22476 (java) R 22462 22462 21297 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 15 0 516239566 15508250624 7359 33554432000 4194304 4196468 140723871981296 140627626928752 140628692381078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22477] ppid=22462 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22477/stat : 22477 (java) S 22462 22462 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516239566 15508250624 7359 33554432000 4194304 4196468 140723871981296 140627625876192 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22478] ppid=22462 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22478/stat : 22478 (java) S 22462 22462 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516239566 15508250624 7359 33554432000 4194304 4196468 140723871981296 140627624823472 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30884 KiB
[startup+0.214189 s]*
/proc/loadavg: 2.07 1.91 1.73 4/229 22478
/proc/meminfo: memFree=26466096/32770624 swapFree=66986412/67108860
[pid=22462] ppid=22459 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22462/stat : 22462 (xcsp3-exec) S 22459 22462 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516239560 115843072 362 33554432000 4194304 5098028 140722410623088 140722410621192 139636709810812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26648576 140722410632059 140722410632301 140722410632301 140722410635210 0
/proc/22462/statm: 28282 362 304 221 0 87 0
[pid=22464] ppid=22462 vsize=15144776 memory=40304 CPUtime=0.34 cores=0,2,4,6
/proc/22464/stat : 22464 (java) S 22462 22462 21297 0 -1 1077944320 9313 0 0 0 32 2 0 0 20 0 15 0 516239560 15508250624 10076 33554432000 4194304 4196468 140723871981296 140723871963840 140628692369143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
/proc/22464/statm: 3786194 10076 3305 1 0 3748377 0
[pid=22464/tid=22465] ppid=22462 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/22464/task/22465/stat : 22465 (java) R 22462 22462 21297 0 -1 4202560 6599 0 0 0 19 1 0 0 20 0 15 0 516239561 15508250624 10076 33554432000 4194304 4196468 140723871981296 140628696604128 140628692391069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22466] ppid=22462 vsize=15144776 memory=1898158 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22466/stat : 22466 (java) S 22462 22462 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516239561 15508250624 10076 33554432000 4194304 4196468 140723871981296 140628644990096 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22467] ppid=22462 vsize=15144776 memory=3689206947110074016 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22467/stat : 22467 (java) S 22462 22462 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516239561 15508250624 10076 33554432000 4194304 4196468 140723871981296 140628643937296 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22468] ppid=22462 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22468/stat : 22468 (java) S 22462 22462 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516239561 15508250624 10076 33554432000 4194304 4196468 140723871981296 140628642884496 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22469] ppid=22462 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22469/stat : 22469 (java) S 22462 22462 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516239561 15508250624 10076 33554432000 4194304 4196468 140723871981296 140628641831696 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22470] ppid=22462 vsize=15144776 memory=140715466307200 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22470/stat : 22470 (java) S 22462 22462 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516239563 15508250624 10076 33554432000 4194304 4196468 140723871981296 140627834915184 140628692380290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22471] ppid=22462 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22471/stat : 22471 (java) S 22462 22462 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516239563 15508250624 10076 33554432000 4194304 4196468 140723871981296 140627833861152 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22472] ppid=22462 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22472/stat : 22472 (java) S 22462 22462 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516239563 15508250624 10076 33554432000 4194304 4196468 140723871981296 140627631137648 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22473] ppid=22462 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22473/stat : 22473 (java) S 22462 22462 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516239566 15508250624 10076 33554432000 4194304 4196468 140723871981296 140627630085968 140628692387739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22474] ppid=22462 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22464/task/22474/stat : 22474 (java) S 22462 22462 21297 0 -1 1077944384 475 0 0 0 3 0 0 0 20 0 15 0 516239566 15508250624 10076 33554432000 4194304 4196468 140723871981296 140627629034352 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22475] ppid=22462 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22464/task/22475/stat : 22475 (java) S 22462 22462 21297 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 15 0 516239566 15508250624 10076 33554432000 4194304 4196468 140723871981296 140627627981552 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22476] ppid=22462 vsize=15144776 memory=140715466307200 CPUtime=0.07 cores=0,2,4,6
/proc/22464/task/22476/stat : 22476 (java) S 22462 22462 21297 0 -1 1077944384 768 0 0 0 7 0 0 0 20 0 15 0 516239566 15508250624 10076 33554432000 4194304 4196468 140723871981296 140627626928752 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22477] ppid=22462 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22477/stat : 22477 (java) S 22462 22462 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516239566 15508250624 10076 33554432000 4194304 4196468 140723871981296 140627625876192 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22478] ppid=22462 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22478/stat : 22478 (java) S 22462 22462 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516239566 15508250624 10076 33554432000 4194304 4196468 140723871981296 140627624823472 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41752 KiB
[startup+0.310571 s]*
/proc/loadavg: 2.07 1.91 1.73 3/229 22478
/proc/meminfo: memFree=26458092/32770624 swapFree=66986412/67108860
[pid=22462] ppid=22459 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22462/stat : 22462 (xcsp3-exec) S 22459 22462 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516239560 115843072 362 33554432000 4194304 5098028 140722410623088 140722410621192 139636709810812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26648576 140722410632059 140722410632301 140722410632301 140722410635210 0
/proc/22462/statm: 28282 362 304 221 0 87 0
[pid=22464] ppid=22462 vsize=15149032 memory=49680 CPUtime=0.53 cores=0,2,4,6
/proc/22464/stat : 22464 (java) S 22462 22462 21297 0 -1 1077944320 10763 0 0 0 49 4 0 0 20 0 15 0 516239560 15512608768 12420 33554432000 4194304 4196468 140723871981296 140723871963840 140628692369143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
/proc/22464/statm: 3787258 12420 3357 1 0 3748377 0
[pid=22464/tid=22465] ppid=22462 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/22464/task/22465/stat : 22465 (java) R 22462 22462 21297 0 -1 4202560 7746 0 0 0 27 2 0 0 20 0 15 0 516239561 15512608768 12420 33554432000 4194304 4196468 140723871981296 140628696600256 140628676449630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22466] ppid=22462 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22466/stat : 22466 (java) S 22462 22462 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516239561 15512608768 12420 33554432000 4194304 4196468 140723871981296 140628644990096 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22467] ppid=22462 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22467/stat : 22467 (java) S 22462 22462 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516239561 15512608768 12420 33554432000 4194304 4196468 140723871981296 140628643937296 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22468] ppid=22462 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22468/stat : 22468 (java) S 22462 22462 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516239561 15512608768 12420 33554432000 4194304 4196468 140723871981296 140628642884496 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22469] ppid=22462 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22469/stat : 22469 (java) S 22462 22462 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516239561 15512608768 12420 33554432000 4194304 4196468 140723871981296 140628641831696 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22470] ppid=22462 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22470/stat : 22470 (java) S 22462 22462 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516239563 15512608768 12420 33554432000 4194304 4196468 140723871981296 140627834915184 140628692380290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22471] ppid=22462 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22471/stat : 22471 (java) S 22462 22462 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516239563 15512608768 12420 33554432000 4194304 4196468 140723871981296 140627833861152 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22472] ppid=22462 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22472/stat : 22472 (java) S 22462 22462 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516239563 15512608768 12420 33554432000 4194304 4196468 140723871981296 140627631137648 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22473] ppid=22462 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22473/stat : 22473 (java) S 22462 22462 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516239566 15512608768 12420 33554432000 4194304 4196468 140723871981296 140627630085968 140628692387739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22474] ppid=22462 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/22464/task/22474/stat : 22474 (java) S 22462 22462 21297 0 -1 1077944384 484 0 0 0 4 0 0 0 20 0 15 0 516239566 15512608768 12420 33554432000 4194304 4196468 140723871981296 140627629034352 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22475] ppid=22462 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22464/task/22475/stat : 22475 (java) R 22462 22462 21297 0 -1 4202560 305 0 0 0 4 0 0 0 20 0 15 0 516239566 15512608768 12420 33554432000 4194304 4196468 140723871981296 140627627962568 140628673893365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22476] ppid=22462 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22464/task/22476/stat : 22476 (java) S 22462 22462 21297 0 -1 1077944384 926 0 0 0 12 0 0 0 20 0 15 0 516239566 15512608768 12420 33554432000 4194304 4196468 140723871981296 140627626928752 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22477] ppid=22462 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22477/stat : 22477 (java) S 22462 22462 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516239566 15512608768 12420 33554432000 4194304 4196468 140723871981296 140627625876192 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22478] ppid=22462 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22478/stat : 22478 (java) S 22462 22462 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516239566 15512608768 12420 33554432000 4194304 4196468 140723871981296 140627624823472 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51128 KiB
[startup+0.701135 s]
/proc/loadavg: 2.07 1.91 1.73 4/229 22478
/proc/meminfo: memFree=26446580/32770624 swapFree=66986412/67108860
[pid=22462] ppid=22459 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22462/stat : 22462 (xcsp3-exec) S 22459 22462 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516239560 115843072 362 33554432000 4194304 5098028 140722410623088 140722410621192 139636709810812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26648576 140722410632059 140722410632301 140722410632301 140722410635210 0
/proc/22462/statm: 28282 362 304 221 0 87 0
[pid=22464] ppid=22462 vsize=15151156 memory=81260 CPUtime=1.55 cores=0,2,4,6
/proc/22464/stat : 22464 (java) S 22462 22462 21297 0 -1 1077944320 17651 0 0 0 150 5 0 0 20 0 15 0 516239560 15514783744 20315 33554432000 4194304 4196468 140723871981296 140723871963840 140628692369143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
/proc/22464/statm: 3787789 20315 3446 1 0 3748889 0
[pid=22464/tid=22465] ppid=22462 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/22464/task/22465/stat : 22465 (java) R 22462 22462 21297 0 -1 4202560 9108 0 0 0 64 3 0 0 20 0 15 0 516239561 15514783744 20315 33554432000 4194304 4196468 140723871981296 140628696607064 140628322679670 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22466] ppid=22462 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22466/stat : 22466 (java) S 22462 22462 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516239561 15514783744 20315 33554432000 4194304 4196468 140723871981296 140628644990096 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22467] ppid=22462 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22467/stat : 22467 (java) S 22462 22462 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516239561 15514783744 20315 33554432000 4194304 4196468 140723871981296 140628643937296 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22468] ppid=22462 vsize=15151156 memory=692 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22468/stat : 22468 (java) S 22462 22462 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516239561 15514783744 20315 33554432000 4194304 4196468 140723871981296 140628642884496 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22469] ppid=22462 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22469/stat : 22469 (java) S 22462 22462 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516239561 15514783744 20315 33554432000 4194304 4196468 140723871981296 140628641831696 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22470] ppid=22462 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22470/stat : 22470 (java) S 22462 22462 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516239563 15514783744 20315 33554432000 4194304 4196468 140723871981296 140627834915184 140628692380290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22471] ppid=22462 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22471/stat : 22471 (java) S 22462 22462 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516239563 15514783744 20315 33554432000 4194304 4196468 140723871981296 140627833861152 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22472] ppid=22462 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22472/stat : 22472 (java) S 22462 22462 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516239563 15514783744 20315 33554432000 4194304 4196468 140723871981296 140627631137648 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22473] ppid=22462 vsize=15151156 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22473/stat : 22473 (java) S 22462 22462 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516239566 15514783744 20315 33554432000 4194304 4196468 140723871981296 140627630085968 140628692387739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22474] ppid=22462 vsize=15151156 memory=6208 CPUtime=0.26 cores=0,2,4,6
/proc/22464/task/22474/stat : 22474 (java) R 22462 22462 21297 0 -1 4202560 2903 0 0 0 26 0 0 0 20 0 15 0 516239566 15514783744 20315 33554432000 4194304 4196468 140723871981296 140627629019848 140628673913705 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22475] ppid=22462 vsize=15151156 memory=7552 CPUtime=0.28 cores=0,2,4,6
/proc/22464/task/22475/stat : 22475 (java) R 22462 22462 21297 0 -1 4202560 2450 0 0 0 28 0 0 0 20 0 15 0 516239566 15514783744 20315 33554432000 4194304 4196468 140723871981296 140627627966216 140628677484189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22476] ppid=22462 vsize=15151156 memory=2832 CPUtime=0.31 cores=0,2,4,6
/proc/22464/task/22476/stat : 22476 (java) S 22462 22462 21297 0 -1 1077944384 1884 0 0 0 31 0 0 0 20 0 15 0 516239566 15514783744 20315 33554432000 4194304 4196468 140723871981296 140627626928752 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22477] ppid=22462 vsize=15151156 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22477/stat : 22477 (java) S 22462 22462 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516239566 15514783744 20315 33554432000 4194304 4196468 140723871981296 140627625876192 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22478] ppid=22462 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22478/stat : 22478 (java) S 22462 22462 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516239566 15514783744 20315 33554432000 4194304 4196468 140723871981296 140627624823472 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 82708 KiB
[startup+1.5008 s]
/proc/loadavg: 2.07 1.91 1.73 5/229 22478
/proc/meminfo: memFree=26418680/32770624 swapFree=66986412/67108860
[pid=22462] ppid=22459 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22462/stat : 22462 (xcsp3-exec) S 22459 22462 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516239560 115843072 362 33554432000 4194304 5098028 140722410623088 140722410621192 139636709810812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26648576 140722410632059 140722410632301 140722410632301 140722410635210 0
/proc/22462/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/22462/stat : 22462 (xcsp3-exec) S 22459 22462 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516239560 115843072 362 33554432000 4194304 5098028 140722410623088 140722410621192 139636709810812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26648576 140722410632059 140722410632301 140722410632301 140722410635210 0
/proc/22462/statm: 28282 362 304 221 0 87 0
[pid=22464] ppid=22462 vsize=15151156 memory=210752 CPUtime=168.74 cores=0,2,4,6
/proc/22464/stat : 22464 (java) S 22462 22462 21297 0 -1 1077944320 47230 0 0 0 16860 14 0 0 20 0 15 0 516239560 15514783744 52688 33554432000 4194304 4196468 140723871981296 140723871963840 140628692369143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
/proc/22464/statm: 3787789 52688 3499 1 0 3748889 0
[pid=22464/tid=22465] ppid=22462 vsize=15151156 memory=0 CPUtime=164.71 cores=0,2,4,6
/proc/22464/task/22465/stat : 22465 (java) R 22462 22462 21297 0 -1 4202560 13761 0 0 0 16465 6 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628696608960 140628322679693 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22466] ppid=22462 vsize=15151156 memory=1 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22466/stat : 22466 (java) S 22462 22462 21297 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628644990096 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22467] ppid=22462 vsize=15151156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22467/stat : 22467 (java) S 22462 22462 21297 0 -1 1077944384 1087 0 0 0 1 0 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628643937296 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22468] ppid=22462 vsize=15151156 memory=288230574492221466 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22468/stat : 22468 (java) S 22462 22462 21297 0 -1 1077944384 892 0 0 0 1 0 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628642884496 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22469] ppid=22462 vsize=15151156 memory=288230621803970871 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22469/stat : 22469 (java) S 22462 22462 21297 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628641831696 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22470] ppid=22462 vsize=15151156 memory=1448 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22470/stat : 22470 (java) S 22462 22462 21297 0 -1 1077944384 1091 0 0 0 1 0 0 0 20 0 15 0 516239563 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627834915184 140628692380290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22471] ppid=22462 vsize=15151156 memory=209220 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22471/stat : 22471 (java) S 22462 22462 21297 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516239563 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627833861216 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22472] ppid=22462 vsize=15151156 memory=692 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22472/stat : 22472 (java) S 22462 22462 21297 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 516239563 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627631137664 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22473] ppid=22462 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22473/stat : 22473 (java) S 22462 22462 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627630085968 140628692387739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22474] ppid=22462 vsize=15151156 memory=1448 CPUtime=1.72 cores=0,2,4,6
/proc/22464/task/22474/stat : 22474 (java) S 22462 22462 21297 0 -1 1077944384 10683 0 0 0 171 1 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627629034352 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22475] ppid=22462 vsize=15151156 memory=210752 CPUtime=1.71 cores=0,2,4,6
/proc/22464/task/22475/stat : 22475 (java) S 22462 22462 21297 0 -1 1077944384 10248 0 0 0 170 1 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627627981552 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22476] ppid=22462 vsize=15151156 memory=4112 CPUtime=0.44 cores=0,2,4,6
/proc/22464/task/22476/stat : 22476 (java) S 22462 22462 21297 0 -1 1077944384 6470 0 0 0 43 1 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627626928752 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22477] ppid=22462 vsize=15151156 memory=281430686110064 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22477/stat : 22477 (java) S 22462 22462 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627625876192 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22478] ppid=22462 vsize=15151156 memory=8025810778153051755 CPUtime=0.04 cores=0,2,4,6
/proc/22464/task/22478/stat : 22478 (java) S 22462 22462 21297 0 -1 1077944384 835 0 0 0 2 2 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627624823472 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
Current children cumulated CPU time: 168.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 212200 KiB
[startup+166.401 s]
/proc/loadavg: 1.73 1.87 1.75 3/229 22492
/proc/meminfo: memFree=26321296/32770624 swapFree=66986412/67108860
[pid=22462] ppid=22459 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22462/stat : 22462 (xcsp3-exec) S 22459 22462 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516239560 115843072 362 33554432000 4194304 5098028 140722410623088 140722410621192 139636709810812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26648576 140722410632059 140722410632301 140722410632301 140722410635210 0
/proc/22462/statm: 28282 362 304 221 0 87 0
[pid=22464] ppid=22462 vsize=15151156 memory=210752 CPUtime=170.34 cores=0,2,4,6
/proc/22464/stat : 22464 (java) S 22462 22462 21297 0 -1 1077944320 47230 0 0 0 17020 14 0 0 20 0 15 0 516239560 15514783744 52688 33554432000 4194304 4196468 140723871981296 140723871963840 140628692369143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
/proc/22464/statm: 3787789 52688 3499 1 0 3748889 0
[pid=22464/tid=22465] ppid=22462 vsize=15151156 memory=35728 CPUtime=166.31 cores=0,2,4,6
/proc/22464/task/22465/stat : 22465 (java) R 22462 22462 21297 0 -1 4202560 13761 0 0 0 16625 6 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628696608960 140628322678901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22466] ppid=22462 vsize=15151156 memory=212272 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22466/stat : 22466 (java) S 22462 22462 21297 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628644990096 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22467] ppid=22462 vsize=15151156 memory=1448 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22467/stat : 22467 (java) S 22462 22462 21297 0 -1 1077944384 1087 0 0 0 1 0 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628643937296 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22468] ppid=22462 vsize=15151156 memory=212272 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22468/stat : 22468 (java) S 22462 22462 21297 0 -1 1077944384 892 0 0 0 1 0 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628642884496 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22469] ppid=22462 vsize=15151156 memory=210752 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22469/stat : 22469 (java) S 22462 22462 21297 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628641831696 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22470] ppid=22462 vsize=15151156 memory=1448 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22470/stat : 22470 (java) S 22462 22462 21297 0 -1 1077944384 1091 0 0 0 1 0 0 0 20 0 15 0 516239563 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627834915184 140628692380290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22471] ppid=22462 vsize=15151156 memory=209220 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22471/stat : 22471 (java) S 22462 22462 21297 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516239563 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627833861216 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22472] ppid=22462 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22472/stat : 22472 (java) S 22462 22462 21297 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 516239563 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627631137664 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22473] ppid=22462 vsize=15151156 memory=210752 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22473/stat : 22473 (java) S 22462 22462 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627630085968 140628692387739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22474] ppid=22462 vsize=15151156 memory=2120 CPUtime=1.72 cores=0,2,4,6
/proc/22464/task/22474/stat : 22474 (java) S 22462 22462 21297 0 -1 1077944384 10683 0 0 0 171 1 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627629034352 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22475] ppid=22462 vsize=15151156 memory=0 CPUtime=1.71 cores=0,2,4,6
/proc/22464/task/22475/stat : 22475 (java) S 22462 22462 21297 0 -1 1077944384 10248 0 0 0 170 1 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627627981552 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22476] ppid=22462 vsize=15151156 memory=125 CPUtime=0.44 cores=0,2,4,6
/proc/22464/task/22476/stat : 22476 (java) S 22462 22462 21297 0 -1 1077944384 6470 0 0 0 43 1 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627626928752 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22477] ppid=22462 vsize=15151156 memory=676 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22477/stat : 22477 (java) S 22462 22462 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627625876192 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22478] ppid=22462 vsize=15151156 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/22464/task/22478/stat : 22478 (java) S 22462 22462 21297 0 -1 1077944384 835 0 0 0 2 2 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627624823472 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
Current children cumulated CPU time: 170.34 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 212200 KiB
[startup+166.801 s]
/proc/loadavg: 1.73 1.87 1.75 3/229 22492
/proc/meminfo: memFree=26321296/32770624 swapFree=66986412/67108860
[pid=22462] ppid=22459 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22462/stat : 22462 (xcsp3-exec) S 22459 22462 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516239560 115843072 362 33554432000 4194304 5098028 140722410623088 140722410621192 139636709810812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26648576 140722410632059 140722410632301 140722410632301 140722410635210 0
/proc/22462/statm: 28282 362 304 221 0 87 0
[pid=22464] ppid=22462 vsize=15151156 memory=210752 CPUtime=170.74 cores=0,2,4,6
/proc/22464/stat : 22464 (java) S 22462 22462 21297 0 -1 1077944320 47230 0 0 0 17060 14 0 0 20 0 15 0 516239560 15514783744 52688 33554432000 4194304 4196468 140723871981296 140723871963840 140628692369143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
/proc/22464/statm: 3787789 52688 3499 1 0 3748889 0
[pid=22464/tid=22465] ppid=22462 vsize=15151156 memory=212088 CPUtime=166.71 cores=0,2,4,6
/proc/22464/task/22465/stat : 22465 (java) R 22462 22462 21297 0 -1 4202560 13761 0 0 0 16665 6 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628696608960 140628323854182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22466] ppid=22462 vsize=15151156 memory=988 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22466/stat : 22466 (java) S 22462 22462 21297 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628644990096 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22467] ppid=22462 vsize=15151156 memory=2004 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22467/stat : 22467 (java) S 22462 22462 21297 0 -1 1077944384 1087 0 0 0 1 0 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628643937296 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22468] ppid=22462 vsize=15151156 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22468/stat : 22468 (java) S 22462 22462 21297 0 -1 1077944384 892 0 0 0 1 0 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628642884496 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22469] ppid=22462 vsize=15151156 memory=209220 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22469/stat : 22469 (java) S 22462 22462 21297 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628641831696 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22470] ppid=22462 vsize=15151156 memory=3616 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22470/stat : 22470 (java) S 22462 22462 21297 0 -1 1077944384 1091 0 0 0 1 0 0 0 20 0 15 0 516239563 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627834915184 140628692380290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22471] ppid=22462 vsize=15151156 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22471/stat : 22471 (java) S 22462 22462 21297 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516239563 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627833861216 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22472] ppid=22462 vsize=15151156 memory=66544 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22472/stat : 22472 (java) S 22462 22462 21297 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 516239563 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627631137664 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22473] ppid=22462 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22473/stat : 22473 (java) S 22462 22462 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627630085968 140628692387739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22474] ppid=22462 vsize=15151156 memory=2004 CPUtime=1.72 cores=0,2,4,6
/proc/22464/task/22474/stat : 22474 (java) S 22462 22462 21297 0 -1 1077944384 10683 0 0 0 171 1 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627629034352 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22475] ppid=22462 vsize=15151156 memory=1416 CPUtime=1.71 cores=0,2,4,6
/proc/22464/task/22475/stat : 22475 (java) S 22462 22462 21297 0 -1 1077944384 10248 0 0 0 170 1 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627627981552 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22476] ppid=22462 vsize=15151156 memory=1416 CPUtime=0.44 cores=0,2,4,6
/proc/22464/task/22476/stat : 22476 (java) S 22462 22462 21297 0 -1 1077944384 6470 0 0 0 43 1 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627626928752 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22477] ppid=22462 vsize=15151156 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22477/stat : 22477 (java) S 22462 22462 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627625876192 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22478] ppid=22462 vsize=15151156 memory=692 CPUtime=0.04 cores=0,2,4,6
/proc/22464/task/22478/stat : 22478 (java) S 22462 22462 21297 0 -1 1077944384 835 0 0 0 2 2 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627624823472 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
Current children cumulated CPU time: 170.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 212200 KiB
[startup+167.001 s]*
/proc/loadavg: 1.75 1.88 1.75 3/229 22492
/proc/meminfo: memFree=26321296/32770624 swapFree=66986412/67108860
[pid=22462] ppid=22459 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22462/stat : 22462 (xcsp3-exec) S 22459 22462 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516239560 115843072 362 33554432000 4194304 5098028 140722410623088 140722410621192 139636709810812 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 26648576 140722410632059 140722410632301 140722410632301 140722410635210 0
/proc/22462/statm: 28282 362 304 221 0 87 0
[pid=22464] ppid=22462 vsize=15151156 memory=210752 CPUtime=170.95 cores=0,2,4,6
/proc/22464/stat : 22464 (java) S 22462 22462 21297 0 -1 1077944320 47231 0 0 0 17081 14 0 0 20 0 15 0 516239560 15514783744 52688 33554432000 4194304 4196468 140723871981296 140723871963840 140628692369143 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
/proc/22464/statm: 3787789 52688 3499 1 0 3748889 0
[pid=22464/tid=22465] ppid=22462 vsize=15151156 memory=8317482817917895235 CPUtime=166.92 cores=0,2,4,6
/proc/22464/task/22465/stat : 22465 (java) R 22462 22462 21297 0 -1 4202560 13762 0 0 0 16686 6 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628696608960 140628322679754 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22466] ppid=22462 vsize=15151156 memory=1056 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22466/stat : 22466 (java) S 22462 22462 21297 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628644990096 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22467] ppid=22462 vsize=15151156 memory=1556 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22467/stat : 22467 (java) S 22462 22462 21297 0 -1 1077944384 1087 0 0 0 1 0 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628643937296 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22468] ppid=22462 vsize=15151156 memory=780 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22468/stat : 22468 (java) S 22462 22462 21297 0 -1 1077944384 892 0 0 0 1 0 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628642884496 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22469] ppid=22462 vsize=15151156 memory=3616 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22469/stat : 22469 (java) S 22462 22462 21297 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 15 0 516239561 15514783744 52688 33554432000 4194304 4196468 140723871981296 140628641831696 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22470] ppid=22462 vsize=15151156 memory=1228 CPUtime=0.01 cores=0,2,4,6
/proc/22464/task/22470/stat : 22470 (java) S 22462 22462 21297 0 -1 1077944384 1091 0 0 0 1 0 0 0 20 0 15 0 516239563 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627834915184 140628692380290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22471] ppid=22462 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22471/stat : 22471 (java) S 22462 22462 21297 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516239563 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627833861216 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22472] ppid=22462 vsize=15151156 memory=209220 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22472/stat : 22472 (java) S 22462 22462 21297 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 516239563 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627631137664 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22473] ppid=22462 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22473/stat : 22473 (java) S 22462 22462 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627630085968 140628692387739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22474] ppid=22462 vsize=15151156 memory=1448 CPUtime=1.72 cores=0,2,4,6
/proc/22464/task/22474/stat : 22474 (java) S 22462 22462 21297 0 -1 1077944384 10683 0 0 0 171 1 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627629034352 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22475] ppid=22462 vsize=15151156 memory=1448 CPUtime=1.71 cores=0,2,4,6
/proc/22464/task/22475/stat : 22475 (java) S 22462 22462 21297 0 -1 1077944384 10248 0 0 0 170 1 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627627981552 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22476] ppid=22462 vsize=15151156 memory=1448 CPUtime=0.44 cores=0,2,4,6
/proc/22464/task/22476/stat : 22476 (java) S 22462 22462 21297 0 -1 1077944384 6470 0 0 0 43 1 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627626928752 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22477] ppid=22462 vsize=15151156 memory=6208 CPUtime=0 cores=0,2,4,6
/proc/22464/task/22477/stat : 22477 (java) S 22462 22462 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627625876192 140628692379349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
[pid=22464/tid=22478] ppid=22462 vsize=15151156 memory=7552 CPUtime=0.04 cores=0,2,4,6
/proc/22464/task/22478/stat : 22478 (java) S 22462 22462 21297 0 -1 1077944384 835 0 0 0 2 2 0 0 20 0 15 0 516239566 15514783744 52688 33554432000 4194304 4196468 140723871981296 140627624823472 140628692380290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 20418560 140723871986671 140723871986842 140723871986842 140723871989711 0
Current children cumulated CPU time: 170.95 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 212200 KiB
Child status: 0
Real time (s): 167.074
CPU time (s): 171.034
CPU user time (s): 170.874
CPU system time (s): 0.159709
CPU usage (%): 102.37
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 213720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.874
system time used= 0.159709
maximum resident set size= 213316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48433
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6008
involuntary context switches= 220
# summary of solver processes directly reported to runsolver:
# pid: 22462
# total CPU time (s): 171.034
# total CPU user time (s): 170.874
# total CPU system time (s): 0.159709
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14929 second user time and 1.4134 second system time
The end