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 (5599 MiB free)
memory of node 1: 16384 MiB (8418 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306584-1534101998/watcher-4306584-1534101998 -o /tmp/evaluation-result-4306584-1534101998/solver-4306584-1534101998 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534096899-2740 --watchdog 2580 HOME/xcsp3-exec -seed 1151754833 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306584-1534101998.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=3575, runsolver pid=3572
[startup+0.100108 s]*
/proc/loadavg: 2.22 2.01 1.98 4/217 3591
/proc/meminfo: memFree=14338640/32770624 swapFree=67108792/67108860
[pid=3575] ppid=3572 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3575/stat : 3575 (xcsp3-exec) S 3572 3575 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227763093 115843072 363 33554432000 4194304 5098028 140735800512752 140735800510856 139756644614780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34971648 140735800517690 140735800517892 140735800517892 140735800520650 0
/proc/3575/statm: 28282 363 305 221 0 87 0
[pid=3577] ppid=3575 vsize=14082940 memory=29184 CPUtime=0.12 cores=0,2,4,6
/proc/3577/stat : 3577 (java) S 3575 3575 2709 0 -1 1077944320 5713 0 0 0 11 1 0 0 20 0 15 0 227763093 14420930560 7296 33554432000 4194304 4196468 140732467447248 140732467429792 140102471945975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
/proc/3577/statm: 3520735 7296 2993 1 0 3483012 0
[pid=3577/tid=3578] ppid=3575 vsize=14082940 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/3577/task/3578/stat : 3578 (java) R 3575 3575 2709 0 -1 4202560 3734 0 0 0 9 0 0 0 20 0 15 0 227763093 14420930560 7296 33554432000 4194304 4196468 140732467447248 140102476179248 140102471957910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3579] ppid=3575 vsize=14082940 memory=3472468249845445840 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3579/stat : 3579 (java) S 3575 3575 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227763094 14420930560 7296 33554432000 4194304 4196468 140732467447248 140102068190224 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3580] ppid=3575 vsize=14082940 memory=140120950294144 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3580/stat : 3580 (java) S 3575 3575 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227763094 14420930560 7296 33554432000 4194304 4196468 140732467447248 140102067137680 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3581] ppid=3575 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3581/stat : 3581 (java) S 3575 3575 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227763094 14420930560 7296 33554432000 4194304 4196468 140732467447248 140102066084624 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3582] ppid=3575 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3582/stat : 3582 (java) S 3575 3575 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227763094 14420930560 7296 33554432000 4194304 4196468 140732467447248 140102065032080 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3583] ppid=3575 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3583/stat : 3583 (java) S 3575 3575 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227763096 14420930560 7296 33554432000 4194304 4196468 140732467447248 140101451450608 140102471957122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3584] ppid=3575 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3584/stat : 3584 (java) S 3575 3575 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227763096 14420930560 7296 33554432000 4194304 4196468 140732467447248 140101450396832 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3585] ppid=3575 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3585/stat : 3585 (java) S 3575 3575 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227763096 14420930560 7296 33554432000 4194304 4196468 140732467447248 140101449343728 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3586] ppid=3575 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3586/stat : 3586 (java) S 3575 3575 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227763099 14420930560 7296 33554432000 4194304 4196468 140732467447248 140101448292304 140102471964571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3587] ppid=3575 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3587/stat : 3587 (java) S 3575 3575 2709 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 227763099 14420930560 7296 33554432000 4194304 4196468 140732467447248 140101447240432 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3588] ppid=3575 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3588/stat : 3588 (java) S 3575 3575 2709 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 227763099 14420930560 7296 33554432000 4194304 4196468 140732467447248 140101446187888 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3589] ppid=3575 vsize=14082940 memory=140120950294144 CPUtime=0.01 cores=0,2,4,6
/proc/3577/task/3589/stat : 3589 (java) S 3575 3575 2709 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 15 0 227763099 14420930560 7296 33554432000 4194304 4196468 140732467447248 140101445134832 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3590] ppid=3575 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3590/stat : 3590 (java) S 3575 3575 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227763099 14420930560 7296 33554432000 4194304 4196468 140732467447248 140101444082528 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3591] ppid=3575 vsize=14082940 memory=140120950294144 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3591/stat : 3591 (java) S 3575 3575 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227763099 14420930560 7296 33554432000 4194304 4196468 140732467447248 140101443029552 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30636 KiB
[startup+0.21323 s]*
/proc/loadavg: 2.22 2.01 1.98 5/217 3591
/proc/meminfo: memFree=14327460/32770624 swapFree=67108792/67108860
[pid=3575] ppid=3572 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3575/stat : 3575 (xcsp3-exec) S 3572 3575 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227763093 115843072 363 33554432000 4194304 5098028 140735800512752 140735800510856 139756644614780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34971648 140735800517690 140735800517892 140735800517892 140735800520650 0
/proc/3575/statm: 28282 363 305 221 0 87 0
[pid=3577] ppid=3575 vsize=14082940 memory=40384 CPUtime=0.35 cores=0,2,4,6
/proc/3577/stat : 3577 (java) S 3575 3575 2709 0 -1 1077944320 8179 0 0 0 33 2 0 0 20 0 15 0 227763093 14420930560 10096 33554432000 4194304 4196468 140732467447248 140732467429792 140102471945975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
/proc/3577/statm: 3520735 10096 3189 1 0 3483012 0
[pid=3577/tid=3578] ppid=3575 vsize=14082940 memory=4788064525053108374 CPUtime=0.2 cores=0,2,4,6
/proc/3577/task/3578/stat : 3578 (java) R 3575 3575 2709 0 -1 4202560 5448 0 0 0 19 1 0 0 20 0 15 0 227763093 14420930560 10160 33554432000 4194304 4196468 140732467447248 140102476180960 140102471967901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3579] ppid=3575 vsize=14082940 memory=3472468249845445840 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3579/stat : 3579 (java) S 3575 3575 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227763094 14420930560 10160 33554432000 4194304 4196468 140732467447248 140102068190224 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3580] ppid=3575 vsize=14082940 memory=140120950294144 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3580/stat : 3580 (java) S 3575 3575 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227763094 14420930560 10160 33554432000 4194304 4196468 140732467447248 140102067137680 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3581] ppid=3575 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3581/stat : 3581 (java) S 3575 3575 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227763094 14420930560 10160 33554432000 4194304 4196468 140732467447248 140102066084624 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3582] ppid=3575 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3582/stat : 3582 (java) S 3575 3575 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227763094 14420930560 10160 33554432000 4194304 4196468 140732467447248 140102065032080 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3583] ppid=3575 vsize=14082940 memory=140120950294144 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3583/stat : 3583 (java) S 3575 3575 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227763096 14420930560 10160 33554432000 4194304 4196468 140732467447248 140101451450608 140102471957122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3584] ppid=3575 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3584/stat : 3584 (java) S 3575 3575 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227763096 14420930560 10160 33554432000 4194304 4196468 140732467447248 140101450396832 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3585] ppid=3575 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3585/stat : 3585 (java) S 3575 3575 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227763096 14420930560 10160 33554432000 4194304 4196468 140732467447248 140101449343728 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3586] ppid=3575 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3586/stat : 3586 (java) S 3575 3575 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227763099 14420930560 10160 33554432000 4194304 4196468 140732467447248 140101448292304 140102471964571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3587] ppid=3575 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3577/task/3587/stat : 3587 (java) S 3575 3575 2709 0 -1 1077944384 566 0 0 0 2 0 0 0 20 0 15 0 227763099 14420930560 10160 33554432000 4194304 4196468 140732467447248 140101447240432 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3588] ppid=3575 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3577/task/3588/stat : 3588 (java) S 3575 3575 2709 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 15 0 227763099 14420930560 10160 33554432000 4194304 4196468 140732467447248 140101446187888 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3589] ppid=3575 vsize=14082940 memory=140120950294144 CPUtime=0.08 cores=0,2,4,6
/proc/3577/task/3589/stat : 3589 (java) S 3575 3575 2709 0 -1 1077944384 649 0 0 0 8 0 0 0 20 0 15 0 227763099 14420930560 10160 33554432000 4194304 4196468 140732467447248 140101445134832 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3590] ppid=3575 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3590/stat : 3590 (java) S 3575 3575 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227763099 14420930560 10160 33554432000 4194304 4196468 140732467447248 140101444082528 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3591] ppid=3575 vsize=14082940 memory=140120950294144 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3591/stat : 3591 (java) S 3575 3575 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227763099 14420930560 10160 33554432000 4194304 4196468 140732467447248 140101443029552 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41836 KiB
[startup+0.319138 s]*
/proc/loadavg: 2.22 2.01 1.98 4/217 3591
/proc/meminfo: memFree=14320760/32770624 swapFree=67108792/67108860
[pid=3575] ppid=3572 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3575/stat : 3575 (xcsp3-exec) S 3572 3575 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227763093 115843072 363 33554432000 4194304 5098028 140735800512752 140735800510856 139756644614780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34971648 140735800517690 140735800517892 140735800517892 140735800520650 0
/proc/3575/statm: 28282 363 305 221 0 87 0
[pid=3577] ppid=3575 vsize=14087196 memory=47920 CPUtime=0.53 cores=0,2,4,6
/proc/3577/stat : 3577 (java) S 3575 3575 2709 0 -1 1077944320 9122 0 0 0 50 3 0 0 20 0 15 0 227763093 14425288704 11980 33554432000 4194304 4196468 140732467447248 140732467429792 140102471945975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
/proc/3577/statm: 3521799 11980 3248 1 0 3483012 0
[pid=3577/tid=3578] ppid=3575 vsize=14087196 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/3577/task/3578/stat : 3578 (java) R 3575 3575 2709 0 -1 4202560 6236 0 0 0 28 2 0 0 20 0 15 0 227763093 14425288704 11980 33554432000 4194304 4196468 140732467447248 140102476177744 140102456026462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3579] ppid=3575 vsize=14087196 memory=3472468249845445840 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3579/stat : 3579 (java) S 3575 3575 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227763094 14425288704 11980 33554432000 4194304 4196468 140732467447248 140102068190224 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3580] ppid=3575 vsize=14087196 memory=140120950294144 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3580/stat : 3580 (java) S 3575 3575 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227763094 14425288704 11980 33554432000 4194304 4196468 140732467447248 140102067137680 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3581] ppid=3575 vsize=14087196 memory=3 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3581/stat : 3581 (java) S 3575 3575 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227763094 14425288704 11980 33554432000 4194304 4196468 140732467447248 140102066084624 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3582] ppid=3575 vsize=14087196 memory=140120825145375 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3582/stat : 3582 (java) S 3575 3575 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227763094 14425288704 11980 33554432000 4194304 4196468 140732467447248 140102065032080 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3583] ppid=3575 vsize=14087196 memory=280241650269984 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3583/stat : 3583 (java) S 3575 3575 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227763096 14425288704 11980 33554432000 4194304 4196468 140732467447248 140101451450608 140102471957122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3584] ppid=3575 vsize=14087196 memory=140120825122319 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3584/stat : 3584 (java) S 3575 3575 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227763096 14425288704 12045 33554432000 4194304 4196468 140732467447248 140101450396832 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3585] ppid=3575 vsize=14087196 memory=280241775299592 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3585/stat : 3585 (java) S 3575 3575 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227763096 14425288704 12045 33554432000 4194304 4196468 140732467447248 140101449343728 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3586] ppid=3575 vsize=14087196 memory=140120825145375 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3586/stat : 3586 (java) S 3575 3575 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227763099 14425288704 12045 33554432000 4194304 4196468 140732467447248 140101448292304 140102471964571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3587] ppid=3575 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3577/task/3587/stat : 3587 (java) S 3575 3575 2709 0 -1 1077944384 668 0 0 0 4 0 0 0 20 0 15 0 227763099 14425288704 12045 33554432000 4194304 4196468 140732467447248 140101447240432 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3588] ppid=3575 vsize=14087196 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/3577/task/3588/stat : 3588 (java) S 3575 3575 2709 0 -1 1077944384 240 0 0 0 4 0 0 0 20 0 15 0 227763099 14425288704 12045 33554432000 4194304 4196468 140732467447248 140101446187888 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3589] ppid=3575 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/3577/task/3589/stat : 3589 (java) S 3575 3575 2709 0 -1 1077944384 706 0 0 0 12 0 0 0 20 0 15 0 227763099 14425288704 12045 33554432000 4194304 4196468 140732467447248 140101445134832 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3590] ppid=3575 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3590/stat : 3590 (java) S 3575 3575 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227763099 14425288704 12045 33554432000 4194304 4196468 140732467447248 140101444082528 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3591] ppid=3575 vsize=14087196 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3591/stat : 3591 (java) S 3575 3575 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227763099 14425288704 12045 33554432000 4194304 4196468 140732467447248 140101443029552 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49372 KiB
[startup+0.700844 s]
/proc/loadavg: 2.22 2.01 1.98 4/217 3591
/proc/meminfo: memFree=14300304/32770624 swapFree=67108792/67108860
[pid=3575] ppid=3572 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3575/stat : 3575 (xcsp3-exec) S 3572 3575 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227763093 115843072 363 33554432000 4194304 5098028 140735800512752 140735800510856 139756644614780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34971648 140735800517690 140735800517892 140735800517892 140735800520650 0
/proc/3575/statm: 28282 363 305 221 0 87 0
[pid=3577] ppid=3575 vsize=14089320 memory=73536 CPUtime=1.61 cores=0,2,4,6
/proc/3577/stat : 3577 (java) S 3575 3575 2709 0 -1 1077944320 13101 0 0 0 156 5 0 0 20 0 15 0 227763093 14427463680 18384 33554432000 4194304 4196468 140732467447248 140732467429792 140102471945975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
/proc/3577/statm: 3522330 18384 3361 1 0 3483524 0
[pid=3577/tid=3578] ppid=3575 vsize=14089320 memory=7372786582024121444 CPUtime=0.67 cores=0,2,4,6
/proc/3577/task/3578/stat : 3578 (java) R 3575 3575 2709 0 -1 4202560 6939 0 0 0 64 3 0 0 20 0 15 0 227763093 14427463680 18384 33554432000 4194304 4196468 140732467447248 140102476183904 140102113483515 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3579] ppid=3575 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3579/stat : 3579 (java) S 3575 3575 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227763094 14427463680 18384 33554432000 4194304 4196468 140732467447248 140102068190224 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3580] ppid=3575 vsize=14089320 memory=5859271421084521832 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3580/stat : 3580 (java) S 3575 3575 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227763094 14427463680 18384 33554432000 4194304 4196468 140732467447248 140102067137680 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3581] ppid=3575 vsize=14089320 memory=-6168368575958768251 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3581/stat : 3581 (java) S 3575 3575 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227763094 14427463680 18384 33554432000 4194304 4196468 140732467447248 140102066084624 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3582] ppid=3575 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3582/stat : 3582 (java) S 3575 3575 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227763094 14427463680 18384 33554432000 4194304 4196468 140732467447248 140102065032080 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3583] ppid=3575 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3583/stat : 3583 (java) S 3575 3575 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227763096 14427463680 18384 33554432000 4194304 4196468 140732467447248 140101451450608 140102471957122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3584] ppid=3575 vsize=14089320 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3584/stat : 3584 (java) S 3575 3575 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227763096 14427463680 18384 33554432000 4194304 4196468 140732467447248 140101450396832 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3585] ppid=3575 vsize=14089320 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3585/stat : 3585 (java) S 3575 3575 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227763096 14427463680 18384 33554432000 4194304 4196468 140732467447248 140101449343728 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3586] ppid=3575 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3586/stat : 3586 (java) S 3575 3575 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227763099 14427463680 18384 33554432000 4194304 4196468 140732467447248 140101448292304 140102471964571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3587] ppid=3575 vsize=14089320 memory=61924 CPUtime=0.3 cores=0,2,4,6
/proc/3577/task/3587/stat : 3587 (java) R 3575 3575 2709 0 -1 4202560 1781 0 0 0 30 0 0 0 20 0 15 0 227763099 14427463680 18384 33554432000 4194304 4196468 140732467447248 140101447227744 140102456337388 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3588] ppid=3575 vsize=14089320 memory=1220 CPUtime=0.29 cores=0,2,4,6
/proc/3577/task/3588/stat : 3588 (java) R 3575 3575 2709 0 -1 4202560 1440 0 0 0 29 0 0 0 20 0 15 0 227763099 14427463680 18384 33554432000 4194304 4196468 140732467447248 140101446176320 140102453467382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3589] ppid=3575 vsize=14089320 memory=2380 CPUtime=0.31 cores=0,2,4,6
/proc/3577/task/3589/stat : 3589 (java) S 3575 3575 2709 0 -1 1077944384 1633 0 0 0 31 0 0 0 20 0 15 0 227763099 14427463680 18384 33554432000 4194304 4196468 140732467447248 140101445134832 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3590] ppid=3575 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3590/stat : 3590 (java) S 3575 3575 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227763099 14427463680 18384 33554432000 4194304 4196468 140732467447248 140101444082528 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3591] ppid=3575 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3591/stat : 3591 (java) S 3575 3575 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227763099 14427463680 18384 33554432000 4194304 4196468 140732467447248 140101443029552 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 74988 KiB
[startup+1.50079 s]
/proc/loadavg: 2.22 2.01 1.98 5/217 3591
/proc/meminfo: memFree=14283024/32770624 swapFree=67108792/67108860
[pid=3575] ppid=3572 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3575/stat : 3575 (xcsp3-exec) S 3572 3575 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227763093 115843072 363 33554432000 4194304 5098028 140735800512752 140735800510856 139756644614780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34971648 140735800517690 140735800517892 140735800517892 140735800520650 0
/proc/3575/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/3577/task/3585/stat : 3585 (java) S 3575 3575 2709 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 227763096 14427463680 60532 33554432000 4194304 4196468 140732467447248 140101449343728 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3586] ppid=3575 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3586/stat : 3586 (java) S 3575 3575 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227763099 14427463680 60532 33554432000 4194304 4196468 140732467447248 140101448292304 140102471964571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3587] ppid=3575 vsize=14089320 memory=242128 CPUtime=1.83 cores=0,2,4,6
/proc/3577/task/3587/stat : 3587 (java) S 3575 3575 2709 0 -1 1077944384 15083 0 0 0 182 1 0 0 20 0 15 0 227763099 14427463680 60532 33554432000 4194304 4196468 140732467447248 140101447240432 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3588] ppid=3575 vsize=14089320 memory=1452 CPUtime=1.78 cores=0,2,4,6
/proc/3577/task/3588/stat : 3588 (java) S 3575 3575 2709 0 -1 1077944384 11452 0 0 0 177 1 0 0 20 0 15 0 227763099 14427463680 60532 33554432000 4194304 4196468 140732467447248 140101446187888 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3589] ppid=3575 vsize=14089320 memory=242128 CPUtime=0.5 cores=0,2,4,6
/proc/3577/task/3589/stat : 3589 (java) S 3575 3575 2709 0 -1 1077944384 7025 0 0 0 49 1 0 0 20 0 15 0 227763099 14427463680 60532 33554432000 4194304 4196468 140732467447248 140101445134832 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3590] ppid=3575 vsize=14089320 memory=748 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3590/stat : 3590 (java) S 3575 3575 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227763099 14427463680 60532 33554432000 4194304 4196468 140732467447248 140101444082528 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3591] ppid=3575 vsize=14089320 memory=872 CPUtime=0.55 cores=0,2,4,6
/proc/3577/task/3591/stat : 3591 (java) S 3575 3575 2709 0 -1 1077944384 1040 0 0 0 25 30 0 0 20 0 15 0 227763099 14427463680 60532 33554432000 4194304 4196468 140732467447248 140101443029552 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
Current children cumulated CPU time: 2389.61 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 243580 KiB
[startup+2442.3 s]
/proc/loadavg: 1.73 1.74 1.77 3/217 4069
/proc/meminfo: memFree=12898776/32770624 swapFree=67108792/67108860
[pid=3575] ppid=3572 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3575/stat : 3575 (xcsp3-exec) S 3572 3575 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227763093 115843072 363 33554432000 4194304 5098028 140735800512752 140735800510856 139756644614780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34971648 140735800517690 140735800517892 140735800517892 140735800520650 0
/proc/3575/statm: 28282 363 305 221 0 87 0
[pid=3577] ppid=3575 vsize=14089320 memory=244308 CPUtime=2449.68 cores=0,2,4,6
/proc/3577/stat : 3577 (java) S 3575 3575 2709 0 -1 1077944320 70322 0 0 0 244897 71 0 0 20 0 15 0 227763093 14427463680 61077 33554432000 4194304 4196468 140732467447248 140732467429792 140102471945975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
/proc/3577/statm: 3522330 61077 3418 1 0 3483524 0
[pid=3577/tid=3578] ppid=3575 vsize=14089320 memory=242260 CPUtime=2439.24 cores=0,2,4,6
/proc/3577/task/3578/stat : 3578 (java) R 3575 3575 2709 0 -1 4202560 20490 0 0 0 243915 9 0 0 20 0 15 0 227763093 14427463680 61077 33554432000 4194304 4196468 140732467447248 140102476185664 140102114888568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3579] ppid=3575 vsize=14089320 memory=242260 CPUtime=1.12 cores=0,2,4,6
/proc/3577/task/3579/stat : 3579 (java) S 3575 3575 2709 0 -1 1077944384 2382 0 0 0 101 11 0 0 20 0 15 0 227763094 14427463680 61077 33554432000 4194304 4196468 140732467447248 140102068190224 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3580] ppid=3575 vsize=14089320 memory=242260 CPUtime=1.12 cores=0,2,4,6
/proc/3577/task/3580/stat : 3580 (java) S 3575 3575 2709 0 -1 1077944384 2676 0 0 0 105 7 0 0 20 0 15 0 227763094 14427463680 61077 33554432000 4194304 4196468 140732467447248 140102067137680 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3581] ppid=3575 vsize=14089320 memory=242260 CPUtime=1.13 cores=0,2,4,6
/proc/3577/task/3581/stat : 3581 (java) S 3575 3575 2709 0 -1 1077944384 2902 0 0 0 104 9 0 0 20 0 15 0 227763094 14427463680 61077 33554432000 4194304 4196468 140732467447248 140102066084624 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3582] ppid=3575 vsize=14089320 memory=244308 CPUtime=1.12 cores=0,2,4,6
/proc/3577/task/3582/stat : 3582 (java) S 3575 3575 2709 0 -1 1077944384 2222 0 0 0 102 10 0 0 20 0 15 0 227763094 14427463680 61077 33554432000 4194304 4196468 140732467447248 140102065032080 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3583] ppid=3575 vsize=14089320 memory=244308 CPUtime=1.17 cores=0,2,4,6
/proc/3577/task/3583/stat : 3583 (java) S 3575 3575 2709 0 -1 1077944384 3667 0 0 0 110 7 0 0 20 0 15 0 227763096 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101451450608 140102471957122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3584] ppid=3575 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3584/stat : 3584 (java) S 3575 3575 2709 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 227763096 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101450396832 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3585] ppid=3575 vsize=14089320 memory=244308 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3585/stat : 3585 (java) S 3575 3575 2709 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 227763096 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101449343728 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3586] ppid=3575 vsize=14089320 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3586/stat : 3586 (java) S 3575 3575 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101448292304 140102471964571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3587] ppid=3575 vsize=14089320 memory=1452 CPUtime=1.83 cores=0,2,4,6
/proc/3577/task/3587/stat : 3587 (java) S 3575 3575 2709 0 -1 1077944384 15085 0 0 0 182 1 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101447240432 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3588] ppid=3575 vsize=14089320 memory=1220 CPUtime=1.78 cores=0,2,4,6
/proc/3577/task/3588/stat : 3588 (java) S 3575 3575 2709 0 -1 1077944384 11454 0 0 0 177 1 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101446187888 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3589] ppid=3575 vsize=14089320 memory=244308 CPUtime=0.5 cores=0,2,4,6
/proc/3577/task/3589/stat : 3589 (java) S 3575 3575 2709 0 -1 1077944384 7027 0 0 0 49 1 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101445134832 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3590] ppid=3575 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3590/stat : 3590 (java) S 3575 3575 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101444082528 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3591] ppid=3575 vsize=14089320 memory=244308 CPUtime=0.56 cores=0,2,4,6
/proc/3577/task/3591/stat : 3591 (java) S 3575 3575 2709 0 -1 1077944384 1046 0 0 0 25 31 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101443029552 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
Current children cumulated CPU time: 2449.68 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 245760 KiB
[startup+2502.3 s]
/proc/loadavg: 1.94 1.79 1.78 3/217 4070
/proc/meminfo: memFree=12898768/32770624 swapFree=67108792/67108860
[pid=3575] ppid=3572 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3575/stat : 3575 (xcsp3-exec) S 3572 3575 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227763093 115843072 363 33554432000 4194304 5098028 140735800512752 140735800510856 139756644614780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34971648 140735800517690 140735800517892 140735800517892 140735800520650 0
/proc/3575/statm: 28282 363 305 221 0 87 0
[pid=3577] ppid=3575 vsize=14089320 memory=244308 CPUtime=2509.75 cores=0,2,4,6
/proc/3577/stat : 3577 (java) S 3575 3575 2709 0 -1 1077944320 70839 0 0 0 250903 72 0 0 20 0 15 0 227763093 14427463680 61077 33554432000 4194304 4196468 140732467447248 140732467429792 140102471945975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
/proc/3577/statm: 3522330 61077 3418 1 0 3483524 0
[pid=3577/tid=3578] ppid=3575 vsize=14089320 memory=244308 CPUtime=2499.16 cores=0,2,4,6
/proc/3577/task/3578/stat : 3578 (java) R 3575 3575 2709 0 -1 4202560 20676 0 0 0 249907 9 0 0 20 0 15 0 227763093 14427463680 61077 33554432000 4194304 4196468 140732467447248 140102476185504 140102113567571 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3579] ppid=3575 vsize=14089320 memory=244308 CPUtime=1.14 cores=0,2,4,6
/proc/3577/task/3579/stat : 3579 (java) S 3575 3575 2709 0 -1 1077944384 2486 0 0 0 103 11 0 0 20 0 15 0 227763094 14427463680 61077 33554432000 4194304 4196468 140732467447248 140102068190224 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3580] ppid=3575 vsize=14089320 memory=244308 CPUtime=1.15 cores=0,2,4,6
/proc/3577/task/3580/stat : 3580 (java) S 3575 3575 2709 0 -1 1077944384 2742 0 0 0 107 8 0 0 20 0 15 0 227763094 14427463680 61077 33554432000 4194304 4196468 140732467447248 140102067137680 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3581] ppid=3575 vsize=14089320 memory=244308 CPUtime=1.15 cores=0,2,4,6
/proc/3577/task/3581/stat : 3581 (java) S 3575 3575 2709 0 -1 1077944384 2904 0 0 0 106 9 0 0 20 0 15 0 227763094 14427463680 61077 33554432000 4194304 4196468 140732467447248 140102066084624 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3582] ppid=3575 vsize=14089320 memory=244308 CPUtime=1.15 cores=0,2,4,6
/proc/3577/task/3582/stat : 3582 (java) S 3575 3575 2709 0 -1 1077944384 2226 0 0 0 105 10 0 0 20 0 15 0 227763094 14427463680 61077 33554432000 4194304 4196468 140732467447248 140102065032080 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3583] ppid=3575 vsize=14089320 memory=244308 CPUtime=1.2 cores=0,2,4,6
/proc/3577/task/3583/stat : 3583 (java) S 3575 3575 2709 0 -1 1077944384 3809 0 0 0 113 7 0 0 20 0 15 0 227763096 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101451450608 140102471957122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3584] ppid=3575 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3584/stat : 3584 (java) S 3575 3575 2709 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 227763096 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101450396832 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3585] ppid=3575 vsize=14089320 memory=244308 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3585/stat : 3585 (java) S 3575 3575 2709 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 227763096 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101449343728 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3586] ppid=3575 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3586/stat : 3586 (java) S 3575 3575 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101448292304 140102471964571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3587] ppid=3575 vsize=14089320 memory=1452 CPUtime=1.83 cores=0,2,4,6
/proc/3577/task/3587/stat : 3587 (java) S 3575 3575 2709 0 -1 1077944384 15085 0 0 0 182 1 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101447240432 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3588] ppid=3575 vsize=14089320 memory=244308 CPUtime=1.78 cores=0,2,4,6
/proc/3577/task/3588/stat : 3588 (java) S 3575 3575 2709 0 -1 1077944384 11454 0 0 0 177 1 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101446187888 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3589] ppid=3575 vsize=14089320 memory=1452 CPUtime=0.5 cores=0,2,4,6
/proc/3577/task/3589/stat : 3589 (java) S 3575 3575 2709 0 -1 1077944384 7027 0 0 0 49 1 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101445134832 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3590] ppid=3575 vsize=14089320 memory=3892 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3590/stat : 3590 (java) S 3575 3575 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101444082528 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3591] ppid=3575 vsize=14089320 memory=61984 CPUtime=0.58 cores=0,2,4,6
/proc/3577/task/3591/stat : 3591 (java) S 3575 3575 2709 0 -1 1077944384 1059 0 0 0 26 32 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101443029552 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
Current children cumulated CPU time: 2509.75 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 245760 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.6 s]
/proc/loadavg: 2.11 1.83 1.80 3/217 4070
/proc/meminfo: memFree=12898768/32770624 swapFree=67108792/67108860
[pid=3575] ppid=3572 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3575/stat : 3575 (xcsp3-exec) S 3572 3575 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227763093 115843072 363 33554432000 4194304 5098028 140735800512752 140735800510856 139756644614780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34971648 140735800517690 140735800517892 140735800517892 140735800520650 0
/proc/3575/statm: 28282 363 305 221 0 87 0
[pid=3577] ppid=3575 vsize=14089320 memory=244308 CPUtime=2520.06 cores=0,2,4,6
/proc/3577/stat : 3577 (java) S 3575 3575 2709 0 -1 1077944320 70870 0 0 0 251934 72 0 0 20 0 15 0 227763093 14427463680 61077 33554432000 4194304 4196468 140732467447248 140732467429792 140102471945975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
/proc/3577/statm: 3522330 61077 3418 1 0 3483524 0
[pid=3577/tid=3578] ppid=3575 vsize=14089320 memory=924 CPUtime=2509.45 cores=0,2,4,6
/proc/3577/task/3578/stat : 3578 (java) R 3575 3575 2709 0 -1 4202560 20707 0 0 0 250936 9 0 0 20 0 15 0 227763093 14427463680 61077 33554432000 4194304 4196468 140732467447248 140102476185632 140102114220413 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3579] ppid=3575 vsize=14089320 memory=2192 CPUtime=1.14 cores=0,2,4,6
/proc/3577/task/3579/stat : 3579 (java) S 3575 3575 2709 0 -1 1077944384 2486 0 0 0 103 11 0 0 20 0 15 0 227763094 14427463680 61077 33554432000 4194304 4196468 140732467447248 140102068190224 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3580] ppid=3575 vsize=14089320 memory=3984 CPUtime=1.15 cores=0,2,4,6
/proc/3577/task/3580/stat : 3580 (java) S 3575 3575 2709 0 -1 1077944384 2742 0 0 0 107 8 0 0 20 0 15 0 227763094 14427463680 61077 33554432000 4194304 4196468 140732467447248 140102067137680 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3581] ppid=3575 vsize=14089320 memory=1920 CPUtime=1.16 cores=0,2,4,6
/proc/3577/task/3581/stat : 3581 (java) S 3575 3575 2709 0 -1 1077944384 2904 0 0 0 107 9 0 0 20 0 15 0 227763094 14427463680 61077 33554432000 4194304 4196468 140732467447248 140102066084624 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3582] ppid=3575 vsize=14089320 memory=7892 CPUtime=1.15 cores=0,2,4,6
/proc/3577/task/3582/stat : 3582 (java) S 3575 3575 2709 0 -1 1077944384 2226 0 0 0 105 10 0 0 20 0 15 0 227763094 14427463680 61077 33554432000 4194304 4196468 140732467447248 140102065032080 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3583] ppid=3575 vsize=14089320 memory=808 CPUtime=1.2 cores=0,2,4,6
/proc/3577/task/3583/stat : 3583 (java) S 3575 3575 2709 0 -1 1077944384 3809 0 0 0 113 7 0 0 20 0 15 0 227763096 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101451450608 140102471957122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3584] ppid=3575 vsize=14089320 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3584/stat : 3584 (java) S 3575 3575 2709 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 227763096 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101450396832 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3585] ppid=3575 vsize=14089320 memory=920 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3585/stat : 3585 (java) S 3575 3575 2709 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 227763096 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101449343728 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3586] ppid=3575 vsize=14089320 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3586/stat : 3586 (java) S 3575 3575 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101448292304 140102471964571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3587] ppid=3575 vsize=14089320 memory=2836 CPUtime=1.83 cores=0,2,4,6
/proc/3577/task/3587/stat : 3587 (java) S 3575 3575 2709 0 -1 1077944384 15085 0 0 0 182 1 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101447240432 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3588] ppid=3575 vsize=14089320 memory=2884 CPUtime=1.78 cores=0,2,4,6
/proc/3577/task/3588/stat : 3588 (java) S 3575 3575 2709 0 -1 1077944384 11454 0 0 0 177 1 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101446187888 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3589] ppid=3575 vsize=14089320 memory=288230574492221466 CPUtime=0.5 cores=0,2,4,6
/proc/3577/task/3589/stat : 3589 (java) S 3575 3575 2709 0 -1 1077944384 7027 0 0 0 49 1 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101445134832 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3590] ppid=3575 vsize=14089320 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/3577/task/3590/stat : 3590 (java) S 3575 3575 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101444082528 140102471956181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
[pid=3577/tid=3591] ppid=3575 vsize=14089320 memory=15817794159643212 CPUtime=0.58 cores=0,2,4,6
/proc/3577/task/3591/stat : 3591 (java) S 3575 3575 2709 0 -1 1077944384 1059 0 0 0 26 32 0 0 20 0 15 0 227763099 14427463680 61077 33554432000 4194304 4196468 140732467447248 140101443029552 140102471957122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140732467455110 140732467455281 140732467455281 140732467457999 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 245760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.61 s]
# the end of solver process 3575 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001094 s, system=0.001094 s
[startup+2512.61 s]
# the end of solver process 3577 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.36 s, system=0.731461 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2512.61
CPU time (s): 2520.09
CPU user time (s): 2519.36
CPU system time (s): 0.731461
CPU usage (%): 100.298
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 245760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.36
system time used= 0.731461
maximum resident set size= 244776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71735
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88671
involuntary context switches= 3812
# summary of solver processes directly reported to runsolver:
# pid: 3575,3577
# total CPU time (s): 2520.09
# total CPU user time (s): 2519.36
# total CPU system time (s): 0.731461
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1682 second user time and 22.081 second system time
The end