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 (9568 MiB free)
memory of node 1: 16384 MiB (11689 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406018-1569408371/watcher-4406018-1569408371 -o /var/tmp/evaluation-result-4406018-1569408371/solver-4406018-1569408371 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1569396629-25937 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1075415014 HOME/instance-4406018-1569408371.xml
running on 4 cores: 1,3,5,7
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=29344, runsolver pid=29341
[startup+0.100086 s]*
/proc/loadavg: 1.56 1.66 1.79 5/229 29360
/proc/meminfo: memFree=21751184/32770624 swapFree=66953520/67108860
[pid=29344] ppid=29341 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29344/stat : 29344 (xcsp3-exec) S 29341 29344 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516751862 115843072 363 33554432000 4194304 5098028 140723654070416 140723654068520 140688498520700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12996608 140723654079318 140723654079577 140723654079577 140723654082502 0
/proc/29344/statm: 28282 363 304 221 0 87 0
[pid=29346] ppid=29344 vsize=15144776 memory=30220 CPUtime=0.13 cores=1,3,5,7
/proc/29346/stat : 29346 (java) S 29344 29344 25905 0 -1 1077944320 5943 0 0 0 12 1 0 0 20 0 15 0 516751862 15508250624 7555 33554432000 4194304 4196468 140732684868976 140732684851520 140375977893623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
/proc/29346/statm: 3786194 7555 3185 1 0 3748377 0
[pid=29346/tid=29347] ppid=29344 vsize=15144776 memory=8108032331684915787 CPUtime=0.09 cores=1,3,5,7
/proc/29346/task/29347/stat : 29347 (java) R 29344 29344 25905 0 -1 4202560 3853 0 0 0 8 1 0 0 20 0 15 0 516751863 15508250624 7555 33554432000 4194304 4196468 140732684868976 140375982126896 140375977915549 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29348] ppid=29344 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29348/stat : 29348 (java) S 29344 29344 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751863 15508250624 7555 33554432000 4194304 4196468 140732684868976 140375570639760 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29349] ppid=29344 vsize=15144776 memory=140214914074240 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29349/stat : 29349 (java) S 29344 29344 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751863 15508250624 7555 33554432000 4194304 4196468 140732684868976 140375569586960 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29350] ppid=29344 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29350/stat : 29350 (java) S 29344 29344 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751863 15508250624 7555 33554432000 4194304 4196468 140732684868976 140375568534672 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29351] ppid=29344 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29351/stat : 29351 (java) S 29344 29344 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516751863 15508250624 7555 33554432000 4194304 4196468 140732684868976 140375567481872 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29352] ppid=29344 vsize=15144776 memory=140214914074240 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29352/stat : 29352 (java) S 29344 29344 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516751865 15508250624 7555 33554432000 4194304 4196468 140732684868976 140375513749616 140375977904770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29353] ppid=29344 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29353/stat : 29353 (java) S 29344 29344 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516751865 15508250624 7555 33554432000 4194304 4196468 140732684868976 140375512695584 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29354] ppid=29344 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29354/stat : 29354 (java) S 29344 29344 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516751865 15508250624 7555 33554432000 4194304 4196468 140732684868976 140375511643248 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29355] ppid=29344 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29355/stat : 29355 (java) S 29344 29344 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751868 15508250624 7555 33554432000 4194304 4196468 140732684868976 140375510591568 140375977912219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29356] ppid=29344 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29356/stat : 29356 (java) R 29344 29344 25905 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 516751868 15508250624 7555 33554432000 4194304 4196468 140732684868976 140375509539440 140375977904770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29357] ppid=29344 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29357/stat : 29357 (java) R 29344 29344 25905 0 -1 4202560 174 0 0 0 0 0 0 0 20 0 15 0 516751868 15508250624 7555 33554432000 4194304 4196468 140732684868976 140375508486640 140375955726480 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29358] ppid=29344 vsize=15144776 memory=140214914074240 CPUtime=0.02 cores=1,3,5,7
/proc/29346/task/29358/stat : 29358 (java) R 29344 29344 25905 0 -1 4202560 332 0 0 0 2 0 0 0 20 0 15 0 516751868 15508250624 7555 33554432000 4194304 4196468 140732684868976 140375507434352 140375970130750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29359] ppid=29344 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29359/stat : 29359 (java) S 29344 29344 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751868 15508250624 7555 33554432000 4194304 4196468 140732684868976 140375506381792 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29360] ppid=29344 vsize=15144776 memory=140214914074240 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29360/stat : 29360 (java) S 29344 29344 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751868 15508250624 7555 33554432000 4194304 4196468 140732684868976 140375505328560 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31672 KiB
[startup+0.210846 s]*
/proc/loadavg: 1.56 1.66 1.79 4/229 29360
/proc/meminfo: memFree=21738308/32770624 swapFree=66953520/67108860
[pid=29344] ppid=29341 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29344/stat : 29344 (xcsp3-exec) S 29341 29344 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516751862 115843072 363 33554432000 4194304 5098028 140723654070416 140723654068520 140688498520700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12996608 140723654079318 140723654079577 140723654079577 140723654082502 0
/proc/29344/statm: 28282 363 304 221 0 87 0
[pid=29346] ppid=29344 vsize=15144776 memory=41220 CPUtime=0.35 cores=1,3,5,7
/proc/29346/stat : 29346 (java) S 29344 29344 25905 0 -1 1077944320 9503 0 0 0 32 3 0 0 20 0 15 0 516751862 15508250624 10305 33554432000 4194304 4196468 140732684868976 140732684851520 140375977893623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
/proc/29346/statm: 3786194 10305 3306 1 0 3748377 0
[pid=29346/tid=29347] ppid=29344 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/29346/task/29347/stat : 29347 (java) R 29344 29344 25905 0 -1 4202560 6667 0 0 0 18 2 0 0 20 0 15 0 516751863 15508250624 10305 33554432000 4194304 4196468 140732684868976 140375982127072 140375961974110 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29348] ppid=29344 vsize=15144776 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29348/stat : 29348 (java) S 29344 29344 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751863 15508250624 10305 33554432000 4194304 4196468 140732684868976 140375570639760 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29349] ppid=29344 vsize=15144776 memory=3690192153025473891 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29349/stat : 29349 (java) S 29344 29344 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751863 15508250624 10305 33554432000 4194304 4196468 140732684868976 140375569586960 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29350] ppid=29344 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29350/stat : 29350 (java) S 29344 29344 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751863 15508250624 10305 33554432000 4194304 4196468 140732684868976 140375568534672 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29351] ppid=29344 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29351/stat : 29351 (java) S 29344 29344 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516751863 15508250624 10305 33554432000 4194304 4196468 140732684868976 140375567481872 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29352] ppid=29344 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29352/stat : 29352 (java) S 29344 29344 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516751865 15508250624 10305 33554432000 4194304 4196468 140732684868976 140375513749616 140375977904770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29353] ppid=29344 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29353/stat : 29353 (java) S 29344 29344 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516751865 15508250624 10305 33554432000 4194304 4196468 140732684868976 140375512695584 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29354] ppid=29344 vsize=15144776 memory=140214914074240 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29354/stat : 29354 (java) S 29344 29344 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516751865 15508250624 10305 33554432000 4194304 4196468 140732684868976 140375511643248 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29355] ppid=29344 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29355/stat : 29355 (java) S 29344 29344 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751868 15508250624 10305 33554432000 4194304 4196468 140732684868976 140375510591568 140375977912219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29356] ppid=29344 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29346/task/29356/stat : 29356 (java) S 29344 29344 25905 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 15 0 516751868 15508250624 10305 33554432000 4194304 4196468 140732684868976 140375509539440 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29357] ppid=29344 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29346/task/29357/stat : 29357 (java) S 29344 29344 25905 0 -1 1077944384 414 0 0 0 2 0 0 0 20 0 15 0 516751868 15508250624 10305 33554432000 4194304 4196468 140732684868976 140375508486640 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29358] ppid=29344 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29346/task/29358/stat : 29358 (java) S 29344 29344 25905 0 -1 1077944384 767 0 0 0 8 0 0 0 20 0 15 0 516751868 15508250624 10305 33554432000 4194304 4196468 140732684868976 140375507434352 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29359] ppid=29344 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29359/stat : 29359 (java) S 29344 29344 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751868 15508250624 10305 33554432000 4194304 4196468 140732684868976 140375506381792 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29360] ppid=29344 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29360/stat : 29360 (java) S 29344 29344 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751868 15508250624 10305 33554432000 4194304 4196468 140732684868976 140375505328560 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42672 KiB
[startup+0.310697 s]*
/proc/loadavg: 1.56 1.66 1.79 4/229 29360
/proc/meminfo: memFree=21717864/32770624 swapFree=66953520/67108860
[pid=29344] ppid=29341 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29344/stat : 29344 (xcsp3-exec) S 29341 29344 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516751862 115843072 363 33554432000 4194304 5098028 140723654070416 140723654068520 140688498520700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12996608 140723654079318 140723654079577 140723654079577 140723654082502 0
/proc/29344/statm: 28282 363 304 221 0 87 0
[pid=29346] ppid=29344 vsize=15149032 memory=49964 CPUtime=0.54 cores=1,3,5,7
/proc/29346/stat : 29346 (java) S 29344 29344 25905 0 -1 1077944320 10846 0 0 0 50 4 0 0 20 0 15 0 516751862 15512608768 12491 33554432000 4194304 4196468 140732684868976 140732684851520 140375977893623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
/proc/29346/statm: 3787258 12491 3352 1 0 3748377 0
[pid=29346/tid=29347] ppid=29344 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/29346/task/29347/stat : 29347 (java) R 29344 29344 25905 0 -1 4202560 7831 0 0 0 27 3 0 0 20 0 15 0 516751863 15512608768 12491 33554432000 4194304 4196468 140732684868976 140375982124736 140375961974110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29348] ppid=29344 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29348/stat : 29348 (java) S 29344 29344 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751863 15512608768 12491 33554432000 4194304 4196468 140732684868976 140375570639760 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29349] ppid=29344 vsize=15149032 memory=3905528202495551090 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29349/stat : 29349 (java) S 29344 29344 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751863 15512608768 12491 33554432000 4194304 4196468 140732684868976 140375569586960 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29350] ppid=29344 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29350/stat : 29350 (java) S 29344 29344 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751863 15512608768 12491 33554432000 4194304 4196468 140732684868976 140375568534672 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29351] ppid=29344 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29351/stat : 29351 (java) S 29344 29344 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516751863 15512608768 12491 33554432000 4194304 4196468 140732684868976 140375567481872 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29352] ppid=29344 vsize=15149032 memory=140214914074240 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29352/stat : 29352 (java) S 29344 29344 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516751865 15512608768 12491 33554432000 4194304 4196468 140732684868976 140375513749616 140375977904770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29353] ppid=29344 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29353/stat : 29353 (java) S 29344 29344 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516751865 15512608768 12491 33554432000 4194304 4196468 140732684868976 140375512695584 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29354] ppid=29344 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29354/stat : 29354 (java) S 29344 29344 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516751865 15512608768 12491 33554432000 4194304 4196468 140732684868976 140375511643248 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29355] ppid=29344 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29355/stat : 29355 (java) S 29344 29344 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751868 15512608768 12491 33554432000 4194304 4196468 140732684868976 140375510591568 140375977912219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29356] ppid=29344 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/29346/task/29356/stat : 29356 (java) R 29344 29344 25905 0 -1 4202560 446 0 0 0 5 0 0 0 20 0 15 0 516751868 15512608768 12491 33554432000 4194304 4196468 140732684868976 140375509539440 140375970990459 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29357] ppid=29344 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/29346/task/29357/stat : 29357 (java) S 29344 29344 25905 0 -1 1077944384 423 0 0 0 4 0 0 0 20 0 15 0 516751868 15512608768 12491 33554432000 4194304 4196468 140732684868976 140375508486640 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29358] ppid=29344 vsize=15149032 memory=140214914074240 CPUtime=0.13 cores=1,3,5,7
/proc/29346/task/29358/stat : 29358 (java) S 29344 29344 25905 0 -1 1077944384 848 0 0 0 13 0 0 0 20 0 15 0 516751868 15512608768 12491 33554432000 4194304 4196468 140732684868976 140375507434352 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29359] ppid=29344 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29359/stat : 29359 (java) S 29344 29344 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751868 15512608768 12491 33554432000 4194304 4196468 140732684868976 140375506381792 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29360] ppid=29344 vsize=15149032 memory=140214914074240 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29360/stat : 29360 (java) S 29344 29344 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751868 15512608768 12491 33554432000 4194304 4196468 140732684868976 140375505328560 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51416 KiB
[startup+0.710441 s]*
/proc/loadavg: 1.56 1.66 1.79 4/229 29360
/proc/meminfo: memFree=21722844/32770624 swapFree=66953520/67108860
[pid=29344] ppid=29341 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29344/stat : 29344 (xcsp3-exec) S 29341 29344 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516751862 115843072 363 33554432000 4194304 5098028 140723654070416 140723654068520 140688498520700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12996608 140723654079318 140723654079577 140723654079577 140723654082502 0
/proc/29344/statm: 28282 363 304 221 0 87 0
[pid=29346] ppid=29344 vsize=15151156 memory=60088 CPUtime=0.81 cores=1,3,5,7
/proc/29346/stat : 29346 (java) S 29344 29344 25905 0 -1 1077944320 12136 0 0 0 76 5 0 0 20 0 15 0 516751862 15514783744 15022 33554432000 4194304 4196468 140732684868976 140732684851520 140375977893623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
/proc/29346/statm: 3787789 15022 3421 1 0 3748889 0
[pid=29346/tid=29347] ppid=29344 vsize=15151156 memory=1398722017469774279 CPUtime=0.42 cores=1,3,5,7
/proc/29346/task/29347/stat : 29347 (java) R 29344 29344 25905 0 -1 4202560 8773 0 0 0 39 3 0 0 20 0 15 0 516751863 15514783744 15022 33554432000 4194304 4196468 140732684868976 140375982129904 140375587128454 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29348] ppid=29344 vsize=15151156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29348/stat : 29348 (java) S 29344 29344 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751863 15514783744 15022 33554432000 4194304 4196468 140732684868976 140375570639760 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29349] ppid=29344 vsize=15151156 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29349/stat : 29349 (java) S 29344 29344 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751863 15514783744 15022 33554432000 4194304 4196468 140732684868976 140375569586960 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29350] ppid=29344 vsize=15151156 memory=2864 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29350/stat : 29350 (java) S 29344 29344 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751863 15514783744 15022 33554432000 4194304 4196468 140732684868976 140375568534672 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29351] ppid=29344 vsize=15151156 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29351/stat : 29351 (java) S 29344 29344 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516751863 15514783744 15022 33554432000 4194304 4196468 140732684868976 140375567481872 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29352] ppid=29344 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29352/stat : 29352 (java) S 29344 29344 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516751865 15514783744 15022 33554432000 4194304 4196468 140732684868976 140375513749616 140375977904770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29353] ppid=29344 vsize=15151156 memory=3320 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29353/stat : 29353 (java) S 29344 29344 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516751865 15514783744 15022 33554432000 4194304 4196468 140732684868976 140375512695584 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29354] ppid=29344 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29354/stat : 29354 (java) S 29344 29344 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516751865 15514783744 15022 33554432000 4194304 4196468 140732684868976 140375511643248 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29355] ppid=29344 vsize=15151156 memory=3879432 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29355/stat : 29355 (java) S 29344 29344 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751868 15514783744 15022 33554432000 4194304 4196468 140732684868976 140375510591568 140375977912219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29356] ppid=29344 vsize=15151156 memory=1412 CPUtime=0.07 cores=1,3,5,7
/proc/29346/task/29356/stat : 29356 (java) R 29344 29344 25905 0 -1 4202560 464 0 0 0 7 0 0 0 20 0 15 0 516751868 15514783744 15022 33554432000 4194304 4196468 140732684868976 140375509539440 140375961911063 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29357] ppid=29344 vsize=15151156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29346/task/29357/stat : 29357 (java) R 29344 29344 25905 0 -1 4202560 489 0 0 0 8 0 0 0 20 0 15 0 516751868 15514783744 15022 33554432000 4194304 4196468 140732684868976 140375508486640 140375955725741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29358] ppid=29344 vsize=15151156 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/29346/task/29358/stat : 29358 (java) R 29344 29344 25905 0 -1 1077944384 1102 0 0 0 20 0 0 0 20 0 15 0 516751868 15514783744 15022 33554432000 4194304 4196468 140732684868976 140375507434352 140375977904770 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29359] ppid=29344 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29359/stat : 29359 (java) S 29344 29344 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751868 15514783744 15022 33554432000 4194304 4196468 140732684868976 140375506381792 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29360] ppid=29344 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29360/stat : 29360 (java) S 29344 29344 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516751868 15514783744 15022 33554432000 4194304 4196468 140732684868976 140375505328560 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
Current children cumulated CPU time: 0.81 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 61540 KiB
[startup+1.50076 s]
/proc/loadavg: 1.56 1.66 1.79 5/229 29360
/proc/meminfo: memFree=21693816/32770624 swapFree=66953520/67108860
[pid=29344] ppid=29341 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29344/stat : 29344 (xcsp3-exec) S 29341 29344 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516751862 115843072 363 33554432000 4194304 5098028 140723654070416 140723654068520 140688498520700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12996608 140723654079318 140723654079577 140723654079577 140723654082502 0
/proc/29344/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
[pid=29346/tid=29352] ppid=29344 vsize=15151156 memory=1143416 CPUtime=2.51 cores=1,3,5,7
/proc/29346/task/29352/stat : 29352 (java) S 29344 29344 25905 0 -1 1077944384 18332 0 0 0 231 20 0 0 20 0 15 0 516751865 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375513749616 140375977904770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29353] ppid=29344 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29353/stat : 29353 (java) S 29344 29344 25905 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 516751865 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375512695648 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29354] ppid=29344 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29354/stat : 29354 (java) S 29344 29344 25905 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 516751865 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375511643264 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29355] ppid=29344 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29355/stat : 29355 (java) S 29344 29344 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375510591568 140375977912219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29356] ppid=29344 vsize=15151156 memory=1143416 CPUtime=1.1 cores=1,3,5,7
/proc/29346/task/29356/stat : 29356 (java) S 29344 29344 25905 0 -1 1077944384 8216 0 0 0 109 1 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375509539440 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29357] ppid=29344 vsize=15151156 memory=1143416 CPUtime=1.26 cores=1,3,5,7
/proc/29346/task/29357/stat : 29357 (java) S 29344 29344 25905 0 -1 1077944384 9069 0 0 0 125 1 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375508486640 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29358] ppid=29344 vsize=15151156 memory=1122 CPUtime=0.42 cores=1,3,5,7
/proc/29346/task/29358/stat : 29358 (java) S 29344 29344 25905 0 -1 1077944384 4074 0 0 0 41 1 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375507434352 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29359] ppid=29344 vsize=15151156 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29359/stat : 29359 (java) S 29344 29344 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375506381792 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29360] ppid=29344 vsize=15151156 memory=2920 CPUtime=0.63 cores=1,3,5,7
/proc/29346/task/29360/stat : 29360 (java) S 29344 29344 25905 0 -1 1077944384 1428 0 0 0 27 36 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375505328560 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
Current children cumulated CPU time: 2358.13 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1144868 KiB
[startup+2382.31 s]
/proc/loadavg: 1.71 1.57 1.59 3/229 29754
/proc/meminfo: memFree=24339456/32770624 swapFree=66953520/67108860
[pid=29344] ppid=29341 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29344/stat : 29344 (xcsp3-exec) S 29341 29344 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516751862 115843072 363 33554432000 4194304 5098028 140723654070416 140723654068520 140688498520700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12996608 140723654079318 140723654079577 140723654079577 140723654082502 0
/proc/29344/statm: 28282 363 304 221 0 87 0
[pid=29346] ppid=29344 vsize=15151156 memory=1143416 CPUtime=2418.3 cores=1,3,5,7
/proc/29346/stat : 29346 (java) S 29344 29344 25905 0 -1 1077944320 147720 0 0 0 241642 188 0 0 20 0 15 0 516751862 15514783744 285854 33554432000 4194304 4196468 140732684868976 140732684851520 140375977893623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
/proc/29346/statm: 3787789 285854 3519 1 0 3748889 0
[pid=29346/tid=29347] ppid=29344 vsize=15151156 memory=1143416 CPUtime=2367.03 cores=1,3,5,7
/proc/29346/task/29347/stat : 29347 (java) R 29344 29344 25905 0 -1 4202560 39700 0 0 0 236644 59 0 0 20 0 15 0 516751863 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375982133392 140375590926280 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29348] ppid=29344 vsize=15151156 memory=1143416 CPUtime=11.3 cores=1,3,5,7
/proc/29346/task/29348/stat : 29348 (java) S 29344 29344 25905 0 -1 1077944384 14296 0 0 0 1113 17 0 0 20 0 15 0 516751863 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375570639760 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29349] ppid=29344 vsize=15151156 memory=1143416 CPUtime=11.31 cores=1,3,5,7
/proc/29346/task/29349/stat : 29349 (java) S 29344 29344 25905 0 -1 1077944384 18064 0 0 0 1110 21 0 0 20 0 15 0 516751863 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375569586960 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29350] ppid=29344 vsize=15151156 memory=1143416 CPUtime=11.29 cores=1,3,5,7
/proc/29346/task/29350/stat : 29350 (java) S 29344 29344 25905 0 -1 1077944384 16411 0 0 0 1107 22 0 0 20 0 15 0 516751863 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375568534672 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29351] ppid=29344 vsize=15151156 memory=1143416 CPUtime=11.28 cores=1,3,5,7
/proc/29346/task/29351/stat : 29351 (java) S 29344 29344 25905 0 -1 1077944384 16213 0 0 0 1108 20 0 0 20 0 15 0 516751863 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375567481872 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29352] ppid=29344 vsize=15151156 memory=1452 CPUtime=2.59 cores=1,3,5,7
/proc/29346/task/29352/stat : 29352 (java) S 29344 29344 25905 0 -1 1077944384 18792 0 0 0 238 21 0 0 20 0 15 0 516751865 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375513749616 140375977904770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29353] ppid=29344 vsize=15151156 memory=1143416 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29353/stat : 29353 (java) S 29344 29344 25905 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 516751865 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375512695648 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29354] ppid=29344 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29354/stat : 29354 (java) S 29344 29344 25905 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 516751865 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375511643264 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29355] ppid=29344 vsize=15151156 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29355/stat : 29355 (java) S 29344 29344 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375510591568 140375977912219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29356] ppid=29344 vsize=15151156 memory=1452 CPUtime=1.1 cores=1,3,5,7
/proc/29346/task/29356/stat : 29356 (java) S 29344 29344 25905 0 -1 1077944384 8221 0 0 0 109 1 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375509539440 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29357] ppid=29344 vsize=15151156 memory=3504 CPUtime=1.26 cores=1,3,5,7
/proc/29346/task/29357/stat : 29357 (java) S 29344 29344 25905 0 -1 1077944384 9080 0 0 0 125 1 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375508486640 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29358] ppid=29344 vsize=15151156 memory=776 CPUtime=0.42 cores=1,3,5,7
/proc/29346/task/29358/stat : 29358 (java) S 29344 29344 25905 0 -1 1077944384 4080 0 0 0 41 1 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375507434352 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29359] ppid=29344 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29359/stat : 29359 (java) S 29344 29344 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375506381792 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29360] ppid=29344 vsize=15151156 memory=1452 CPUtime=0.64 cores=1,3,5,7
/proc/29346/task/29360/stat : 29360 (java) S 29344 29344 25905 0 -1 1077944384 1466 0 0 0 27 37 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375505328560 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
Current children cumulated CPU time: 2418.3 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1144868 KiB
[startup+2442.31 s]
/proc/loadavg: 1.70 1.60 1.60 3/229 29758
/proc/meminfo: memFree=23064836/32770624 swapFree=66953520/67108860
[pid=29344] ppid=29341 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29344/stat : 29344 (xcsp3-exec) S 29341 29344 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516751862 115843072 363 33554432000 4194304 5098028 140723654070416 140723654068520 140688498520700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12996608 140723654079318 140723654079577 140723654079577 140723654082502 0
/proc/29344/statm: 28282 363 304 221 0 87 0
[pid=29346] ppid=29344 vsize=15151156 memory=1143416 CPUtime=2478.48 cores=1,3,5,7
/proc/29346/stat : 29346 (java) S 29344 29344 25905 0 -1 1077944320 150738 0 0 0 247657 191 0 0 20 0 15 0 516751862 15514783744 285854 33554432000 4194304 4196468 140732684868976 140732684851520 140375977893623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
/proc/29346/statm: 3787789 285854 3519 1 0 3748889 0
[pid=29346/tid=29347] ppid=29344 vsize=15151156 memory=1143416 CPUtime=2426.87 cores=1,3,5,7
/proc/29346/task/29347/stat : 29347 (java) R 29344 29344 25905 0 -1 4202560 40425 0 0 0 242628 59 0 0 20 0 15 0 516751863 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375982133280 140375592140342 0 4 0 16800975 0 0 0 -1 1 0 0 27 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29348] ppid=29344 vsize=15151156 memory=1143416 CPUtime=11.36 cores=1,3,5,7
/proc/29346/task/29348/stat : 29348 (java) S 29344 29344 25905 0 -1 1077944384 14410 0 0 0 1118 18 0 0 20 0 15 0 516751863 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375570639760 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29349] ppid=29344 vsize=15151156 memory=1143416 CPUtime=11.36 cores=1,3,5,7
/proc/29346/task/29349/stat : 29349 (java) S 29344 29344 25905 0 -1 1077944384 18544 0 0 0 1115 21 0 0 20 0 15 0 516751863 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375569586960 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29350] ppid=29344 vsize=15151156 memory=1452 CPUtime=11.34 cores=1,3,5,7
/proc/29346/task/29350/stat : 29350 (java) S 29344 29344 25905 0 -1 1077944384 16884 0 0 0 1112 22 0 0 20 0 15 0 516751863 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375568534672 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29351] ppid=29344 vsize=15151156 memory=1143416 CPUtime=11.35 cores=1,3,5,7
/proc/29346/task/29351/stat : 29351 (java) S 29344 29344 25905 0 -1 1077944384 16674 0 0 0 1114 21 0 0 20 0 15 0 516751863 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375567481872 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29352] ppid=29344 vsize=15151156 memory=1143416 CPUtime=2.65 cores=1,3,5,7
/proc/29346/task/29352/stat : 29352 (java) S 29344 29344 25905 0 -1 1077944384 19493 0 0 0 244 21 0 0 20 0 15 0 516751865 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375513749616 140375977904770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29353] ppid=29344 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29353/stat : 29353 (java) S 29344 29344 25905 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 516751865 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375512695648 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29354] ppid=29344 vsize=15151156 memory=1143416 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29354/stat : 29354 (java) S 29344 29344 25905 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 516751865 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375511643264 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29355] ppid=29344 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29355/stat : 29355 (java) S 29344 29344 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375510591568 140375977912219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29356] ppid=29344 vsize=15151156 memory=1452 CPUtime=1.1 cores=1,3,5,7
/proc/29346/task/29356/stat : 29356 (java) S 29344 29344 25905 0 -1 1077944384 8229 0 0 0 109 1 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375509539440 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29357] ppid=29344 vsize=15151156 memory=1143416 CPUtime=1.26 cores=1,3,5,7
/proc/29346/task/29357/stat : 29357 (java) S 29344 29344 25905 0 -1 1077944384 9087 0 0 0 125 1 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375508486640 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29358] ppid=29344 vsize=15151156 memory=1452 CPUtime=0.42 cores=1,3,5,7
/proc/29346/task/29358/stat : 29358 (java) S 29344 29344 25905 0 -1 1077944384 4086 0 0 0 41 1 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375507434352 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29359] ppid=29344 vsize=15151156 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29359/stat : 29359 (java) S 29344 29344 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375506381792 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29360] ppid=29344 vsize=15151156 memory=288230596050944315 CPUtime=0.66 cores=1,3,5,7
/proc/29346/task/29360/stat : 29360 (java) S 29344 29344 25905 0 -1 1077944384 1509 0 0 0 28 38 0 0 20 0 15 0 516751868 15514783744 285854 33554432000 4194304 4196468 140732684868976 140375505328560 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
Current children cumulated CPU time: 2478.48 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1144868 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2483.8 s]
/proc/loadavg: 1.62 1.59 1.60 3/229 29761
/proc/meminfo: memFree=23501268/32770624 swapFree=66953520/67108860
[pid=29344] ppid=29341 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29344/stat : 29344 (xcsp3-exec) S 29341 29344 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516751862 115843072 363 33554432000 4194304 5098028 140723654070416 140723654068520 140688498520700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12996608 140723654079318 140723654079577 140723654079577 140723654082502 0
/proc/29344/statm: 28282 363 304 221 0 87 0
[pid=29346] ppid=29344 vsize=15151156 memory=1153540 CPUtime=2520.09 cores=1,3,5,7
/proc/29346/stat : 29346 (java) S 29344 29344 25905 0 -1 1077944320 152735 0 0 0 251816 193 0 0 20 0 15 0 516751862 15514783744 288385 33554432000 4194304 4196468 140732684868976 140732684851520 140375977893623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
/proc/29346/statm: 3787789 288385 3519 1 0 3748889 0
[pid=29346/tid=29347] ppid=29344 vsize=15151156 memory=6791534058613427641 CPUtime=2468.25 cores=1,3,5,7
/proc/29346/task/29347/stat : 29347 (java) R 29344 29344 25905 0 -1 4202560 40907 0 0 0 246766 59 0 0 20 0 15 0 516751863 15514783744 288385 33554432000 4194304 4196468 140732684868976 140375982133392 140375590649913 0 4 0 16800975 0 0 0 -1 1 0 0 27 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29348] ppid=29344 vsize=15151156 memory=668 CPUtime=11.4 cores=1,3,5,7
/proc/29346/task/29348/stat : 29348 (java) S 29344 29344 25905 0 -1 1077944384 14813 0 0 0 1122 18 0 0 20 0 15 0 516751863 15514783744 288385 33554432000 4194304 4196468 140732684868976 140375570639760 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29349] ppid=29344 vsize=15151156 memory=1276 CPUtime=11.4 cores=1,3,5,7
/proc/29346/task/29349/stat : 29349 (java) S 29344 29344 25905 0 -1 1077944384 18985 0 0 0 1119 21 0 0 20 0 15 0 516751863 15514783744 288385 33554432000 4194304 4196468 140732684868976 140375569586960 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29350] ppid=29344 vsize=15151156 memory=1096 CPUtime=11.39 cores=1,3,5,7
/proc/29346/task/29350/stat : 29350 (java) S 29344 29344 25905 0 -1 1077944384 16984 0 0 0 1116 23 0 0 20 0 15 0 516751863 15514783744 288385 33554432000 4194304 4196468 140732684868976 140375568534672 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29351] ppid=29344 vsize=15151156 memory=14008 CPUtime=11.39 cores=1,3,5,7
/proc/29346/task/29351/stat : 29351 (java) S 29344 29344 25905 0 -1 1077944384 16745 0 0 0 1118 21 0 0 20 0 15 0 516751863 15514783744 288385 33554432000 4194304 4196468 140732684868976 140375567481872 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29352] ppid=29344 vsize=15151156 memory=36568 CPUtime=2.71 cores=1,3,5,7
/proc/29346/task/29352/stat : 29352 (java) S 29344 29344 25905 0 -1 1077944384 19948 0 0 0 249 22 0 0 20 0 15 0 516751865 15514783744 288385 33554432000 4194304 4196468 140732684868976 140375513749616 140375977904770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29353] ppid=29344 vsize=15151156 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29353/stat : 29353 (java) S 29344 29344 25905 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 516751865 15514783744 288385 33554432000 4194304 4196468 140732684868976 140375512695648 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29354] ppid=29344 vsize=15151156 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29354/stat : 29354 (java) S 29344 29344 25905 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 516751865 15514783744 288385 33554432000 4194304 4196468 140732684868976 140375511643264 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29355] ppid=29344 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29355/stat : 29355 (java) S 29344 29344 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751868 15514783744 288385 33554432000 4194304 4196468 140732684868976 140375510591568 140375977912219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29356] ppid=29344 vsize=15151156 memory=1760 CPUtime=1.1 cores=1,3,5,7
/proc/29346/task/29356/stat : 29356 (java) S 29344 29344 25905 0 -1 1077944384 8232 0 0 0 109 1 0 0 20 0 15 0 516751868 15514783744 288385 33554432000 4194304 4196468 140732684868976 140375509539440 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29357] ppid=29344 vsize=15151156 memory=1452 CPUtime=1.26 cores=1,3,5,7
/proc/29346/task/29357/stat : 29357 (java) S 29344 29344 25905 0 -1 1077944384 9089 0 0 0 125 1 0 0 20 0 15 0 516751868 15514783744 288385 33554432000 4194304 4196468 140732684868976 140375508486640 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29358] ppid=29344 vsize=15151156 memory=1548 CPUtime=0.42 cores=1,3,5,7
/proc/29346/task/29358/stat : 29358 (java) S 29344 29344 25905 0 -1 1077944384 4088 0 0 0 41 1 0 0 20 0 15 0 516751868 15514783744 288385 33554432000 4194304 4196468 140732684868976 140375507434352 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29359] ppid=29344 vsize=15151156 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/29346/task/29359/stat : 29359 (java) S 29344 29344 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516751868 15514783744 288385 33554432000 4194304 4196468 140732684868976 140375506381792 140375977903829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
[pid=29346/tid=29360] ppid=29344 vsize=15151156 memory=6791534058613427641 CPUtime=0.66 cores=1,3,5,7
/proc/29346/task/29360/stat : 29360 (java) S 29344 29344 25905 0 -1 1077944384 1547 0 0 0 28 38 0 0 20 0 15 0 516751868 15514783744 288385 33554432000 4194304 4196468 140732684868976 140375505328560 140375977904770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39325696 140732684874715 140732684874890 140732684874890 140732684877775 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1154992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2483.81 s]
# the end of solver process 29344 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.17 s, system=1.94301 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2483.81
CPU time (s): 2520.11
CPU user time (s): 2518.17
CPU system time (s): 1.94301
CPU usage (%): 101.461
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 3381312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.17
system time used= 1.94301
maximum resident set size= 3429012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126456
involuntary context switches= 3314
# summary of solver processes directly reported to runsolver:
# pid: 29344
# total CPU time (s): 2520.11
# total CPU user time (s): 2518.17
# total CPU system time (s): 1.94301
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5582 second user time and 24.4825 second system time
The end