2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j-CSP 2018-07-11	? (TO)	2400.22	2320.19
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 (2490 MiB free)
  memory of node 1: 16384 MiB (6459 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290079-1532594608/watcher-4290079-1532594608 -o /tmp/evaluation-result-4290079-1532594608/solver-4290079-1532594608 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532594608-1082 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290079-1532594608.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1111, runsolver pid=1105

[startup+0.101272 s]*
/proc/loadavg: 1.34 1.45 1.47 5/216 1142
/proc/meminfo: memFree=9133480/32770624 swapFree=67108860/67108860
[pid=1111] ppid=1105 vsize=10659012 memory=29616 CPUtime=0.1 cores=0,2,4,6
/proc/1111/stat : 1111 (java) S 1105 1111 32243 0 -1 1077944320 6474 0 0 0 9 1 0 0 20 0 15 0 77023631 10914828288 7404 33554432000 4194304 4196468 140736207197344 140736207179888 139628790005495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
/proc/1111/statm: 2664753 7404 2821 1 0 2627263 0
[pid=1111/tid=1116] ppid=1105 vsize=10659012 memory=8326441112148417179 CPUtime=0.08 cores=0,2,4,6
/proc/1111/task/1116/stat : 1116 (java) R 1105 1111 32243 0 -1 4202560 4378 0 0 0 7 1 0 0 20 0 15 0 77023632 10914828288 7470 33554432000 4194304 4196468 140736207197344 139628794193840 139628774085982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1117] ppid=1105 vsize=10659012 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1117/stat : 1117 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023633 10914828288 7470 33554432000 4194304 4196468 140736207197344 139628396931344 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1119] ppid=1105 vsize=10659012 memory=140109084202624 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1119/stat : 1119 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023633 10914828288 7470 33554432000 4194304 4196468 140736207197344 139628395878800 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1121] ppid=1105 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1121/stat : 1121 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023633 10914828288 7495 33554432000 4194304 4196468 140736207197344 139628394826256 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1123] ppid=1105 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1123/stat : 1123 (java) S 1105 1111 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023633 10914828288 7495 33554432000 4194304 4196468 140736207197344 139628393773712 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1126] ppid=1105 vsize=10659012 memory=140109084202624 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1126/stat : 1126 (java) S 1105 1111 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023634 10914828288 7495 33554432000 4194304 4196468 140736207197344 139628282382832 139628790016642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1128] ppid=1105 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1128/stat : 1128 (java) S 1105 1111 32243 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77023635 10914828288 7495 33554432000 4194304 4196468 140736207197344 139628281329056 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1130] ppid=1105 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1130/stat : 1130 (java) S 1105 1111 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77023635 10914828288 7495 33554432000 4194304 4196468 140736207197344 139628280276464 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1131] ppid=1105 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1131/stat : 1131 (java) S 1105 1111 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023638 10914828288 7495 33554432000 4194304 4196468 140736207197344 139628279225040 139628790024091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1133] ppid=1105 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1133/stat : 1133 (java) S 1105 1111 32243 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 77023638 10914828288 7495 33554432000 4194304 4196468 140736207197344 139628278171632 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1135] ppid=1105 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1135/stat : 1135 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023638 10914828288 7495 33554432000 4194304 4196468 140736207197344 139628277119088 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1137] ppid=1105 vsize=10659012 memory=140109084202624 CPUtime=0.01 cores=0,2,4,6
/proc/1111/task/1137/stat : 1137 (java) R 1105 1111 32243 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 15 0 77023638 10914828288 7495 33554432000 4194304 4196468 140736207197344 139628276066544 139628768929714 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1139] ppid=1105 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1139/stat : 1139 (java) S 1105 1111 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023638 10914828288 7495 33554432000 4194304 4196468 140736207197344 139628275014240 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1141] ppid=1105 vsize=10659012 memory=140109084202624 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1141/stat : 1141 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023638 10914828288 7495 33554432000 4194304 4196468 140736207197344 139628273961776 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 29616 KiB

