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 (12317 MiB free)
memory of node 1: 16384 MiB (13417 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269972-1502623664/watcher-4269972-1502623664 -o /tmp/evaluation-result-4269972-1502623664/solver-4269972-1502623664 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502619907-1761 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 841613312 HOME/instance-4269972-1502623664.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
solver pid=3952, runsolver pid=3949
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 1.92 1.92 1.89 3/217 3968
/proc/meminfo: memFree=26335796/32770624 swapFree=67108860/67108860
[pid=3952] ppid=3949 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95438035 9740288 346 33554432000 4194304 5098028 140725061920896 140725061919000 139959550775932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10084352 140725061928053 140725061928256 140725061928256 140725061930987 0
/proc/3952/statm: 2378 346 289 221 0 87 0
[pid=3954] ppid=3952 vsize=13978596 memory=28004 CPUtime=0.12 cores=0,2,4,6
/proc/3954/stat : 3954 (java) S 3952 3952 31727 0 -1 1077944320 5432 0 0 0 11 1 0 0 20 0 15 0 95438036 14314082304 7001 33554432000 4194304 4196468 140737200759952 140737200742496 139627925036791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
/proc/3954/statm: 3494649 7001 2841 1 0 3482966 0
[pid=3954/tid=3955] ppid=3952 vsize=13978596 memory=-8412658762350172019 CPUtime=0.08 cores=0,2,4,6
/proc/3954/task/3955/stat : 3955 (java) R 3952 3952 31727 0 -1 4202560 3440 0 0 0 8 0 0 0 20 0 15 0 95438036 14314082304 7001 33554432000 4194304 4196468 140737200759952 139627929270064 139627925048726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3956] ppid=3952 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3956/stat : 3956 (java) S 3952 3952 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438037 14314082304 7001 33554432000 4194304 4196468 140737200759952 139627855125392 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3957] ppid=3952 vsize=13978596 memory=140201499899520 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3957/stat : 3957 (java) S 3952 3952 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438037 14314082304 7001 33554432000 4194304 4196468 140737200759952 139627854072592 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3958] ppid=3952 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3958/stat : 3958 (java) S 3952 3952 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438037 14314082304 7001 33554432000 4194304 4196468 140737200759952 139627853020304 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3959] ppid=3952 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3959/stat : 3959 (java) S 3952 3952 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438037 14314082304 7001 33554432000 4194304 4196468 140737200759952 139627851967504 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3960] ppid=3952 vsize=13978596 memory=140201499899520 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3960/stat : 3960 (java) S 3952 3952 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438038 14314082304 7001 33554432000 4194304 4196468 140737200759952 139627399186544 139627925047938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3961] ppid=3952 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3961/stat : 3961 (java) S 3952 3952 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95438039 14314082304 7001 33554432000 4194304 4196468 140737200759952 139627398132512 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3962] ppid=3952 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3962/stat : 3962 (java) S 3952 3952 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95438039 14314082304 7001 33554432000 4194304 4196468 140737200759952 139627397080176 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3963] ppid=3952 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3963/stat : 3963 (java) S 3952 3952 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438041 14314082304 7001 33554432000 4194304 4196468 140737200759952 139627396028496 139627925055387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3964] ppid=3952 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3964/stat : 3964 (java) S 3952 3952 31727 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 95438041 14314082304 7066 33554432000 4194304 4196468 140737200759952 139627394976368 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3965] ppid=3952 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3965/stat : 3965 (java) S 3952 3952 31727 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 95438041 14314082304 7066 33554432000 4194304 4196468 140737200759952 139627393923568 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3966] ppid=3952 vsize=13978596 memory=140201499899520 CPUtime=0.01 cores=0,2,4,6
/proc/3954/task/3966/stat : 3966 (java) R 3952 3952 31727 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 15 0 95438041 14314082304 7066 33554432000 4194304 4196468 140737200759952 139627392871280 139627906274352 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3967] ppid=3952 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3967/stat : 3967 (java) S 3952 3952 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438041 14314082304 7066 33554432000 4194304 4196468 140737200759952 139627391818720 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3968] ppid=3952 vsize=13978596 memory=140201499899520 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3968/stat : 3968 (java) S 3952 3952 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438042 14314082304 7066 33554432000 4194304 4196468 140737200759952 139627390765488 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29388 KiB
[startup+0.210643 s]*
/proc/loadavg: 1.92 1.92 1.89 3/217 3968
/proc/meminfo: memFree=26324608/32770624 swapFree=67108860/67108860
[pid=3952] ppid=3949 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95438035 9740288 346 33554432000 4194304 5098028 140725061920896 140725061919000 139959550775932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10084352 140725061928053 140725061928256 140725061928256 140725061930987 0
/proc/3952/statm: 2378 346 289 221 0 87 0
[pid=3954] ppid=3952 vsize=13982852 memory=40056 CPUtime=0.34 cores=0,2,4,6
/proc/3954/stat : 3954 (java) S 3952 3952 31727 0 -1 1077944320 8046 0 0 0 32 2 0 0 20 0 15 0 95438036 14318440448 10014 33554432000 4194304 4196468 140737200759952 140737200742496 139627925036791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
/proc/3954/statm: 3495713 10014 3072 1 0 3482966 0
[pid=3954/tid=3955] ppid=3952 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/3954/task/3955/stat : 3955 (java) D 3952 3952 31727 0 -1 1077944384 5272 0 0 0 19 1 0 0 20 0 15 0 95438036 14318440448 10034 33554432000 4194304 4196468 140737200759952 139627929238480 139627917716013 0 4 0 16800975 18446744072101613092 0 0 -1 0 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3956] ppid=3952 vsize=13982852 memory=12543 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3956/stat : 3956 (java) S 3952 3952 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438037 14318440448 10034 33554432000 4194304 4196468 140737200759952 139627855125392 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3957] ppid=3952 vsize=13982852 memory=140201499924004 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3957/stat : 3957 (java) S 3952 3952 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438037 14318440448 10034 33554432000 4194304 4196468 140737200759952 139627854072592 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3958] ppid=3952 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3958/stat : 3958 (java) S 3952 3952 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438037 14318473216 10034 33554432000 4194304 4196468 140737200759952 139627853020304 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3959] ppid=3952 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3959/stat : 3959 (java) S 3952 3952 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438037 14318473216 10034 33554432000 4194304 4196468 140737200759952 139627851967504 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3960] ppid=3952 vsize=13982852 memory=140201499899520 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3960/stat : 3960 (java) S 3952 3952 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438038 14318440448 10034 33554432000 4194304 4196468 140737200759952 139627399186544 139627925047938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3961] ppid=3952 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3961/stat : 3961 (java) S 3952 3952 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95438039 14318440448 10034 33554432000 4194304 4196468 140737200759952 139627398132512 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3962] ppid=3952 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3962/stat : 3962 (java) S 3952 3952 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95438039 14318440448 10034 33554432000 4194304 4196468 140737200759952 139627397080176 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3963] ppid=3952 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3963/stat : 3963 (java) S 3952 3952 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438041 14318440448 10034 33554432000 4194304 4196468 140737200759952 139627396028496 139627925055387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3964] ppid=3952 vsize=13982852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3954/task/3964/stat : 3964 (java) S 3952 3952 31727 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 15 0 95438041 14318440448 10034 33554432000 4194304 4196468 140737200759952 139627394976368 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3965] ppid=3952 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3954/task/3965/stat : 3965 (java) S 3952 3952 31727 0 -1 1077944384 301 0 0 0 2 0 0 0 20 0 15 0 95438041 14318440448 10034 33554432000 4194304 4196468 140737200759952 139627393923568 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3966] ppid=3952 vsize=13982852 memory=140201499899520 CPUtime=0.08 cores=0,2,4,6
/proc/3954/task/3966/stat : 3966 (java) S 3952 3952 31727 0 -1 1077944384 724 0 0 0 8 0 0 0 20 0 15 0 95438041 14318440448 10034 33554432000 4194304 4196468 140737200759952 139627392871280 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3967] ppid=3952 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3967/stat : 3967 (java) S 3952 3952 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438041 14318473216 10034 33554432000 4194304 4196468 140737200759952 139627391818720 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3968] ppid=3952 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3968/stat : 3968 (java) S 3952 3952 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438042 14318473216 10034 33554432000 4194304 4196468 140737200759952 139627390765488 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41440 KiB
[startup+0.310438 s]*
/proc/loadavg: 1.92 1.92 1.89 4/217 3968
/proc/meminfo: memFree=26317660/32770624 swapFree=67108860/67108860
[pid=3952] ppid=3949 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95438035 9740288 346 33554432000 4194304 5098028 140725061920896 140725061919000 139959550775932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10084352 140725061928053 140725061928256 140725061928256 140725061930987 0
/proc/3952/statm: 2378 346 289 221 0 87 0
[pid=3954] ppid=3952 vsize=13982852 memory=47012 CPUtime=0.5 cores=0,2,4,6
/proc/3954/stat : 3954 (java) S 3952 3952 31727 0 -1 1077944320 8924 0 0 0 47 3 0 0 20 0 15 0 95438036 14318440448 11753 33554432000 4194304 4196468 140737200759952 140737200742496 139627925036791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
/proc/3954/statm: 3495713 11753 3117 1 0 3482966 0
[pid=3954/tid=3955] ppid=3952 vsize=13982852 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/3954/task/3955/stat : 3955 (java) R 3952 3952 31727 0 -1 4202560 5917 0 0 0 27 2 0 0 20 0 15 0 95438036 14318440448 11753 33554432000 4194304 4196468 140737200759952 139627929274528 139627925058717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3956] ppid=3952 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3956/stat : 3956 (java) S 3952 3952 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438037 14318440448 11753 33554432000 4194304 4196468 140737200759952 139627855125392 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3957] ppid=3952 vsize=13982852 memory=11210019468133 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3957/stat : 3957 (java) S 3952 3952 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438037 14318440448 11753 33554432000 4194304 4196468 140737200759952 139627854072592 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3958] ppid=3952 vsize=13982852 memory=4206186544037388384 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3958/stat : 3958 (java) S 3952 3952 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438037 14318440448 11753 33554432000 4194304 4196468 140737200759952 139627853020304 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3959] ppid=3952 vsize=13982852 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3959/stat : 3959 (java) S 3952 3952 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438037 14318440448 11753 33554432000 4194304 4196468 140737200759952 139627851967504 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3960] ppid=3952 vsize=13982852 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3960/stat : 3960 (java) S 3952 3952 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438038 14318440448 11753 33554432000 4194304 4196468 140737200759952 139627399186544 139627925047938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3961] ppid=3952 vsize=13982852 memory=-6935123839545469842 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3961/stat : 3961 (java) S 3952 3952 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95438039 14318440448 11753 33554432000 4194304 4196468 140737200759952 139627398132512 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3962] ppid=3952 vsize=13982852 memory=-6956776531347661416 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3962/stat : 3962 (java) S 3952 3952 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95438039 14318440448 11753 33554432000 4194304 4196468 140737200759952 139627397080176 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3963] ppid=3952 vsize=13982852 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3963/stat : 3963 (java) S 3952 3952 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438041 14318440448 11753 33554432000 4194304 4196468 140737200759952 139627396028496 139627925055387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3964] ppid=3952 vsize=13982852 memory=-6374957858630779283 CPUtime=0.02 cores=0,2,4,6
/proc/3954/task/3964/stat : 3964 (java) R 3952 3952 31727 0 -1 1077944384 526 0 0 0 2 0 0 0 20 0 15 0 95438041 14318440448 11819 33554432000 4194304 4196468 140737200759952 139627394976368 139627925047938 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3965] ppid=3952 vsize=13982852 memory=-8813974798734826869 CPUtime=0.04 cores=0,2,4,6
/proc/3954/task/3965/stat : 3965 (java) R 3952 3952 31727 0 -1 4202560 425 0 0 0 4 0 0 0 20 0 15 0 95438041 14318440448 11819 33554432000 4194304 4196468 140737200759952 139627393923568 139627905737088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3966] ppid=3952 vsize=13982852 memory=3054156605369063069 CPUtime=0.12 cores=0,2,4,6
/proc/3954/task/3966/stat : 3966 (java) S 3952 3952 31727 0 -1 1077944384 813 0 0 0 12 0 0 0 20 0 15 0 95438041 14318440448 11819 33554432000 4194304 4196468 140737200759952 139627392871280 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3967] ppid=3952 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3967/stat : 3967 (java) S 3952 3952 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438041 14318440448 11819 33554432000 4194304 4196468 140737200759952 139627391818720 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3968] ppid=3952 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3968/stat : 3968 (java) S 3952 3952 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438042 14318440448 11819 33554432000 4194304 4196468 140737200759952 139627390765488 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48396 KiB
[startup+0.700918 s]
/proc/loadavg: 1.84 1.90 1.88 5/217 3968
/proc/meminfo: memFree=26279320/32770624 swapFree=67108860/67108860
[pid=3952] ppid=3949 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95438035 9740288 346 33554432000 4194304 5098028 140725061920896 140725061919000 139959550775932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10084352 140725061928053 140725061928256 140725061928256 140725061930987 0
/proc/3952/statm: 2378 346 289 221 0 87 0
[pid=3954] ppid=3952 vsize=13982928 memory=128488 CPUtime=1.53 cores=0,2,4,6
/proc/3954/stat : 3954 (java) S 3952 3952 31727 0 -1 1077944320 10877 0 0 0 148 5 0 0 20 0 15 0 95438036 14318518272 32122 33554432000 4194304 4196468 140737200759952 140737200742496 139627925036791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
/proc/3954/statm: 3495732 32122 3191 1 0 3482966 0
[pid=3954/tid=3955] ppid=3952 vsize=13982928 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3954/task/3955/stat : 3955 (java) R 3952 3952 31727 0 -1 4202560 6290 0 0 0 64 3 0 0 20 0 15 0 95438036 14318518272 32122 33554432000 4194304 4196468 140737200759952 139627929272320 139627527693260 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3956] ppid=3952 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3956/stat : 3956 (java) S 3952 3952 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438037 14318518272 32122 33554432000 4194304 4196468 140737200759952 139627855125392 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3957] ppid=3952 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3957/stat : 3957 (java) S 3952 3952 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438037 14318518272 32122 33554432000 4194304 4196468 140737200759952 139627854072592 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3958] ppid=3952 vsize=13982928 memory=55 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3958/stat : 3958 (java) S 3952 3952 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95438037 14318518272 32122 33554432000 4194304 4196468 140737200759952 139627853020304 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3959] ppid=3952 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3959/stat : 3959 (java) S 3952 3952 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438037 14318518272 32122 33554432000 4194304 4196468 140737200759952 139627851967504 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3960] ppid=3952 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3960/stat : 3960 (java) S 3952 3952 31727 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95438038 14318518272 32122 33554432000 4194304 4196468 140737200759952 139627399186544 139627925047938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3961] ppid=3952 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3961/stat : 3961 (java) S 3952 3952 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95438039 14318518272 32122 33554432000 4194304 4196468 140737200759952 139627398132512 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3962] ppid=3952 vsize=13982928 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3962/stat : 3962 (java) S 3952 3952 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95438039 14318518272 32122 33554432000 4194304 4196468 140737200759952 139627397080176 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3963] ppid=3952 vsize=13982928 memory=796 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3963/stat : 3963 (java) S 3952 3952 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438041 14318518272 32122 33554432000 4194304 4196468 140737200759952 139627396028496 139627925055387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3964] ppid=3952 vsize=13982928 memory=1228 CPUtime=0.29 cores=0,2,4,6
/proc/3954/task/3964/stat : 3964 (java) S 3952 3952 31727 0 -1 1077944384 1108 0 0 0 29 0 0 0 20 0 15 0 95438041 14318518272 32122 33554432000 4194304 4196468 140737200759952 139627394976368 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3965] ppid=3952 vsize=13982928 memory=5300 CPUtime=0.31 cores=0,2,4,6
/proc/3954/task/3965/stat : 3965 (java) S 3952 3952 31727 0 -1 1077944384 983 0 0 0 31 0 0 0 20 0 15 0 95438041 14318518272 32122 33554432000 4194304 4196468 140737200759952 139627393923568 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3966] ppid=3952 vsize=13982928 memory=4616 CPUtime=0.22 cores=0,2,4,6
/proc/3954/task/3966/stat : 3966 (java) S 3952 3952 31727 0 -1 1077944384 1187 0 0 0 22 0 0 0 20 0 15 0 95438041 14318518272 32122 33554432000 4194304 4196468 140737200759952 139627392871280 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3967] ppid=3952 vsize=13982928 memory=1928 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3967/stat : 3967 (java) S 3952 3952 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438041 14318518272 32122 33554432000 4194304 4196468 140737200759952 139627391818720 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3968] ppid=3952 vsize=13982928 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3968/stat : 3968 (java) S 3952 3952 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95438042 14318518272 32122 33554432000 4194304 4196468 140737200759952 139627390765488 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 129872 KiB
[startup+1.50106 s]
/proc/loadavg: 1.84 1.90 1.88 3/217 3968
/proc/meminfo: memFree=26177792/32770624 swapFree=67108860/67108860
[pid=3952] ppid=3949 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95438035 9740288 346 33554432000 4194304 5098028 140725061920896 140725061919000 139959550775932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10084352 140725061928053 140725061928256 140725061928256 140725061930987 0
/proc/3952/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/3954/task/3962/stat : 3962 (java) S 3952 3952 31727 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95438039 14320615424 160653 33554432000 4194304 4196468 140737200759952 139627397080192 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3963] ppid=3952 vsize=13984976 memory=540204 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3963/stat : 3963 (java) S 3952 3952 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438041 14320615424 160653 33554432000 4194304 4196468 140737200759952 139627396028496 139627925055387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3964] ppid=3952 vsize=13984976 memory=1384 CPUtime=2.26 cores=0,2,4,6
/proc/3954/task/3964/stat : 3964 (java) S 3952 3952 31727 0 -1 1077944384 12814 0 0 0 225 1 0 0 20 0 15 0 95438041 14320615424 160653 33554432000 4194304 4196468 140737200759952 139627394976368 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3965] ppid=3952 vsize=13984976 memory=511532 CPUtime=2.75 cores=0,2,4,6
/proc/3954/task/3965/stat : 3965 (java) S 3952 3952 31727 0 -1 1077944384 12015 0 0 0 273 2 0 0 20 0 15 0 95438041 14320615424 160653 33554432000 4194304 4196468 140737200759952 139627393923568 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3966] ppid=3952 vsize=13984976 memory=140201356039488 CPUtime=0.49 cores=0,2,4,6
/proc/3954/task/3966/stat : 3966 (java) S 3952 3952 31727 0 -1 1077944384 5218 0 0 0 48 1 0 0 20 0 15 0 95438041 14320615424 160653 33554432000 4194304 4196468 140737200759952 139627392871280 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3967] ppid=3952 vsize=13984976 memory=3471202396320856625 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3967/stat : 3967 (java) S 3952 3952 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438041 14320615424 160653 33554432000 4194304 4196468 140737200759952 139627391818720 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3968] ppid=3952 vsize=13984976 memory=1384 CPUtime=0.05 cores=0,2,4,6
/proc/3954/task/3968/stat : 3968 (java) S 3952 3952 31727 0 -1 1077944384 982 0 0 0 2 3 0 0 20 0 15 0 95438042 14320615424 160653 33554432000 4194304 4196468 140737200759952 139627390765488 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
Current children cumulated CPU time: 108.05 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 643996 KiB
[startup+162.301 s]
/proc/loadavg: 2.02 1.94 1.90 3/217 3970
/proc/meminfo: memFree=25157224/32770624 swapFree=67108860/67108860
[pid=3952] ppid=3949 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95438035 9740288 346 33554432000 4194304 5098028 140725061920896 140725061919000 139959550775932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10084352 140725061928053 140725061928256 140725061928256 140725061930987 0
/proc/3952/statm: 2378 346 289 221 0 87 0
[pid=3954] ppid=3952 vsize=13984976 memory=720272 CPUtime=168.31 cores=0,2,4,6
/proc/3954/stat : 3954 (java) S 3952 3952 31727 0 -1 1077944320 52097 0 0 0 16798 33 0 0 20 0 15 0 95438036 14320615424 180068 33554432000 4194304 4196468 140737200759952 140737200742496 139627925036791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
/proc/3954/statm: 3496244 180068 3252 1 0 3483478 0
[pid=3954/tid=3955] ppid=3952 vsize=13984976 memory=720272 CPUtime=162.18 cores=0,2,4,6
/proc/3954/task/3955/stat : 3955 (java) R 3952 3952 31727 0 -1 4202560 12323 0 0 0 16208 10 0 0 20 0 15 0 95438036 14320615424 180068 33554432000 4194304 4196468 140737200759952 139627929272304 139627529323662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3956] ppid=3952 vsize=13984976 memory=720272 CPUtime=0.07 cores=0,2,4,6
/proc/3954/task/3956/stat : 3956 (java) S 3952 3952 31727 0 -1 1077944384 507 0 0 0 4 3 0 0 20 0 15 0 95438037 14320615424 180068 33554432000 4194304 4196468 140737200759952 139627855125392 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3957] ppid=3952 vsize=13984976 memory=1384 CPUtime=0.06 cores=0,2,4,6
/proc/3954/task/3957/stat : 3957 (java) S 3952 3952 31727 0 -1 1077944384 472 0 0 0 3 3 0 0 20 0 15 0 95438037 14320615424 180068 33554432000 4194304 4196468 140737200759952 139627854072592 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3958] ppid=3952 vsize=13984976 memory=720272 CPUtime=0.06 cores=0,2,4,6
/proc/3954/task/3958/stat : 3958 (java) S 3952 3952 31727 0 -1 1077944384 633 0 0 0 4 2 0 0 20 0 15 0 95438037 14320615424 180068 33554432000 4194304 4196468 140737200759952 139627853020304 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3959] ppid=3952 vsize=13984976 memory=1384 CPUtime=0.07 cores=0,2,4,6
/proc/3954/task/3959/stat : 3959 (java) S 3952 3952 31727 0 -1 1077944384 492 0 0 0 4 3 0 0 20 0 15 0 95438037 14320615424 180068 33554432000 4194304 4196468 140737200759952 139627851967504 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3960] ppid=3952 vsize=13984976 memory=720272 CPUtime=0.01 cores=0,2,4,6
/proc/3954/task/3960/stat : 3960 (java) S 3952 3952 31727 0 -1 1077944384 1399 0 0 0 1 0 0 0 20 0 15 0 95438038 14320615424 180068 33554432000 4194304 4196468 140737200759952 139627399186544 139627925047938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3961] ppid=3952 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3961/stat : 3961 (java) S 3952 3952 31727 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95438039 14320615424 180068 33554432000 4194304 4196468 140737200759952 139627398132576 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3962] ppid=3952 vsize=13984976 memory=481320 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3962/stat : 3962 (java) S 3952 3952 31727 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95438039 14320615424 180068 33554432000 4194304 4196468 140737200759952 139627397080192 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3963] ppid=3952 vsize=13984976 memory=10640 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3963/stat : 3963 (java) S 3952 3952 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438041 14320615424 180068 33554432000 4194304 4196468 140737200759952 139627396028496 139627925055387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3964] ppid=3952 vsize=13984976 memory=0 CPUtime=2.3 cores=0,2,4,6
/proc/3954/task/3964/stat : 3964 (java) S 3952 3952 31727 0 -1 1077944384 14333 0 0 0 229 1 0 0 20 0 15 0 95438041 14320615424 180068 33554432000 4194304 4196468 140737200759952 139627394976368 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3965] ppid=3952 vsize=13984976 memory=1384 CPUtime=2.88 cores=0,2,4,6
/proc/3954/task/3965/stat : 3965 (java) S 3952 3952 31727 0 -1 1077944384 13698 0 0 0 286 2 0 0 20 0 15 0 95438041 14320615424 180068 33554432000 4194304 4196468 140737200759952 139627393923568 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3966] ppid=3952 vsize=13984976 memory=1384 CPUtime=0.5 cores=0,2,4,6
/proc/3954/task/3966/stat : 3966 (java) S 3952 3952 31727 0 -1 1077944384 5865 0 0 0 49 1 0 0 20 0 15 0 95438041 14320615424 180068 33554432000 4194304 4196468 140737200759952 139627392871280 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3967] ppid=3952 vsize=13984976 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3967/stat : 3967 (java) S 3952 3952 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438041 14320615424 180068 33554432000 4194304 4196468 140737200759952 139627391818720 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3968] ppid=3952 vsize=13984976 memory=27364 CPUtime=0.08 cores=0,2,4,6
/proc/3954/task/3968/stat : 3968 (java) S 3952 3952 31727 0 -1 1077944384 1030 0 0 0 4 4 0 0 20 0 15 0 95438042 14320615424 180068 33554432000 4194304 4196468 140737200759952 139627390765488 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
Current children cumulated CPU time: 168.31 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 721656 KiB
[startup+222.301 s]
/proc/loadavg: 2.01 1.96 1.90 3/217 3971
/proc/meminfo: memFree=25135460/32770624 swapFree=67108860/67108860
[pid=3952] ppid=3949 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95438035 9740288 346 33554432000 4194304 5098028 140725061920896 140725061919000 139959550775932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10084352 140725061928053 140725061928256 140725061928256 140725061930987 0
/proc/3952/statm: 2378 346 289 221 0 87 0
[pid=3954] ppid=3952 vsize=13984976 memory=741740 CPUtime=228.5 cores=0,2,4,6
/proc/3954/stat : 3954 (java) S 3952 3952 31727 0 -1 1077944320 54907 0 0 0 22813 37 0 0 20 0 15 0 95438036 14320615424 185435 33554432000 4194304 4196468 140737200759952 140737200742496 139627925036791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
/proc/3954/statm: 3496244 185435 3257 1 0 3483478 0
[pid=3954/tid=3955] ppid=3952 vsize=13984976 memory=741740 CPUtime=222.17 cores=0,2,4,6
/proc/3954/task/3955/stat : 3955 (java) R 3952 3952 31727 0 -1 4202560 12581 0 0 0 22207 10 0 0 20 0 15 0 95438036 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627929275016 139627529324011 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3956] ppid=3952 vsize=13984976 memory=741740 CPUtime=0.08 cores=0,2,4,6
/proc/3954/task/3956/stat : 3956 (java) S 3952 3952 31727 0 -1 1077944384 765 0 0 0 4 4 0 0 20 0 15 0 95438037 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627855125392 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3957] ppid=3952 vsize=13984976 memory=1384 CPUtime=0.06 cores=0,2,4,6
/proc/3954/task/3957/stat : 3957 (java) S 3952 3952 31727 0 -1 1077944384 497 0 0 0 3 3 0 0 20 0 15 0 95438037 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627854072592 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3958] ppid=3952 vsize=13984976 memory=741740 CPUtime=0.08 cores=0,2,4,6
/proc/3954/task/3958/stat : 3958 (java) S 3952 3952 31727 0 -1 1077944384 1017 0 0 0 5 3 0 0 20 0 15 0 95438037 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627853020304 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3959] ppid=3952 vsize=13984976 memory=741740 CPUtime=0.08 cores=0,2,4,6
/proc/3954/task/3959/stat : 3959 (java) S 3952 3952 31727 0 -1 1077944384 651 0 0 0 4 4 0 0 20 0 15 0 95438037 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627851967504 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3960] ppid=3952 vsize=13984976 memory=741740 CPUtime=0.01 cores=0,2,4,6
/proc/3954/task/3960/stat : 3960 (java) S 3952 3952 31727 0 -1 1077944384 1555 0 0 0 1 0 0 0 20 0 15 0 95438038 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627399186544 139627925047938 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3961] ppid=3952 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3961/stat : 3961 (java) S 3952 3952 31727 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95438039 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627398132576 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3962] ppid=3952 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3962/stat : 3962 (java) S 3952 3952 31727 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95438039 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627397080192 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3963] ppid=3952 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3963/stat : 3963 (java) S 3952 3952 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438041 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627396028496 139627925055387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3964] ppid=3952 vsize=13984976 memory=1928 CPUtime=2.39 cores=0,2,4,6
/proc/3954/task/3964/stat : 3964 (java) S 3952 3952 31727 0 -1 1077944384 14857 0 0 0 238 1 0 0 20 0 15 0 95438041 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627394976368 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3965] ppid=3952 vsize=13984976 memory=1384 CPUtime=2.91 cores=0,2,4,6
/proc/3954/task/3965/stat : 3965 (java) S 3952 3952 31727 0 -1 1077944384 14729 0 0 0 289 2 0 0 20 0 15 0 95438041 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627393923568 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3966] ppid=3952 vsize=13984976 memory=741740 CPUtime=0.5 cores=0,2,4,6
/proc/3954/task/3966/stat : 3966 (java) S 3952 3952 31727 0 -1 1077944384 5875 0 0 0 49 1 0 0 20 0 15 0 95438041 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627392871280 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3967] ppid=3952 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3967/stat : 3967 (java) S 3952 3952 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438041 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627391818720 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3968] ppid=3952 vsize=13984976 memory=741740 CPUtime=0.11 cores=0,2,4,6
/proc/3954/task/3968/stat : 3968 (java) S 3952 3952 31727 0 -1 1077944384 1035 0 0 0 5 6 0 0 20 0 15 0 95438042 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627390765488 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
Current children cumulated CPU time: 228.5 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 743124 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.00 1.96 1.90 3/217 4049
/proc/meminfo: memFree=25629452/32770624 swapFree=67108860/67108860
[pid=3952] ppid=3949 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3952/stat : 3952 (xcsp3-exec) S 3949 3952 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95438035 9740288 346 33554432000 4194304 5098028 140725061920896 140725061919000 139959550775932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10084352 140725061928053 140725061928256 140725061928256 140725061930987 0
/proc/3952/statm: 2378 346 289 221 0 87 0
[pid=3954] ppid=3952 vsize=13984976 memory=741740 CPUtime=246.21 cores=0,2,4,6
/proc/3954/stat : 3954 (java) S 3952 3952 31727 0 -1 1077944320 55480 0 0 0 24584 37 0 0 20 0 15 0 95438036 14320615424 185435 33554432000 4194304 4196468 140737200759952 140737200742496 139627925036791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
/proc/3954/statm: 3496244 185435 3257 1 0 3483478 0
[pid=3954/tid=3955] ppid=3952 vsize=13984976 memory=6935054825532540783 CPUtime=239.88 cores=0,2,4,6
/proc/3954/task/3955/stat : 3955 (java) R 3952 3952 31727 0 -1 4202560 13154 0 0 0 23978 10 0 0 20 0 15 0 95438036 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627929275016 139627529324943 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3956] ppid=3952 vsize=13984976 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/3954/task/3956/stat : 3956 (java) S 3952 3952 31727 0 -1 1077944384 765 0 0 0 4 4 0 0 20 0 15 0 95438037 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627855125392 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3957] ppid=3952 vsize=13984976 memory=4012 CPUtime=0.06 cores=0,2,4,6
/proc/3954/task/3957/stat : 3957 (java) S 3952 3952 31727 0 -1 1077944384 497 0 0 0 3 3 0 0 20 0 15 0 95438037 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627854072592 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3958] ppid=3952 vsize=13984976 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/3954/task/3958/stat : 3958 (java) S 3952 3952 31727 0 -1 1077944384 1017 0 0 0 5 3 0 0 20 0 15 0 95438037 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627853020304 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3959] ppid=3952 vsize=13984976 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/3954/task/3959/stat : 3959 (java) S 3952 3952 31727 0 -1 1077944384 651 0 0 0 4 4 0 0 20 0 15 0 95438037 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627851967504 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3960] ppid=3952 vsize=13984976 memory=741740 CPUtime=0.01 cores=0,2,4,6
/proc/3954/task/3960/stat : 3960 (java) S 3952 3952 31727 0 -1 1077944384 1555 0 0 0 1 0 0 0 20 0 15 0 95438038 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627399186544 139627925047938 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3961] ppid=3952 vsize=13984976 memory=741740 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3961/stat : 3961 (java) S 3952 3952 31727 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 95438039 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627398132576 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3962] ppid=3952 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3962/stat : 3962 (java) S 3952 3952 31727 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95438039 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627397080192 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3963] ppid=3952 vsize=13984976 memory=741740 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3963/stat : 3963 (java) S 3952 3952 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438041 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627396028496 139627925055387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3964] ppid=3952 vsize=13984976 memory=741740 CPUtime=2.39 cores=0,2,4,6
/proc/3954/task/3964/stat : 3964 (java) S 3952 3952 31727 0 -1 1077944384 14857 0 0 0 238 1 0 0 20 0 15 0 95438041 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627394976368 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3965] ppid=3952 vsize=13984976 memory=1428 CPUtime=2.91 cores=0,2,4,6
/proc/3954/task/3965/stat : 3965 (java) S 3952 3952 31727 0 -1 1077944384 14729 0 0 0 289 2 0 0 20 0 15 0 95438041 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627393923568 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3966] ppid=3952 vsize=13984976 memory=1196 CPUtime=0.5 cores=0,2,4,6
/proc/3954/task/3966/stat : 3966 (java) S 3952 3952 31727 0 -1 1077944384 5875 0 0 0 49 1 0 0 20 0 15 0 95438041 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627392871280 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3967] ppid=3952 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/3954/task/3967/stat : 3967 (java) S 3952 3952 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95438041 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627391818720 139627925046997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
[pid=3954/tid=3968] ppid=3952 vsize=13984976 memory=4012 CPUtime=0.13 cores=0,2,4,6
/proc/3954/task/3968/stat : 3968 (java) S 3952 3952 31727 0 -1 1077944384 1035 0 0 0 6 7 0 0 20 0 15 0 95438042 14320615424 185435 33554432000 4194304 4196468 140737200759952 139627390765488 139627925047938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 36220928 140737200768157 140737200768332 140737200768332 140737200771023 0
Current children cumulated CPU time: 246.21 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 743124 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 3952 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001956 s
[startup+240.024 s]
# the end of solver process 3954 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.854 s, system=0.385177 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): 240.024
CPU time (s): 246.239
CPU user time (s): 245.854
CPU system time (s): 0.385177
CPU usage (%): 102.59
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 743124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.854
system time used= 0.385177
maximum resident set size= 742876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7700
involuntary context switches= 349
# summary of solver processes directly reported to runsolver:
# pid: 3952,3954
# total CPU time (s): 246.239
# total CPU user time (s): 245.854
# total CPU system time (s): 0.385177
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48563 second user time and 2.42196 second system time
The end