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 (10371 MiB free)
memory of node 1: 16384 MiB (15381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272508-1502804924/watcher-4272508-1502804924 -o /tmp/evaluation-result-4272508-1502804924/solver-4272508-1502804924 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502786318-30227 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 551291674 HOME/instance-4272508-1502804924.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=2702, runsolver pid=2699
[startup+0.100089 s]*
/proc/loadavg: 1.91 1.94 1.89 3/217 2718
/proc/meminfo: memFree=26354180/32770624 swapFree=67108860/67108860
[pid=2702] ppid=2699 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2702/stat : 2702 (xcsp3-exec) S 2699 2702 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113580697 9740288 346 33554432000 4194304 5098028 140725822711232 140725822709336 140027788132988 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34451456 140725822714991 140725822715195 140725822715195 140725822717931 0
/proc/2702/statm: 2378 346 289 221 0 87 0
[pid=2704] ppid=2702 vsize=13978596 memory=28284 CPUtime=0.12 cores=1,3,5,7
/proc/2704/stat : 2704 (java) S 2702 2702 30195 0 -1 1077944320 5446 0 0 0 11 1 0 0 20 0 15 0 113580697 14314082304 7071 33554432000 4194304 4196468 140728641079664 140728641062208 140415245745911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
/proc/2704/statm: 3494649 7071 2863 1 0 3482966 0
[pid=2704/tid=2705] ppid=2702 vsize=13978596 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/2704/task/2705/stat : 2705 (java) R 2702 2702 30195 0 -1 4202560 3444 0 0 0 8 1 0 0 20 0 15 0 113580697 14314082304 7137 33554432000 4194304 4196468 140728641079664 140415249978016 140415245757846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2706] ppid=2702 vsize=13978596 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2706/stat : 2706 (java) S 2702 2702 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113580698 14314082304 7137 33554432000 4194304 4196468 140728641079664 140415175834768 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2707] ppid=2702 vsize=13978596 memory=140390243243648 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2707/stat : 2707 (java) S 2702 2702 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113580698 14314082304 7137 33554432000 4194304 4196468 140728641079664 140415174781968 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2708] ppid=2702 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2708/stat : 2708 (java) S 2702 2702 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113580698 14314082304 7137 33554432000 4194304 4196468 140728641079664 140415173729168 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2709] ppid=2702 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2709/stat : 2709 (java) S 2702 2702 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113580698 14314082304 7137 33554432000 4194304 4196468 140728641079664 140415172676368 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2710] ppid=2702 vsize=13978596 memory=140390243243648 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2710/stat : 2710 (java) S 2702 2702 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113580699 14314082304 7137 33554432000 4194304 4196468 140728641079664 140414719326576 140415245757058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2711] ppid=2702 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2711/stat : 2711 (java) S 2702 2702 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113580700 14314082304 7137 33554432000 4194304 4196468 140728641079664 140414718272544 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2712] ppid=2702 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2712/stat : 2712 (java) S 2702 2702 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113580700 14314082304 7137 33554432000 4194304 4196468 140728641079664 140414717219696 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2713] ppid=2702 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2713/stat : 2713 (java) S 2702 2702 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113580702 14314082304 7137 33554432000 4194304 4196468 140728641079664 140414716168016 140415245764507 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2714] ppid=2702 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2714/stat : 2714 (java) S 2702 2702 30195 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 113580702 14314082304 7137 33554432000 4194304 4196468 140728641079664 140414715116400 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2715] ppid=2702 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2715/stat : 2715 (java) S 2702 2702 30195 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 113580702 14314082304 7137 33554432000 4194304 4196468 140728641079664 140414714063600 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2716] ppid=2702 vsize=13978596 memory=140390243243648 CPUtime=0.01 cores=1,3,5,7
/proc/2704/task/2716/stat : 2716 (java) R 2702 2702 30195 0 -1 4202560 335 0 0 0 1 0 0 0 20 0 15 0 113580702 14314082304 7137 33554432000 4194304 4196468 140728641079664 140414713010800 140415224706847 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2717] ppid=2702 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2717/stat : 2717 (java) S 2702 2702 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113580703 14314082304 7137 33554432000 4194304 4196468 140728641079664 140414711958240 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2718] ppid=2702 vsize=13978596 memory=140390243243648 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2718/stat : 2718 (java) S 2702 2702 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113580703 14314082304 7137 33554432000 4194304 4196468 140728641079664 140414710905520 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29668 KiB
[startup+0.210878 s]*
/proc/loadavg: 1.92 1.94 1.89 4/217 2718
/proc/meminfo: memFree=26343496/32770624 swapFree=67108860/67108860
[pid=2702] ppid=2699 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2702/stat : 2702 (xcsp3-exec) S 2699 2702 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113580697 9740288 346 33554432000 4194304 5098028 140725822711232 140725822709336 140027788132988 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34451456 140725822714991 140725822715195 140725822715195 140725822717931 0
/proc/2702/statm: 2378 346 289 221 0 87 0
[pid=2704] ppid=2702 vsize=13982852 memory=40164 CPUtime=0.34 cores=1,3,5,7
/proc/2704/stat : 2704 (java) S 2702 2702 30195 0 -1 1077944320 8115 0 0 0 32 2 0 0 20 0 15 0 113580697 14318440448 10041 33554432000 4194304 4196468 140728641079664 140728641062208 140415245745911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
/proc/2704/statm: 3495713 10041 3069 1 0 3482966 0
[pid=2704/tid=2705] ppid=2702 vsize=13982852 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/2704/task/2705/stat : 2705 (java) R 2702 2702 30195 0 -1 4202560 5383 0 0 0 18 2 0 0 20 0 15 0 113580697 14318440448 10041 33554432000 4194304 4196468 140728641079664 140415249947744 140415238425133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2706] ppid=2702 vsize=13982884 memory=4294976255 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2706/stat : 2706 (java) S 2702 2702 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113580698 14318473216 10041 33554432000 4194304 4196468 140728641079664 140415175834768 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2707] ppid=2702 vsize=13982852 memory=140390243726368 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2707/stat : 2707 (java) S 2702 2702 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113580698 14318440448 10041 33554432000 4194304 4196468 140728641079664 140415174781968 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2708] ppid=2702 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2708/stat : 2708 (java) S 2702 2702 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113580698 14318440448 10041 33554432000 4194304 4196468 140728641079664 140415173729168 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2709] ppid=2702 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2709/stat : 2709 (java) S 2702 2702 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113580698 14318440448 10041 33554432000 4194304 4196468 140728641079664 140415172676368 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2710] ppid=2702 vsize=13982852 memory=140390243243648 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2710/stat : 2710 (java) S 2702 2702 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113580699 14318440448 10041 33554432000 4194304 4196468 140728641079664 140414719326576 140415245757058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2711] ppid=2702 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2711/stat : 2711 (java) S 2702 2702 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113580700 14318440448 10041 33554432000 4194304 4196468 140728641079664 140414718272544 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2712] ppid=2702 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2712/stat : 2712 (java) S 2702 2702 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113580700 14318440448 10041 33554432000 4194304 4196468 140728641079664 140414717219696 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2713] ppid=2702 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2713/stat : 2713 (java) S 2702 2702 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113580702 14318440448 10041 33554432000 4194304 4196468 140728641079664 140414716168016 140415245764507 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2714] ppid=2702 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2704/task/2714/stat : 2714 (java) S 2702 2702 30195 0 -1 1077944384 485 0 0 0 2 0 0 0 20 0 15 0 113580702 14318440448 10041 33554432000 4194304 4196468 140728641079664 140414715116400 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2715] ppid=2702 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2704/task/2715/stat : 2715 (java) S 2702 2702 30195 0 -1 1077944384 278 0 0 0 2 0 0 0 20 0 15 0 113580702 14318440448 10041 33554432000 4194304 4196468 140728641079664 140414714063600 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2716] ppid=2702 vsize=13982852 memory=140390243243648 CPUtime=0.08 cores=1,3,5,7
/proc/2704/task/2716/stat : 2716 (java) R 2702 2702 30195 0 -1 4202560 721 0 0 0 8 0 0 0 20 0 15 0 113580702 14318440448 10041 33554432000 4194304 4196468 140728641079664 140414713010800 140415245767258 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2717] ppid=2702 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2717/stat : 2717 (java) S 2702 2702 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113580703 14318440448 10041 33554432000 4194304 4196468 140728641079664 140414711958240 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2718] ppid=2702 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2718/stat : 2718 (java) S 2702 2702 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113580703 14318440448 10041 33554432000 4194304 4196468 140728641079664 140414710905520 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41548 KiB
[startup+0.310856 s]*
/proc/loadavg: 1.92 1.94 1.89 3/217 2718
/proc/meminfo: memFree=26336424/32770624 swapFree=67108860/67108860
[pid=2702] ppid=2699 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2702/stat : 2702 (xcsp3-exec) S 2699 2702 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113580697 9740288 346 33554432000 4194304 5098028 140725822711232 140725822709336 140027788132988 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34451456 140725822714991 140725822715195 140725822715195 140725822717931 0
/proc/2702/statm: 2378 346 289 221 0 87 0
[pid=2704] ppid=2702 vsize=13982928 memory=47364 CPUtime=0.5 cores=1,3,5,7
/proc/2704/stat : 2704 (java) S 2702 2702 30195 0 -1 1077944320 9017 0 0 0 47 3 0 0 20 0 15 0 113580697 14318518272 11841 33554432000 4194304 4196468 140728641079664 140728641062208 140415245745911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
/proc/2704/statm: 3495732 11841 3100 1 0 3482966 0
[pid=2704/tid=2705] ppid=2702 vsize=13982928 memory=7310027617963868211 CPUtime=0.29 cores=1,3,5,7
/proc/2704/task/2705/stat : 2705 (java) R 2702 2702 30195 0 -1 4202560 6078 0 0 0 27 2 0 0 20 0 15 0 113580697 14318518272 11906 33554432000 4194304 4196468 140728641079664 140415249978272 140415229826398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2706] ppid=2702 vsize=13982928 memory=288230608969409282 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2706/stat : 2706 (java) S 2702 2702 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113580698 14318518272 11906 33554432000 4194304 4196468 140728641079664 140415175834768 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2707] ppid=2702 vsize=13982928 memory=14126762456502818 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2707/stat : 2707 (java) S 2702 2702 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113580698 14318518272 11906 33554432000 4194304 4196468 140728641079664 140415174781968 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2708] ppid=2702 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2708/stat : 2708 (java) S 2702 2702 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113580698 14318518272 11906 33554432000 4194304 4196468 140728641079664 140415173729168 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2709] ppid=2702 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2709/stat : 2709 (java) S 2702 2702 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113580698 14318518272 11906 33554432000 4194304 4196468 140728641079664 140415172676368 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2710] ppid=2702 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2710/stat : 2710 (java) S 2702 2702 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113580699 14318518272 11906 33554432000 4194304 4196468 140728641079664 140414719326576 140415245757058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2711] ppid=2702 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2711/stat : 2711 (java) S 2702 2702 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113580700 14318518272 11906 33554432000 4194304 4196468 140728641079664 140414718272544 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2712] ppid=2702 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2712/stat : 2712 (java) S 2702 2702 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113580700 14318518272 11906 33554432000 4194304 4196468 140728641079664 140414717219696 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2713] ppid=2702 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2713/stat : 2713 (java) S 2702 2702 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113580702 14318518272 11906 33554432000 4194304 4196468 140728641079664 140414716168016 140415245764507 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2714] ppid=2702 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2704/task/2714/stat : 2714 (java) S 2702 2702 30195 0 -1 1077944384 546 0 0 0 4 0 0 0 20 0 15 0 113580702 14318518272 11906 33554432000 4194304 4196468 140728641079664 140414715116400 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2715] ppid=2702 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2704/task/2715/stat : 2715 (java) S 2702 2702 30195 0 -1 1077944384 295 0 0 0 4 0 0 0 20 0 15 0 113580702 14318518272 11906 33554432000 4194304 4196468 140728641079664 140414714063600 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2716] ppid=2702 vsize=13982928 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/2704/task/2716/stat : 2716 (java) S 2702 2702 30195 0 -1 1077944384 816 0 0 0 11 0 0 0 20 0 15 0 113580702 14318518272 11919 33554432000 4194304 4196468 140728641079664 140414713010800 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2717] ppid=2702 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2717/stat : 2717 (java) S 2702 2702 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113580703 14318518272 11919 33554432000 4194304 4196468 140728641079664 140414711958240 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2718] ppid=2702 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2718/stat : 2718 (java) S 2702 2702 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113580703 14318518272 11919 33554432000 4194304 4196468 140728641079664 140414710905520 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 48748 KiB
[startup+0.703407 s]
/proc/loadavg: 1.92 1.94 1.89 5/217 2718
/proc/meminfo: memFree=26322648/32770624 swapFree=67108860/67108860
[pid=2702] ppid=2699 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2702/stat : 2702 (xcsp3-exec) S 2699 2702 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113580697 9740288 346 33554432000 4194304 5098028 140725822711232 140725822709336 140027788132988 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34451456 140725822714991 140725822715195 140725822715195 140725822717931 0
/proc/2702/statm: 2378 346 289 221 0 87 0
[pid=2704] ppid=2702 vsize=13984976 memory=70564 CPUtime=1.55 cores=1,3,5,7
/proc/2704/stat : 2704 (java) S 2702 2702 30195 0 -1 1077944320 11289 0 0 0 150 5 0 0 20 0 15 0 113580697 14320615424 17641 33554432000 4194304 4196468 140728641079664 140728641062208 140415245745911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
/proc/2704/statm: 3496244 17641 3205 1 0 3483478 0
[pid=2704/tid=2705] ppid=2702 vsize=13984976 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/2704/task/2705/stat : 2705 (java) R 2702 2702 30195 0 -1 4202560 6638 0 0 0 64 3 0 0 20 0 15 0 113580697 14320615424 17641 33554432000 4194304 4196468 140728641079664 140415249982832 140414845856449 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2706] ppid=2702 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2706/stat : 2706 (java) S 2702 2702 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113580698 14320615424 17641 33554432000 4194304 4196468 140728641079664 140415175834768 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2707] ppid=2702 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2707/stat : 2707 (java) S 2702 2702 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113580698 14320615424 17641 33554432000 4194304 4196468 140728641079664 140415174781968 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2708] ppid=2702 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2708/stat : 2708 (java) S 2702 2702 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113580698 14320615424 17641 33554432000 4194304 4196468 140728641079664 140415173729168 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2709] ppid=2702 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2709/stat : 2709 (java) S 2702 2702 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113580698 14320615424 17641 33554432000 4194304 4196468 140728641079664 140415172676368 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2710] ppid=2702 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2710/stat : 2710 (java) S 2702 2702 30195 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113580699 14320615424 17641 33554432000 4194304 4196468 140728641079664 140414719326576 140415245757058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2711] ppid=2702 vsize=13984976 memory=928 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2711/stat : 2711 (java) S 2702 2702 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113580700 14320615424 17641 33554432000 4194304 4196468 140728641079664 140414718272544 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2712] ppid=2702 vsize=13984976 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2712/stat : 2712 (java) S 2702 2702 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113580700 14320615424 17641 33554432000 4194304 4196468 140728641079664 140414717219696 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2713] ppid=2702 vsize=13984976 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2713/stat : 2713 (java) S 2702 2702 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113580702 14320615424 17641 33554432000 4194304 4196468 140728641079664 140414716168016 140415245764507 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2714] ppid=2702 vsize=13984976 memory=4316 CPUtime=0.31 cores=1,3,5,7
/proc/2704/task/2714/stat : 2714 (java) R 2702 2702 30195 0 -1 4202560 1181 0 0 0 31 0 0 0 20 0 15 0 113580702 14320615424 17641 33554432000 4194304 4196468 140728641079664 140414715116400 140415225402529 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2715] ppid=2702 vsize=13984976 memory=2196 CPUtime=0.28 cores=1,3,5,7
/proc/2704/task/2715/stat : 2715 (java) R 2702 2702 30195 0 -1 4202560 821 0 0 0 28 0 0 0 20 0 15 0 113580702 14320615424 17641 33554432000 4194304 4196468 140728641079664 140414714044616 140415230861154 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2716] ppid=2702 vsize=13984976 memory=6760 CPUtime=0.25 cores=1,3,5,7
/proc/2704/task/2716/stat : 2716 (java) S 2702 2702 30195 0 -1 1077944384 1342 0 0 0 25 0 0 0 20 0 15 0 113580702 14320615424 17641 33554432000 4194304 4196468 140728641079664 140414713010800 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2717] ppid=2702 vsize=13984976 memory=832 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2717/stat : 2717 (java) S 2702 2702 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113580703 14320615424 17641 33554432000 4194304 4196468 140728641079664 140414711958240 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2718] ppid=2702 vsize=13984976 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2718/stat : 2718 (java) S 2702 2702 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113580703 14320615424 17641 33554432000 4194304 4196468 140728641079664 140414710905520 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 71948 KiB
[startup+1.50338 s]
/proc/loadavg: 1.92 1.94 1.89 5/217 2718
/proc/meminfo: memFree=26262952/32770624 swapFree=67108860/67108860
[pid=2702] ppid=2699 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2702/stat : 2702 (xcsp3-exec) S 2699 2702 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113580697 9740288 346 33554432000 4194304 5098028 140725822711232 140725822709336 140027788132988 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34451456 140725822714991 140725822715195 140725822715195 140725822717931 0
/proc/2702/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/2704/task/2712/stat : 2712 (java) S 2702 2702 30195 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 113580700 14320615424 185800 33554432000 4194304 4196468 140728641079664 140414717219712 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2713] ppid=2702 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2713/stat : 2713 (java) S 2702 2702 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113580702 14320615424 185800 33554432000 4194304 4196468 140728641079664 140414716168016 140415245764507 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2714] ppid=2702 vsize=13984976 memory=1384 CPUtime=3.55 cores=1,3,5,7
/proc/2704/task/2714/stat : 2714 (java) S 2702 2702 30195 0 -1 1077944384 20346 0 0 0 353 2 0 0 20 0 15 0 113580702 14320615424 185800 33554432000 4194304 4196468 140728641079664 140414715116400 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2715] ppid=2702 vsize=13984976 memory=1384 CPUtime=3.86 cores=1,3,5,7
/proc/2704/task/2715/stat : 2715 (java) S 2702 2702 30195 0 -1 1077944384 21295 0 0 0 384 2 0 0 20 0 15 0 113580702 14320615424 185800 33554432000 4194304 4196468 140728641079664 140414714063600 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2716] ppid=2702 vsize=13984976 memory=743200 CPUtime=0.67 cores=1,3,5,7
/proc/2704/task/2716/stat : 2716 (java) S 2702 2702 30195 0 -1 1077944384 10524 0 0 0 65 2 0 0 20 0 15 0 113580702 14320615424 185800 33554432000 4194304 4196468 140728641079664 140414713010800 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2717] ppid=2702 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2717/stat : 2717 (java) S 2702 2702 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113580703 14320615424 185800 33554432000 4194304 4196468 140728641079664 140414711958240 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2718] ppid=2702 vsize=13984976 memory=15876 CPUtime=1.2 cores=1,3,5,7
/proc/2704/task/2718/stat : 2718 (java) S 2702 2702 30195 0 -1 1077944384 910 0 0 0 60 60 0 0 20 0 15 0 113580703 14320615424 185800 33554432000 4194304 4196468 140728641079664 140414710905520 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
Current children cumulated CPU time: 2384.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 744584 KiB
[startup+2382.3 s]
/proc/loadavg: 1.43 1.38 1.41 3/218 2890
/proc/meminfo: memFree=30172504/32770624 swapFree=67108860/67108860
[pid=2702] ppid=2699 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2702/stat : 2702 (xcsp3-exec) S 2699 2702 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113580697 9740288 346 33554432000 4194304 5098028 140725822711232 140725822709336 140027788132988 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34451456 140725822714991 140725822715195 140725822715195 140725822717931 0
/proc/2702/statm: 2378 346 289 221 0 87 0
[pid=2704] ppid=2702 vsize=13984976 memory=692320 CPUtime=2446 cores=1,3,5,7
/proc/2704/stat : 2704 (java) S 2702 2702 30195 0 -1 1077944320 230333 0 0 0 244302 298 0 0 20 0 15 0 113580697 14320615424 173080 33554432000 4194304 4196468 140728641079664 140728641062208 140415245745911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
/proc/2704/statm: 3496244 173080 3288 1 0 3483478 0
[pid=2704/tid=2705] ppid=2702 vsize=13984976 memory=692320 CPUtime=2360.58 cores=1,3,5,7
/proc/2704/task/2705/stat : 2705 (java) R 2702 2702 30195 0 -1 4202560 101597 0 0 0 236029 29 0 0 20 0 15 0 113580697 14320615424 173080 33554432000 4194304 4196468 140728641079664 140415249985168 140414851533951 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2706] ppid=2702 vsize=13984976 memory=692320 CPUtime=18.36 cores=1,3,5,7
/proc/2704/task/2706/stat : 2706 (java) S 2702 2702 30195 0 -1 1077944384 15910 0 0 0 1789 47 0 0 20 0 15 0 113580698 14320615424 173080 33554432000 4194304 4196468 140728641079664 140415175834768 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2707] ppid=2702 vsize=13984976 memory=1384 CPUtime=18.32 cores=1,3,5,7
/proc/2704/task/2707/stat : 2707 (java) S 2702 2702 30195 0 -1 1077944384 14298 0 0 0 1784 48 0 0 20 0 15 0 113580698 14320615424 173080 33554432000 4194304 4196468 140728641079664 140415174781968 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2708] ppid=2702 vsize=13984976 memory=280780267877408 CPUtime=18.34 cores=1,3,5,7
/proc/2704/task/2708/stat : 2708 (java) S 2702 2702 30195 0 -1 1077944384 15169 0 0 0 1789 45 0 0 20 0 15 0 113580698 14320615424 173080 33554432000 4194304 4196468 140728641079664 140415173729168 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2709] ppid=2702 vsize=13984976 memory=280779729583309 CPUtime=18.32 cores=1,3,5,7
/proc/2704/task/2709/stat : 2709 (java) S 2702 2702 30195 0 -1 1077944384 14671 0 0 0 1785 47 0 0 20 0 15 0 113580698 14320615424 173080 33554432000 4194304 4196468 140728641079664 140415172676368 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2710] ppid=2702 vsize=13984976 memory=648 CPUtime=2.68 cores=1,3,5,7
/proc/2704/task/2710/stat : 2710 (java) S 2702 2702 30195 0 -1 1077944384 14197 0 0 0 240 28 0 0 20 0 15 0 113580699 14320615424 173080 33554432000 4194304 4196468 140728641079664 140414719326576 140415245757058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2711] ppid=2702 vsize=13984976 memory=724684 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2711/stat : 2711 (java) S 2702 2702 30195 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 113580700 14320615424 173080 33554432000 4194304 4196468 140728641079664 140414718272608 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2712] ppid=2702 vsize=13984976 memory=280780267948624 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2712/stat : 2712 (java) S 2702 2702 30195 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 113580700 14320615424 173080 33554432000 4194304 4196468 140728641079664 140414717219712 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2713] ppid=2702 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2713/stat : 2713 (java) S 2702 2702 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113580702 14320615424 173080 33554432000 4194304 4196468 140728641079664 140414716168016 140415245764507 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2714] ppid=2702 vsize=13984976 memory=722120 CPUtime=3.55 cores=1,3,5,7
/proc/2704/task/2714/stat : 2714 (java) S 2702 2702 30195 0 -1 1077944384 20348 0 0 0 353 2 0 0 20 0 15 0 113580702 14320615424 173080 33554432000 4194304 4196468 140728641079664 140414715116400 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2715] ppid=2702 vsize=13984976 memory=164 CPUtime=3.86 cores=1,3,5,7
/proc/2704/task/2715/stat : 2715 (java) S 2702 2702 30195 0 -1 1077944384 21297 0 0 0 384 2 0 0 20 0 15 0 113580702 14320615424 173080 33554432000 4194304 4196468 140728641079664 140414714063600 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2716] ppid=2702 vsize=13984976 memory=7453854776898642516 CPUtime=0.67 cores=1,3,5,7
/proc/2704/task/2716/stat : 2716 (java) S 2702 2702 30195 0 -1 1077944384 10526 0 0 0 65 2 0 0 20 0 15 0 113580702 14320615424 173080 33554432000 4194304 4196468 140728641079664 140414713010800 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2717] ppid=2702 vsize=13984976 memory=18700 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2717/stat : 2717 (java) S 2702 2702 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113580703 14320615424 173080 33554432000 4194304 4196468 140728641079664 140414711958240 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2718] ppid=2702 vsize=13984976 memory=1232 CPUtime=1.24 cores=1,3,5,7
/proc/2704/task/2718/stat : 2718 (java) S 2702 2702 30195 0 -1 1077944384 928 0 0 0 61 63 0 0 20 0 15 0 113580703 14320615424 173080 33554432000 4194304 4196468 140728641079664 140414710905520 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
Current children cumulated CPU time: 2446 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 693704 KiB
[startup+2442.3 s]
/proc/loadavg: 1.29 1.34 1.40 3/217 2891
/proc/meminfo: memFree=30208544/32770624 swapFree=67108860/67108860
[pid=2702] ppid=2699 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2702/stat : 2702 (xcsp3-exec) S 2699 2702 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113580697 9740288 346 33554432000 4194304 5098028 140725822711232 140725822709336 140027788132988 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34451456 140725822714991 140725822715195 140725822715195 140725822717931 0
/proc/2702/statm: 2378 346 289 221 0 87 0
[pid=2704] ppid=2702 vsize=13984976 memory=657436 CPUtime=2507.08 cores=1,3,5,7
/proc/2704/stat : 2704 (java) S 2702 2702 30195 0 -1 1077944320 232019 0 0 0 250407 301 0 0 20 0 15 0 113580697 14320615424 164359 33554432000 4194304 4196468 140728641079664 140728641062208 140415245745911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
/proc/2704/statm: 3496244 164359 3288 1 0 3483478 0
[pid=2704/tid=2705] ppid=2702 vsize=13984976 memory=661540 CPUtime=2420.18 cores=1,3,5,7
/proc/2704/task/2705/stat : 2705 (java) R 2702 2702 30195 0 -1 4202560 102138 0 0 0 241989 29 0 0 20 0 15 0 113580697 14320615424 164359 33554432000 4194304 4196468 140728641079664 140415249985280 140414848843823 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2706] ppid=2702 vsize=13984976 memory=664620 CPUtime=18.72 cores=1,3,5,7
/proc/2704/task/2706/stat : 2706 (java) S 2702 2702 30195 0 -1 1077944384 16027 0 0 0 1824 48 0 0 20 0 15 0 113580698 14320615424 164359 33554432000 4194304 4196468 140728641079664 140415175834768 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2707] ppid=2702 vsize=13984976 memory=662056 CPUtime=18.68 cores=1,3,5,7
/proc/2704/task/2707/stat : 2707 (java) S 2702 2702 30195 0 -1 1077944384 14443 0 0 0 1819 49 0 0 20 0 15 0 113580698 14320615424 164359 33554432000 4194304 4196468 140728641079664 140415174781968 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2708] ppid=2702 vsize=13984976 memory=659488 CPUtime=18.69 cores=1,3,5,7
/proc/2704/task/2708/stat : 2708 (java) S 2702 2702 30195 0 -1 1077944384 15423 0 0 0 1824 45 0 0 20 0 15 0 113580698 14320615424 164359 33554432000 4194304 4196468 140728641079664 140415173729168 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2709] ppid=2702 vsize=13984976 memory=657436 CPUtime=18.67 cores=1,3,5,7
/proc/2704/task/2709/stat : 2709 (java) S 2702 2702 30195 0 -1 1077944384 15085 0 0 0 1820 47 0 0 20 0 15 0 113580698 14320615424 164359 33554432000 4194304 4196468 140728641079664 140415172676368 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2710] ppid=2702 vsize=13984976 memory=1384 CPUtime=2.7 cores=1,3,5,7
/proc/2704/task/2710/stat : 2710 (java) S 2702 2702 30195 0 -1 1077944384 14377 0 0 0 242 28 0 0 20 0 15 0 113580699 14320615424 164359 33554432000 4194304 4196468 140728641079664 140414719326576 140415245757058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2711] ppid=2702 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2711/stat : 2711 (java) S 2702 2702 30195 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 113580700 14320615424 164359 33554432000 4194304 4196468 140728641079664 140414718272608 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2712] ppid=2702 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2712/stat : 2712 (java) S 2702 2702 30195 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 113580700 14320615424 164359 33554432000 4194304 4196468 140728641079664 140414717219712 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2713] ppid=2702 vsize=13984976 memory=659488 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2713/stat : 2713 (java) S 2702 2702 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113580702 14320615424 164359 33554432000 4194304 4196468 140728641079664 140414716168016 140415245764507 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2714] ppid=2702 vsize=13984976 memory=1384 CPUtime=3.55 cores=1,3,5,7
/proc/2704/task/2714/stat : 2714 (java) S 2702 2702 30195 0 -1 1077944384 20350 0 0 0 353 2 0 0 20 0 15 0 113580702 14320615424 164359 33554432000 4194304 4196468 140728641079664 140414715116400 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2715] ppid=2702 vsize=13984976 memory=1384 CPUtime=3.86 cores=1,3,5,7
/proc/2704/task/2715/stat : 2715 (java) S 2702 2702 30195 0 -1 1077944384 21299 0 0 0 384 2 0 0 20 0 15 0 113580702 14320615424 164359 33554432000 4194304 4196468 140728641079664 140414714063600 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2716] ppid=2702 vsize=13984976 memory=1384 CPUtime=0.67 cores=1,3,5,7
/proc/2704/task/2716/stat : 2716 (java) S 2702 2702 30195 0 -1 1077944384 10528 0 0 0 65 2 0 0 20 0 15 0 113580702 14320615424 164359 33554432000 4194304 4196468 140728641079664 140414713010800 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2717] ppid=2702 vsize=13984976 memory=658976 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2717/stat : 2717 (java) S 2702 2702 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113580703 14320615424 164359 33554432000 4194304 4196468 140728641079664 140414711958240 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2718] ppid=2702 vsize=13984976 memory=1384 CPUtime=1.27 cores=1,3,5,7
/proc/2704/task/2718/stat : 2718 (java) S 2702 2702 30195 0 -1 1077944384 957 0 0 0 63 64 0 0 20 0 15 0 113580703 14320615424 164359 33554432000 4194304 4196468 140728641079664 140414710905520 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
Current children cumulated CPU time: 2507.08 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 658820 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2455 s]*
/proc/loadavg: 1.33 1.34 1.40 3/217 2892
/proc/meminfo: memFree=30214208/32770624 swapFree=67108860/67108860
[pid=2702] ppid=2699 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2702/stat : 2702 (xcsp3-exec) S 2699 2702 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113580697 9740288 346 33554432000 4194304 5098028 140725822711232 140725822709336 140027788132988 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34451456 140725822714991 140725822715195 140725822715195 140725822717931 0
/proc/2702/statm: 2378 346 289 221 0 87 0
[pid=2704] ppid=2702 vsize=13984976 memory=651280 CPUtime=2520.02 cores=1,3,5,7
/proc/2704/stat : 2704 (java) S 2702 2702 30195 0 -1 1077944320 232452 0 0 0 251700 302 0 0 20 0 15 0 113580697 14320615424 162820 33554432000 4194304 4196468 140728641079664 140728641062208 140415245745911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
/proc/2704/statm: 3496244 162820 3288 1 0 3483478 0
[pid=2704/tid=2705] ppid=2702 vsize=13984976 memory=6935054825532540783 CPUtime=2432.8 cores=1,3,5,7
/proc/2704/task/2705/stat : 2705 (java) R 2702 2702 30195 0 -1 4202560 102303 0 0 0 243251 29 0 0 20 0 15 0 113580697 14320615424 162820 33554432000 4194304 4196468 140728641079664 140415249985280 140414851533555 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2706] ppid=2702 vsize=13984976 memory=4126316290023845779 CPUtime=18.79 cores=1,3,5,7
/proc/2704/task/2706/stat : 2706 (java) S 2702 2702 30195 0 -1 1077944384 16033 0 0 0 1831 48 0 0 20 0 15 0 113580698 14320615424 162820 33554432000 4194304 4196468 140728641079664 140415175834768 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2707] ppid=2702 vsize=13984976 memory=-8412652169205224307 CPUtime=18.75 cores=1,3,5,7
/proc/2704/task/2707/stat : 2707 (java) S 2702 2702 30195 0 -1 1077944384 14445 0 0 0 1826 49 0 0 20 0 15 0 113580698 14320615424 162820 33554432000 4194304 4196468 140728641079664 140415174781968 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2708] ppid=2702 vsize=13984976 memory=7449352229286996324 CPUtime=18.76 cores=1,3,5,7
/proc/2704/task/2708/stat : 2708 (java) S 2702 2702 30195 0 -1 1077944384 15424 0 0 0 1831 45 0 0 20 0 15 0 113580698 14320615424 162820 33554432000 4194304 4196468 140728641079664 140415173729168 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2709] ppid=2702 vsize=13984976 memory=7812175742244777280 CPUtime=18.75 cores=1,3,5,7
/proc/2704/task/2709/stat : 2709 (java) S 2702 2702 30195 0 -1 1077944384 15090 0 0 0 1828 47 0 0 20 0 15 0 113580698 14320615424 162820 33554432000 4194304 4196468 140728641079664 140415172676368 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2710] ppid=2702 vsize=13984976 memory=7666930200397304662 CPUtime=2.7 cores=1,3,5,7
/proc/2704/task/2710/stat : 2710 (java) S 2702 2702 30195 0 -1 1077944384 14377 0 0 0 242 28 0 0 20 0 15 0 113580699 14320615424 162820 33554432000 4194304 4196468 140728641079664 140414719326576 140415245757058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2711] ppid=2702 vsize=13984976 memory=7526187226697590888 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2711/stat : 2711 (java) S 2702 2702 30195 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 113580700 14320615424 162820 33554432000 4194304 4196468 140728641079664 140414718272608 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2712] ppid=2702 vsize=13984976 memory=8026093352743693669 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2712/stat : 2712 (java) S 2702 2702 30195 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 113580700 14320615424 162820 33554432000 4194304 4196468 140728641079664 140414717219712 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2713] ppid=2702 vsize=13984976 memory=7523384615112304960 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2713/stat : 2713 (java) S 2702 2702 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113580702 14320615424 162820 33554432000 4194304 4196468 140728641079664 140414716168016 140415245764507 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2714] ppid=2702 vsize=13984976 memory=7234866124115431760 CPUtime=3.56 cores=1,3,5,7
/proc/2704/task/2714/stat : 2714 (java) S 2702 2702 30195 0 -1 1077944384 20350 0 0 0 354 2 0 0 20 0 15 0 113580702 14320615424 162820 33554432000 4194304 4196468 140728641079664 140414715116400 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2715] ppid=2702 vsize=13984976 memory=7308892972788246632 CPUtime=3.86 cores=1,3,5,7
/proc/2704/task/2715/stat : 2715 (java) S 2702 2702 30195 0 -1 1077944384 21299 0 0 0 384 2 0 0 20 0 15 0 113580702 14320615424 162820 33554432000 4194304 4196468 140728641079664 140414714063600 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2716] ppid=2702 vsize=13984976 memory=7379255073254299750 CPUtime=0.67 cores=1,3,5,7
/proc/2704/task/2716/stat : 2716 (java) S 2702 2702 30195 0 -1 1077944384 10782 0 0 0 65 2 0 0 20 0 15 0 113580702 14320615424 162820 33554432000 4194304 4196468 140728641079664 140414713010800 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2717] ppid=2702 vsize=13984976 memory=6156254004685923428 CPUtime=0 cores=1,3,5,7
/proc/2704/task/2717/stat : 2717 (java) S 2702 2702 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113580703 14320615424 162820 33554432000 4194304 4196468 140728641079664 140414711958240 140415245756117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
[pid=2704/tid=2718] ppid=2702 vsize=13984976 memory=6004543437564241776 CPUtime=1.28 cores=1,3,5,7
/proc/2704/task/2718/stat : 2718 (java) S 2702 2702 30195 0 -1 1077944384 957 0 0 0 63 65 0 0 20 0 15 0 113580703 14320615424 162820 33554432000 4194304 4196468 140728641079664 140414710905520 140415245757058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 21942272 140728641086615 140728641086791 140728641086791 140728641089487 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 652664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2455.02 s]
# the end of solver process 2702 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000922 s, system=0.000922 s
[startup+2455.02 s]
# the end of solver process 2704 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.02 s, system=3.02685 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): 2455.02
CPU time (s): 2520.04
CPU user time (s): 2517.02
CPU system time (s): 3.02685
CPU usage (%): 102.649
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 800964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.02
system time used= 3.02685
maximum resident set size= 799580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233152
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103170
involuntary context switches= 4126
# summary of solver processes directly reported to runsolver:
# pid: 2702,2704
# total CPU time (s): 2520.04
# total CPU user time (s): 2517.02
# total CPU system time (s): 3.02685
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.828 second user time and 22.9975 second system time
The end