[startup+0.210246 s]*
/proc/loadavg: 1.34 1.45 1.47 6/216 1142
/proc/meminfo: memFree=9115492/32770624 swapFree=67108860/67108860
[pid=1111] ppid=1105 vsize=10659012 memory=36144 CPUtime=0.23 cores=0,2,4,6
/proc/1111/stat : 1111 (java) S 1105 1111 32243 0 -1 1077944320 7182 0 0 0 21 2 0 0 20 0 15 0 77023631 10914828288 9036 33554432000 4194304 4196468 140736207197344 140736207179888 139628790005495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
/proc/1111/statm: 2664753 9036 2895 1 0 2627263 0
[pid=1111/tid=1116] ppid=1105 vsize=10659012 memory=7022364594140610616 CPUtime=0.16 cores=0,2,4,6
/proc/1111/task/1116/stat : 1116 (java) R 1105 1111 32243 0 -1 4202560 4871 0 0 0 15 1 0 0 20 0 15 0 77023632 10914828288 9102 33554432000 4194304 4196468 140736207197344 139628794233472 139628790017430 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1117] ppid=1105 vsize=10659012 memory=343 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1117/stat : 1117 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023633 10914828288 9102 33554432000 4194304 4196468 140736207197344 139628396931344 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1119] ppid=1105 vsize=10659012 memory=3762106177852642976 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1119/stat : 1119 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023633 10914828288 9102 33554432000 4194304 4196468 140736207197344 139628395878800 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1121] ppid=1105 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1121/stat : 1121 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023633 10914828288 9102 33554432000 4194304 4196468 140736207197344 139628394826256 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1123] ppid=1105 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1123/stat : 1123 (java) S 1105 1111 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023633 10914828288 9102 33554432000 4194304 4196468 140736207197344 139628393773712 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1126] ppid=1105 vsize=10659012 memory=140109084202624 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1126/stat : 1126 (java) S 1105 1111 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023634 10914828288 9102 33554432000 4194304 4196468 140736207197344 139628282382832 139628790016642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1128] ppid=1105 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1128/stat : 1128 (java) S 1105 1111 32243 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77023635 10914828288 9102 33554432000 4194304 4196468 140736207197344 139628281329056 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1130] ppid=1105 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1130/stat : 1130 (java) S 1105 1111 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77023635 10914828288 9102 33554432000 4194304 4196468 140736207197344 139628280276464 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1131] ppid=1105 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1131/stat : 1131 (java) S 1105 1111 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023638 10914828288 9102 33554432000 4194304 4196468 140736207197344 139628279225040 139628790024091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1133] ppid=1105 vsize=10659012 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1111/task/1133/stat : 1133 (java) S 1105 1111 32243 0 -1 1077944384 512 0 0 0 1 0 0 0 20 0 15 0 77023638 10914828288 9102 33554432000 4194304 4196468 140736207197344 139628278171632 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1135] ppid=1105 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1135/stat : 1135 (java) S 1105 1111 32243 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 77023638 10914828288 9102 33554432000 4194304 4196468 140736207197344 139628277119088 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1137] ppid=1105 vsize=10659012 memory=140109084202624 CPUtime=0.04 cores=0,2,4,6
/proc/1111/task/1137/stat : 1137 (java) R 1105 1111 32243 0 -1 4202560 399 0 0 0 4 0 0 0 20 0 15 0 77023638 10914828288 9102 33554432000 4194304 4196468 140736207197344 139628276066544 139628790026842 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1139] ppid=1105 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1139/stat : 1139 (java) S 1105 1111 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023638 10914828288 9102 33554432000 4194304 4196468 140736207197344 139628275014240 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1141] ppid=1105 vsize=10659012 memory=140109084202624 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1141/stat : 1141 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023638 10914828288 9102 33554432000 4194304 4196468 140736207197344 139628273961776 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 36144 KiB

[startup+0.310513 s]*
/proc/loadavg: 1.34 1.45 1.47 5/216 1142
/proc/meminfo: memFree=9100748/32770624 swapFree=67108860/67108860
[pid=1111] ppid=1105 vsize=10659088 memory=44028 CPUtime=0.42 cores=0,2,4,6
/proc/1111/stat : 1111 (java) S 1105 1111 32243 0 -1 1077944320 8719 0 0 0 39 3 0 0 20 0 15 0 77023631 10914906112 11007 33554432000 4194304 4196468 140736207197344 140736207179888 139628790005495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
/proc/1111/statm: 2664772 11007 3040 1 0 2627263 0
[pid=1111/tid=1116] ppid=1105 vsize=10659088 memory=6935054825532540783 CPUtime=0.26 cores=0,2,4,6
/proc/1111/task/1116/stat : 1116 (java) R 1105 1111 32243 0 -1 4202560 5645 0 0 0 24 2 0 0 20 0 15 0 77023632 10914906112 11007 33554432000 4194304 4196468 140736207197344 139628794237632 139628782226400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1117] ppid=1105 vsize=10659088 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1117/stat : 1117 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023633 10914906112 11007 33554432000 4194304 4196468 140736207197344 139628396931344 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1119] ppid=1105 vsize=10659088 memory=18460 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1119/stat : 1119 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023633 10914906112 11007 33554432000 4194304 4196468 140736207197344 139628395878800 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1121] ppid=1105 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1121/stat : 1121 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023633 10914906112 11007 33554432000 4194304 4196468 140736207197344 139628394826256 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1123] ppid=1105 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1123/stat : 1123 (java) S 1105 1111 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023633 10914906112 11007 33554432000 4194304 4196468 140736207197344 139628393773712 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1126] ppid=1105 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1126/stat : 1126 (java) S 1105 1111 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023634 10914906112 11007 33554432000 4194304 4196468 140736207197344 139628282382832 139628790016642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1128] ppid=1105 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1128/stat : 1128 (java) S 1105 1111 32243 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77023635 10914906112 11007 33554432000 4194304 4196468 140736207197344 139628281329056 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1130] ppid=1105 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1130/stat : 1130 (java) S 1105 1111 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77023635 10914906112 11007 33554432000 4194304 4196468 140736207197344 139628280276464 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1131] ppid=1105 vsize=10659088 memory=140108946844143 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1131/stat : 1131 (java) S 1105 1111 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023638 10914906112 11007 33554432000 4194304 4196468 140736207197344 139628279225040 139628790024091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1133] ppid=1105 vsize=10659088 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1111/task/1133/stat : 1133 (java) S 1105 1111 32243 0 -1 1077944384 806 0 0 0 2 0 0 0 20 0 15 0 77023638 10914906112 11007 33554432000 4194304 4196468 140736207197344 139628278171632 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1135] ppid=1105 vsize=10659088 memory=140108946828047 CPUtime=0.02 cores=0,2,4,6
/proc/1111/task/1135/stat : 1135 (java) S 1105 1111 32243 0 -1 1077944384 203 0 0 0 2 0 0 0 20 0 15 0 77023638 10914906112 11007 33554432000 4194304 4196468 140736207197344 139628277119088 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1137] ppid=1105 vsize=10659088 memory=280218030939144 CPUtime=0.09 cores=0,2,4,6
/proc/1111/task/1137/stat : 1137 (java) R 1105 1111 32243 0 -1 4202560 713 0 0 0 9 0 0 0 20 0 15 0 77023638 10914906112 11007 33554432000 4194304 4196468 140736207197344 139628276061616 139628774085982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1139] ppid=1105 vsize=10659088 memory=140108946871951 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1139/stat : 1139 (java) S 1105 1111 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023638 10914906112 11007 33554432000 4194304 4196468 140736207197344 139628275014240 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1141] ppid=1105 vsize=10659088 memory=140109084202633 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1141/stat : 1141 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023638 10914906112 11007 33554432000 4194304 4196468 140736207197344 139628273961776 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 44028 KiB

[startup+0.700728 s]
/proc/loadavg: 1.34 1.45 1.47 10/216 1142
/proc/meminfo: memFree=9025164/32770624 swapFree=67108860/67108860
[pid=1111] ppid=1105 vsize=10659088 memory=103684 CPUtime=1.45 cores=0,2,4,6
/proc/1111/stat : 1111 (java) S 1105 1111 32243 0 -1 1077944320 12063 0 0 0 140 5 0 0 20 0 15 0 77023631 10914906112 25921 33554432000 4194304 4196468 140736207197344 140736207179888 139628790005495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
/proc/1111/statm: 2664772 25921 3097 1 0 2627263 0
[pid=1111/tid=1116] ppid=1105 vsize=10659088 memory=144945079916483 CPUtime=0.63 cores=0,2,4,6
/proc/1111/task/1116/stat : 1116 (java) R 1105 1111 32243 0 -1 4202560 5977 0 0 0 60 3 0 0 20 0 15 0 77023632 10914906112 25921 33554432000 4194304 4196468 140736207197344 139628794241696 139628399528116 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1117] ppid=1105 vsize=10659088 memory=25505 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1117/stat : 1117 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023633 10914906112 25921 33554432000 4194304 4196468 140736207197344 139628396931344 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1119] ppid=1105 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1119/stat : 1119 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023633 10914906112 25921 33554432000 4194304 4196468 140736207197344 139628395878800 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1121] ppid=1105 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1121/stat : 1121 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023633 10914906112 25921 33554432000 4194304 4196468 140736207197344 139628394826256 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1123] ppid=1105 vsize=10659088 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1123/stat : 1123 (java) S 1105 1111 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023633 10914906112 25921 33554432000 4194304 4196468 140736207197344 139628393773712 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1126] ppid=1105 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1126/stat : 1126 (java) S 1105 1111 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77023634 10914906112 25921 33554432000 4194304 4196468 140736207197344 139628282382832 139628790016642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1128] ppid=1105 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1128/stat : 1128 (java) S 1105 1111 32243 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77023635 10914906112 25921 33554432000 4194304 4196468 140736207197344 139628281329056 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1130] ppid=1105 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1130/stat : 1130 (java) S 1105 1111 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77023635 10914906112 25921 33554432000 4194304 4196468 140736207197344 139628280276464 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1131] ppid=1105 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1131/stat : 1131 (java) S 1105 1111 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023638 10914906112 25921 33554432000 4194304 4196468 140736207197344 139628279225040 139628790024091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1133] ppid=1105 vsize=10659088 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/1111/task/1133/stat : 1133 (java) S 1105 1111 32243 0 -1 1077944384 1734 0 0 0 29 0 0 0 20 0 15 0 77023638 10914906112 25921 33554432000 4194304 4196468 140736207197344 139628278171632 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1135] ppid=1105 vsize=10659088 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/1111/task/1135/stat : 1135 (java) R 1105 1111 32243 0 -1 4202560 2035 0 0 0 32 0 0 0 20 0 15 0 77023638 10914906112 25921 33554432000 4194304 4196468 140736207197344 139628277104968 139628771548619 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1137] ppid=1105 vsize=10659088 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/1111/task/1137/stat : 1137 (java) S 1105 1111 32243 0 -1 1077944384 949 0 0 0 18 0 0 0 20 0 15 0 77023638 10914906112 25921 33554432000 4194304 4196468 140736207197344 139628276066544 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1139] ppid=1105 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1139/stat : 1139 (java) S 1105 1111 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77023638 10914906112 25921 33554432000 4194304 4196468 140736207197344 139628275014240 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1141] ppid=1105 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1141/stat : 1141 (java) S 1105 1111 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77023638 10914906112 25921 33554432000 4194304 4196468 140736207197344 139628273961776 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 103684 KiB

[startup+1.50098 s]
/proc/loadavg: 1.34 1.45 1.47 4/217 1143
/proc/meminfo: memFree=8907688/32770624 swapFree=67108860/67108860
[pid=1111] ppid=1105 vsize=10659088 memory=227288 CPUtime=2.78 cores=0,2,4,6
/proc/1111/stat : 1111 (java) S 1105 1111 32243 0 -1 1077944320 18750 0 0 0 265 13 0 0 20 0 15 0 77023631 10914906112 56822 33554432000 4194304 4196468 140736207197344 140736207179888 139628790005495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
/proc/1111/statm: 2664772 56822 3131 1 0 2627263 0
[pid=1111/tid=1116] ppid=1105 vsize=10659088 memory=288230583166042425 CPUtime=1.38 cores=0,2,4,6
/proc/1111/task/1116/stat : 1116 (java) R 1105 1111 32243 0 -1 4202560 6658 0 0 0 133 5 0 0 20 0 15 0 77023632 10914906112 56822 33554432000 4194304 4196468 140736207197344 139628794224192 139628399874997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1117] ppid=1105 vsize=10659088 memory=13571483297384038 CPUtime=0.04 cores=0,2,4,6
/proc/1111/task/1117/stat : 1117 (java) S 1105 1111 32243 0 -1 1077944384 325 0 0 0 3 1 0 0 20 0 15 0 77023633 10914906112 56822 33554432000 4194304 4196468 140736207197344 139628396931344 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1119] ppid=1105 vsize=10659088 memory=8112282956445269571 CPUtime=0.04 cores=0,2,4,6
/proc/1111/task/1119/stat : 1119 (java) S 1105 1111 32243 0 -1 1077944384 200 0 0 0 3 1 0 0 20 0 15 0 77023633 10914906112 56822 33554432000 4194304 4196468 140736207197344 139628395878800 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1121] ppid=1105 vsize=10659088 memory=6944656592455359580 CPUtime=0.05 cores=0,2,4,6
/proc/1111/task/1121/stat : 1121 (java) S 1105 1111 32243 0 -1 1077944384 115 0 0 0 4 1 0 0 20 0 15 0 77023633 10914906112 56822 33554432000 4194304 4196468 140736207197344 139628394826256 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1123] ppid=1105 vsize=10659088 memory=6943526294502006880 CPUtime=0.04 cores=0,2,4,6
/proc/1111/task/1123/stat : 1123 (java) S 1105 1111 32243 0 -1 1077944384 142 0 0 0 3 1 0 0 20 0 15 0 77023633 10914906112 56822 33554432000 4194304 4196468 140736207197344 139628393773712 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1126] ppid=1105 vsize=10659088 memory=-7361174377247368086 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1126/stat : 1126 (java) S 1105 1111 32243 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 77023634 10914906112 56822 33554432000 4194304 4196468 140736207197344 139628282382832 139628790016642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0

################
# More data... #
################

/proc/1111/task/1128/stat : 1128 (java) S 1105 1111 32243 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 16 0 77023635 10983067648 1585041 33554432000 4194304 4196468 140736207197344 139628281329120 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1130] ppid=1105 vsize=10725652 memory=6340164 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1130/stat : 1130 (java) S 1105 1111 32243 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 16 0 77023635 10983067648 1585041 33554432000 4194304 4196468 140736207197344 139628280276480 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1131] ppid=1105 vsize=10725652 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1131/stat : 1131 (java) S 1105 1111 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77023638 10983067648 1585041 33554432000 4194304 4196468 140736207197344 139628279225040 139628790024091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1133] ppid=1105 vsize=10725652 memory=6340164 CPUtime=1.55 cores=0,2,4,6
/proc/1111/task/1133/stat : 1133 (java) S 1105 1111 32243 0 -1 1077944384 10132 0 0 0 154 1 0 0 20 0 16 0 77023638 10983067648 1585041 33554432000 4194304 4196468 140736207197344 139628278171632 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1135] ppid=1105 vsize=10725652 memory=6340164 CPUtime=1.66 cores=0,2,4,6
/proc/1111/task/1135/stat : 1135 (java) S 1105 1111 32243 0 -1 1077944384 10120 0 0 0 164 2 0 0 20 0 16 0 77023638 10983067648 1585041 33554432000 4194304 4196468 140736207197344 139628277119088 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1137] ppid=1105 vsize=10725652 memory=1228 CPUtime=0.38 cores=0,2,4,6
/proc/1111/task/1137/stat : 1137 (java) S 1105 1111 32243 0 -1 1077944384 5589 0 0 0 38 0 0 0 20 0 16 0 77023638 10983067648 1585041 33554432000 4194304 4196468 140736207197344 139628276066544 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1139] ppid=1105 vsize=10725652 memory=8552 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1139/stat : 1139 (java) S 1105 1111 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77023638 10983067648 1585041 33554432000 4194304 4196468 140736207197344 139628275014240 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1141] ppid=1105 vsize=10725652 memory=6340164 CPUtime=1.13 cores=0,2,4,6
/proc/1111/task/1141/stat : 1141 (java) S 1105 1111 32243 0 -1 1077944384 2251 0 0 0 53 60 0 0 20 0 16 0 77023638 10983067648 1585041 33554432000 4194304 4196468 140736207197344 139628273961776 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1144] ppid=1105 vsize=10725652 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1144/stat : 1144 (java) S 1105 1111 32243 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 77025445 10983067648 1585041 33554432000 4194304 4196468 140736207197344 139628272907568 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
Current children cumulated CPU time: 2342 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 6340164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2319.9 s]
/proc/loadavg: 2.00 1.99 1.97 4/218 1260
/proc/meminfo: memFree=2297232/32770624 swapFree=67108860/67108860
[pid=1111] ppid=1105 vsize=10725652 memory=6340196 CPUtime=2400.09 cores=0,2,4,6
/proc/1111/stat : 1111 (java) S 1105 1111 32243 0 -1 1077944320 276813 0 0 0 239285 724 0 0 20 0 16 0 77023631 10983067648 1585049 33554432000 4194304 4196468 140736207197344 140736207179888 139628790005495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
/proc/1111/statm: 2681413 1585049 3181 1 0 2643904 0
[pid=1111/tid=1116] ppid=1105 vsize=10725652 memory=6340196 CPUtime=2287.06 cores=0,2,4,6
/proc/1111/task/1116/stat : 1116 (java) R 1105 1111 32243 0 -1 4202560 180261 0 0 0 228667 39 0 0 20 0 16 0 77023632 10983067648 1585049 33554432000 4194304 4196468 140736207197344 139628794244384 139628401349695 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1117] ppid=1105 vsize=10725652 memory=6340196 CPUtime=25.45 cores=0,2,4,6
/proc/1111/task/1117/stat : 1117 (java) S 1105 1111 32243 0 -1 1077944384 10778 0 0 0 2389 156 0 0 20 0 16 0 77023633 10983067648 1585049 33554432000 4194304 4196468 140736207197344 139628396931344 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1119] ppid=1105 vsize=10725652 memory=6340196 CPUtime=25.36 cores=0,2,4,6
/proc/1111/task/1119/stat : 1119 (java) S 1105 1111 32243 0 -1 1077944384 11628 0 0 0 2382 154 0 0 20 0 16 0 77023633 10983067648 1585049 33554432000 4194304 4196468 140736207197344 139628395878800 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1121] ppid=1105 vsize=10725652 memory=535304 CPUtime=25.34 cores=0,2,4,6
/proc/1111/task/1121/stat : 1121 (java) S 1105 1111 32243 0 -1 1077944384 12201 0 0 0 2379 155 0 0 20 0 16 0 77023633 10983067648 1585049 33554432000 4194304 4196468 140736207197344 139628394826256 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1123] ppid=1105 vsize=10725652 memory=952 CPUtime=25.26 cores=0,2,4,6
/proc/1111/task/1123/stat : 1123 (java) S 1105 1111 32243 0 -1 1077944384 12247 0 0 0 2364 162 0 0 20 0 16 0 77023633 10983067648 1585049 33554432000 4194304 4196468 140736207197344 139628393773712 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1126] ppid=1105 vsize=10725652 memory=1408 CPUtime=6.78 cores=0,2,4,6
/proc/1111/task/1126/stat : 1126 (java) S 1105 1111 32243 0 -1 1077944384 20029 0 0 0 674 4 0 0 20 0 16 0 77023634 10983067648 1585049 33554432000 4194304 4196468 140736207197344 139628282382832 139628790016642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1128] ppid=1105 vsize=10725652 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1128/stat : 1128 (java) S 1105 1111 32243 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 16 0 77023635 10983067648 1585049 33554432000 4194304 4196468 140736207197344 139628281329120 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1130] ppid=1105 vsize=10725652 memory=6340196 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1130/stat : 1130 (java) S 1105 1111 32243 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 16 0 77023635 10983067648 1585049 33554432000 4194304 4196468 140736207197344 139628280276480 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1131] ppid=1105 vsize=10725652 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1131/stat : 1131 (java) S 1105 1111 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77023638 10983067648 1585049 33554432000 4194304 4196468 140736207197344 139628279225040 139628790024091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1133] ppid=1105 vsize=10725652 memory=6340196 CPUtime=1.55 cores=0,2,4,6
/proc/1111/task/1133/stat : 1133 (java) S 1105 1111 32243 0 -1 1077944384 10135 0 0 0 154 1 0 0 20 0 16 0 77023638 10983067648 1585049 33554432000 4194304 4196468 140736207197344 139628278171632 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1135] ppid=1105 vsize=10725652 memory=4140 CPUtime=1.66 cores=0,2,4,6
/proc/1111/task/1135/stat : 1135 (java) S 1105 1111 32243 0 -1 1077944384 10128 0 0 0 164 2 0 0 20 0 16 0 77023638 10983067648 1585049 33554432000 4194304 4196468 140736207197344 139628277119088 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1137] ppid=1105 vsize=10725652 memory=6340196 CPUtime=0.38 cores=0,2,4,6
/proc/1111/task/1137/stat : 1137 (java) S 1105 1111 32243 0 -1 1077944384 5592 0 0 0 38 0 0 0 20 0 16 0 77023638 10983067648 1585049 33554432000 4194304 4196468 140736207197344 139628276066544 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1139] ppid=1105 vsize=10725652 memory=6340196 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1139/stat : 1139 (java) S 1105 1111 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77023638 10983067648 1585049 33554432000 4194304 4196468 140736207197344 139628275014240 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1141] ppid=1105 vsize=10725652 memory=6340196 CPUtime=1.16 cores=0,2,4,6
/proc/1111/task/1141/stat : 1141 (java) S 1105 1111 32243 0 -1 1077944384 2290 0 0 0 54 62 0 0 20 0 16 0 77023638 10983067648 1585049 33554432000 4194304 4196468 140736207197344 139628273961776 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1144] ppid=1105 vsize=10725652 memory=6340196 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1144/stat : 1144 (java) S 1105 1111 32243 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 77025445 10983067648 1585049 33554432000 4194304 4196468 140736207197344 139628272907568 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 6340196 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2320.19 s]
# the end of solver process 1111 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2392.95 s, system=7.27137 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2320.01 s]*
/proc/loadavg: 2.00 1.99 1.97 3/219 1263
/proc/meminfo: memFree=2297232/32770624 swapFree=67108860/67108860
[pid=1111] ppid=1105 vsize=10925344 memory=6340416 CPUtime=2400.12 cores=0,2,4,6
/proc/1111/stat : 1111 (java) S 1105 1111 32243 0 -1 1077944320 277855 0 0 0 239288 724 0 0 20 0 17 0 77023631 11187552256 1585104 33554432000 4194304 4196468 140736207197344 140736207179888 139628790005495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
/proc/1111/statm: 2731336 1585104 3183 1 0 2693827 0
[pid=1111/tid=1116] ppid=1105 vsize=10925344 memory=6935054825532540783 CPUtime=2287.08 cores=0,2,4,6
/proc/1111/task/1116/stat : 1116 (java) S 1105 1111 32243 0 -1 1077944384 180329 0 0 0 228669 39 0 0 20 0 17 0 77023632 11187552256 1585104 33554432000 4194304 4196468 140736207197344 139628794248368 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1117] ppid=1105 vsize=10925344 memory=4126316290023845779 CPUtime=25.45 cores=0,2,4,6
/proc/1111/task/1117/stat : 1117 (java) S 1105 1111 32243 0 -1 1077944384 10778 0 0 0 2389 156 0 0 20 0 17 0 77023633 11187552256 1585104 33554432000 4194304 4196468 140736207197344 139628396931344 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1119] ppid=1105 vsize=10925344 memory=23064 CPUtime=25.36 cores=0,2,4,6
/proc/1111/task/1119/stat : 1119 (java) S 1105 1111 32243 0 -1 1077944384 11628 0 0 0 2382 154 0 0 20 0 17 0 77023633 11187552256 1585104 33554432000 4194304 4196468 140736207197344 139628395878800 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1121] ppid=1105 vsize=10925344 memory=1296 CPUtime=25.34 cores=0,2,4,6
/proc/1111/task/1121/stat : 1121 (java) S 1105 1111 32243 0 -1 1077944384 12201 0 0 0 2379 155 0 0 20 0 17 0 77023633 11187552256 1585104 33554432000 4194304 4196468 140736207197344 139628394826256 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1123] ppid=1105 vsize=10925344 memory=2408 CPUtime=25.26 cores=0,2,4,6
/proc/1111/task/1123/stat : 1123 (java) S 1105 1111 32243 0 -1 1077944384 12247 0 0 0 2364 162 0 0 20 0 17 0 77023633 11187552256 1585104 33554432000 4194304 4196468 140736207197344 139628393773712 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1126] ppid=1105 vsize=10925344 memory=1724 CPUtime=6.78 cores=0,2,4,6
/proc/1111/task/1126/stat : 1126 (java) S 1105 1111 32243 0 -1 1077944384 20061 0 0 0 674 4 0 0 20 0 17 0 77023634 11187552256 1585104 33554432000 4194304 4196468 140736207197344 139628282382832 139628790016642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1128] ppid=1105 vsize=10925344 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1128/stat : 1128 (java) S 1105 1111 32243 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 17 0 77023635 11187552256 1585104 33554432000 4194304 4196468 140736207197344 139628281329120 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1130] ppid=1105 vsize=10925344 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1130/stat : 1130 (java) S 1105 1111 32243 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 17 0 77023635 11187552256 1585104 33554432000 4194304 4196468 140736207197344 139628280276480 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1131] ppid=1105 vsize=10925344 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1131/stat : 1131 (java) S 1105 1111 32243 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 17 0 77023638 11187552256 1585104 33554432000 4194304 4196468 140736207197344 139628279225040 139628790024091 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1133] ppid=1105 vsize=10925344 memory=18460 CPUtime=1.55 cores=0,2,4,6
/proc/1111/task/1133/stat : 1133 (java) S 1105 1111 32243 0 -1 1077944384 10135 0 0 0 154 1 0 0 20 0 17 0 77023638 11187552256 1585104 33554432000 4194304 4196468 140736207197344 139628278171632 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1135] ppid=1105 vsize=10925344 memory=14464 CPUtime=1.66 cores=0,2,4,6
/proc/1111/task/1135/stat : 1135 (java) S 1105 1111 32243 0 -1 1077944384 10128 0 0 0 164 2 0 0 20 0 17 0 77023638 11187552256 1585104 33554432000 4194304 4196468 140736207197344 139628277119088 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1137] ppid=1105 vsize=10925344 memory=4104 CPUtime=0.38 cores=0,2,4,6
/proc/1111/task/1137/stat : 1137 (java) S 1105 1111 32243 0 -1 1077944384 5971 0 0 0 38 0 0 0 20 0 17 0 77023638 11187552256 1585104 33554432000 4194304 4196468 140736207197344 139628276066544 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1139] ppid=1105 vsize=10925344 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1139/stat : 1139 (java) S 1105 1111 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 77023638 11187552256 1585104 33554432000 4194304 4196468 140736207197344 139628275014240 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1141] ppid=1105 vsize=10925344 memory=1952 CPUtime=1.16 cores=0,2,4,6
/proc/1111/task/1141/stat : 1141 (java) S 1105 1111 32243 0 -1 1077944384 2290 0 0 0 54 62 0 0 20 0 17 0 77023638 11187552256 1585104 33554432000 4194304 4196468 140736207197344 139628273961776 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1261] ppid=1105 vsize=10925344 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1261/stat : 1261 (java) S 1105 1111 32243 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 17 0 77255622 11187552256 1585104 33554432000 4194304 4196468 140736207197344 139628271854320 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1262] ppid=1105 vsize=10925344 memory=792 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1262/stat : 1262 (java) S 1105 1111 32243 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 17 0 77255622 11187552256 1585104 33554432000 4194304 4196468 140736207197344 139628270802704 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 6340416 KiB

[startup+2320.11 s]
/proc/loadavg: 2.00 1.99 1.97 3/219 1263
/proc/meminfo: memFree=2297232/32770624 swapFree=67108860/67108860
[pid=1111] ppid=1105 vsize=10925344 memory=6340520 CPUtime=2400.12 cores=0,2,4,6
/proc/1111/stat : 1111 (java) S 1105 1111 32243 0 -1 1077944320 278218 0 0 0 239288 724 0 0 20 0 17 0 77023631 11187552256 1585129 33554432000 4194304 4196468 140736207197344 140736207179888 139628790005495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
/proc/1111/statm: 2731336 1585130 3183 1 0 2693827 0
[pid=1111/tid=1116] ppid=1105 vsize=10925344 memory=6340196 CPUtime=2287.08 cores=0,2,4,6
/proc/1111/task/1116/stat : 1116 (java) S 1105 1111 32243 0 -1 1077944384 180329 0 0 0 228669 39 0 0 20 0 17 0 77023632 11187552256 1585130 33554432000 4194304 4196468 140736207197344 139628794248368 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1117] ppid=1105 vsize=10925344 memory=6340196 CPUtime=25.45 cores=0,2,4,6
/proc/1111/task/1117/stat : 1117 (java) S 1105 1111 32243 0 -1 1077944384 10778 0 0 0 2389 156 0 0 20 0 17 0 77023633 11187552256 1585130 33554432000 4194304 4196468 140736207197344 139628396931344 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1119] ppid=1105 vsize=10925344 memory=6340196 CPUtime=25.36 cores=0,2,4,6
/proc/1111/task/1119/stat : 1119 (java) S 1105 1111 32243 0 -1 1077944384 11628 0 0 0 2382 154 0 0 20 0 17 0 77023633 11187552256 1585130 33554432000 4194304 4196468 140736207197344 139628395878800 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1121] ppid=1105 vsize=10925344 memory=1408 CPUtime=25.34 cores=0,2,4,6
/proc/1111/task/1121/stat : 1121 (java) S 1105 1111 32243 0 -1 1077944384 12201 0 0 0 2379 155 0 0 20 0 17 0 77023633 11187552256 1585130 33554432000 4194304 4196468 140736207197344 139628394826256 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1123] ppid=1105 vsize=10925344 memory=1408 CPUtime=25.26 cores=0,2,4,6
/proc/1111/task/1123/stat : 1123 (java) S 1105 1111 32243 0 -1 1077944384 12247 0 0 0 2364 162 0 0 20 0 17 0 77023633 11187552256 1585130 33554432000 4194304 4196468 140736207197344 139628393773712 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1126] ppid=1105 vsize=10925344 memory=6340196 CPUtime=6.78 cores=0,2,4,6
/proc/1111/task/1126/stat : 1126 (java) S 1105 1111 32243 0 -1 1077944384 20061 0 0 0 674 4 0 0 20 0 17 0 77023634 11187552256 1585130 33554432000 4194304 4196468 140736207197344 139628282382832 139628790016642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1128] ppid=1105 vsize=10925344 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1128/stat : 1128 (java) S 1105 1111 32243 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 17 0 77023635 11187552256 1585130 33554432000 4194304 4196468 140736207197344 139628281329120 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1130] ppid=1105 vsize=10925344 memory=6340196 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1130/stat : 1130 (java) S 1105 1111 32243 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 17 0 77023635 11187552256 1585130 33554432000 4194304 4196468 140736207197344 139628280276480 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1131] ppid=1105 vsize=10925344 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1131/stat : 1131 (java) S 1105 1111 32243 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 17 0 77023638 11187552256 1585130 33554432000 4194304 4196468 140736207197344 139628279225040 139628790024091 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1133] ppid=1105 vsize=10925344 memory=535304 CPUtime=1.55 cores=0,2,4,6
/proc/1111/task/1133/stat : 1133 (java) R 1105 1111 32243 0 -1 1077944384 10135 0 0 0 154 1 0 0 20 0 17 0 77023638 11187552256 1585130 33554432000 4194304 4196468 140736207197344 139628278171632 139628790016642 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1135] ppid=1105 vsize=10925344 memory=952 CPUtime=1.66 cores=0,2,4,6
/proc/1111/task/1135/stat : 1135 (java) R 1105 1111 32243 0 -1 4202560 10191 0 0 0 164 2 0 0 20 0 17 0 77023638 11187552256 1585130 33554432000 4194304 4196468 140736207197344 139628277119088 139628767857243 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1137] ppid=1105 vsize=10925344 memory=6340196 CPUtime=0.38 cores=0,2,4,6
/proc/1111/task/1137/stat : 1137 (java) R 1105 1111 32243 0 -1 4202560 6198 0 0 0 38 0 0 0 20 0 17 0 77023638 11187552256 1585130 33554432000 4194304 4196468 140736207197344 139628276066544 139628775680639 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1139] ppid=1105 vsize=10925344 memory=6340196 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1139/stat : 1139 (java) S 1105 1111 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 77023638 11187552256 1585130 33554432000 4194304 4196468 140736207197344 139628275014240 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1141] ppid=1105 vsize=10925344 memory=6340196 CPUtime=1.16 cores=0,2,4,6
/proc/1111/task/1141/stat : 1141 (java) S 1105 1111 32243 0 -1 1077944384 2290 0 0 0 54 62 0 0 20 0 17 0 77023638 11187552256 1585130 33554432000 4194304 4196468 140736207197344 139628273961776 139628790016642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1261] ppid=1105 vsize=10925344 memory=6340196 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1261/stat : 1261 (java) S 1105 1111 32243 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 17 0 77255622 11187552256 1585130 33554432000 4194304 4196468 140736207197344 139628271854320 139628790015701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
[pid=1111/tid=1262] ppid=1105 vsize=10925344 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1111/task/1262/stat : 1262 (java) R 1105 1111 32243 0 -1 4202560 271 0 0 0 0 0 0 0 20 0 17 0 77255622 11187552256 1585130 33554432000 4194304 4196468 140736207197344 139628270802704 139628397079579 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140736207201393 140736207201545 140736207201545 140736207204303 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 6340520 KiB

Child status: 143
Real time (s): 2320.19
CPU time (s): 2400.22
CPU user time (s): 2392.95
CPU system time (s): 7.27137
CPU usage (%): 103.449
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 6340520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.95
system time used= 7.27137
maximum resident set size= 6340616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53732
involuntary context switches= 3485


# summary of solver processes directly reported to runsolver:
#   pid: 1111
#   total CPU time (s): 2400.22
#   total CPU user time (s): 2392.95
#   total CPU system time (s): 7.27137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5177 second user time and 21.8926 second system time

The end
Name	MagicHexagon/ MagicHexagon-07-m011_c18.xml
MD5SUM	cb154bca5bef3b2160515065825e7dfd
Bench Category	CSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables	169
Number of constraints	46
Number of domains	1
Minimum domain size	127
Maximum domain size	127
Distribution of domain sizes	[{"size":127,"count":127}]
Minimum variable degree	0
Maximum variable degree	9
Distribution of variable degrees	[{"degree":0,"count":42},{"degree":4,"count":121},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	127
Distribution of constraint arities	[{"arity":2,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":3},{"arity":127,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	6
Distribution of constraint types	[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":39}]
Optimization problem	NO
Type of objective
Trace number 4290079

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
