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 (15417 MiB free)
memory of node 1: 16384 MiB (15397 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269382-1502744815/watcher-4269382-1502744815 -o /tmp/evaluation-result-4269382-1502744815/solver-4269382-1502744815 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1006756441 HOME/instance-4269382-1502744815.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9060, runsolver pid=9057
Current StackSize limit: 8192 KiB
[startup+0.100198 s]*
/proc/loadavg: 1.61 1.78 1.85 3/206 9067
/proc/meminfo: memFree=31546504/32770624 swapFree=67108764/67108860
[pid=9060] ppid=9057 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9060/stat : 9060 (xcsp3-exec) S 9057 9060 4674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 121988042 9740288 344 18446744073709551615 4194304 5098028 140722168745120 140722168743224 140595496485500 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 12222464 140722168750456 140722168750661 140722168750661 140722168754155 0
/proc/9060/statm: 2378 344 289 221 0 87 0
[pid=9062] ppid=9060 vsize=13574484 memory=17468 CPUtime=0.02 cores=0,2,4,6
/proc/9062/stat : 9062 (java) S 9060 9060 4674 0 -1 1077944320 3685 0 0 0 2 0 0 0 20 0 9 0 121988049 13900271616 4367 18446744073709551615 4194304 4196468 140724215068112 140724215050656 140493169082103 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
/proc/9062/statm: 3393621 4367 2065 1 0 3383118 0
[pid=9062/tid=9063] ppid=9060 vsize=13574484 memory=8508281356422187169 CPUtime=0.01 cores=0,2,4,6
/proc/9062/task/9063/stat : 9063 (java) R 9060 9060 4674 0 -1 4202560 2401 0 0 0 1 0 0 0 20 0 9 0 121988050 13900271616 4367 18446744073709551615 4194304 4196468 140724215068112 140493173317864 140493169104029 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9064] ppid=9060 vsize=13574484 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9064/stat : 9064 (java) S 9060 9060 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 121988050 13900271616 4367 18446744073709551615 4194304 4196468 140724215068112 140493088496016 140493169092309 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9065] ppid=9060 vsize=13574484 memory=140249205753472 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9065/stat : 9065 (java) S 9060 9060 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 121988050 13900271616 4367 18446744073709551615 4194304 4196468 140724215068112 140493087443216 140493169092309 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9066] ppid=9060 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9066/stat : 9066 (java) S 9060 9060 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 121988050 13900271616 4367 18446744073709551615 4194304 4196468 140724215068112 140493086390928 140493169092309 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9067] ppid=9060 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9067/stat : 9067 (java) S 9060 9060 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 121988050 13900271616 4367 18446744073709551615 4194304 4196468 140724215068112 140493085338128 140493169092309 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9068] ppid=9060 vsize=13574484 memory=140249205753472 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9068/stat : 9068 (java) S 9060 9060 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 121988052 13900271616 4367 18446744073709551615 4194304 4196468 140724215068112 140492285921904 140493169093250 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9069] ppid=9060 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9069/stat : 9069 (java) S 9060 9060 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 121988052 13900271616 4367 18446744073709551615 4194304 4196468 140724215068112 140492284867872 140493169092309 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9070] ppid=9060 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9070/stat : 9070 (java) S 9060 9060 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 121988052 13900271616 4367 18446744073709551615 4194304 4196468 140724215068112 140492283815600 140493169092309 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18844 KiB
[startup+0.210276 s]*
/proc/loadavg: 1.61 1.78 1.85 4/215 9076
/proc/meminfo: memFree=31537532/32770624 swapFree=67108764/67108860
[pid=9060] ppid=9057 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9060/stat : 9060 (xcsp3-exec) S 9057 9060 4674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 121988042 9740288 344 18446744073709551615 4194304 5098028 140722168745120 140722168743224 140595496485500 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 12222464 140722168750456 140722168750661 140722168750661 140722168754155 0
/proc/9060/statm: 2378 344 289 221 0 87 0
[pid=9062] ppid=9060 vsize=13974352 memory=28176 CPUtime=0.1 cores=0,2,4,6
/proc/9062/stat : 9062 (java) S 9060 9060 4674 0 -1 1077944320 4948 0 0 0 9 1 0 0 20 0 15 0 121988049 14309736448 7044 18446744073709551615 4194304 4196468 140724215068112 140724215050656 140493169082103 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
/proc/9062/statm: 3493588 7044 2755 1 0 3482964 0
[pid=9062/tid=9063] ppid=9060 vsize=13974352 memory=7022364594140610616 CPUtime=0.08 cores=0,2,4,6
/proc/9062/task/9063/stat : 9063 (java) R 9060 9060 4674 0 -1 4202560 3089 0 0 0 7 1 0 0 20 0 15 0 121988050 14309736448 7044 18446744073709551615 4194304 4196468 140724215068112 140493173311520 140493169104029 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9064] ppid=9060 vsize=13974352 memory=4294979926 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9064/stat : 9064 (java) S 9060 9060 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121988050 14309736448 7044 18446744073709551615 4194304 4196468 140724215068112 140493088496016 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9065] ppid=9060 vsize=13974352 memory=140249206815127 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9065/stat : 9065 (java) S 9060 9060 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121988050 14309736448 7044 18446744073709551615 4194304 4196468 140724215068112 140493087443216 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9066] ppid=9060 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9066/stat : 9066 (java) S 9060 9060 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121988050 14309736448 7044 18446744073709551615 4194304 4196468 140724215068112 140493086390928 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9067] ppid=9060 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9067/stat : 9067 (java) S 9060 9060 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121988050 14309736448 7044 18446744073709551615 4194304 4196468 140724215068112 140493085338128 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9068] ppid=9060 vsize=13974352 memory=140249205753472 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9068/stat : 9068 (java) S 9060 9060 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121988052 14309736448 7044 18446744073709551615 4194304 4196468 140724215068112 140492285921904 140493169093250 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9069] ppid=9060 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9069/stat : 9069 (java) S 9060 9060 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121988052 14309736448 7044 18446744073709551615 4194304 4196468 140724215068112 140492284867872 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9070] ppid=9060 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9070/stat : 9070 (java) S 9060 9060 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121988052 14309736448 7044 18446744073709551615 4194304 4196468 140724215068112 140492283815536 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9071] ppid=9060 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9071/stat : 9071 (java) S 9060 9060 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121988055 14309736448 7044 18446744073709551615 4194304 4196468 140724215068112 140492282763856 140493169100699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9072] ppid=9060 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9072/stat : 9072 (java) S 9060 9060 4674 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 121988055 14309736448 7044 18446744073709551615 4194304 4196468 140724215068112 140492281710704 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9073] ppid=9060 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9073/stat : 9073 (java) S 9060 9060 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121988055 14309736448 7044 18446744073709551615 4194304 4196468 140724215068112 140492280657904 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9074] ppid=9060 vsize=13974352 memory=140249205753472 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9074/stat : 9074 (java) S 9060 9060 4674 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 15 0 121988055 14309736448 7044 18446744073709551615 4194304 4196468 140724215068112 140492279605616 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9075] ppid=9060 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9075/stat : 9075 (java) S 9060 9060 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121988055 14309736448 7044 18446744073709551615 4194304 4196468 140724215068112 140492278553056 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9076] ppid=9060 vsize=13974352 memory=140249205753472 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9076/stat : 9076 (java) S 9060 9060 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121988060 14309736448 7044 18446744073709551615 4194304 4196468 140724215068112 140492277500848 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29552 KiB
[startup+0.310238 s]*
/proc/loadavg: 1.61 1.78 1.85 4/215 9076
/proc/meminfo: memFree=31527904/32770624 swapFree=67108764/67108860
[pid=9060] ppid=9057 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9060/stat : 9060 (xcsp3-exec) S 9057 9060 4674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 121988042 9740288 344 18446744073709551615 4194304 5098028 140722168745120 140722168743224 140595496485500 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 12222464 140722168750456 140722168750661 140722168750661 140722168754155 0
/proc/9060/statm: 2378 344 289 221 0 87 0
[pid=9062] ppid=9060 vsize=13974352 memory=37608 CPUtime=0.29 cores=0,2,4,6
/proc/9062/stat : 9062 (java) S 9060 9060 4674 0 -1 1077944320 8551 0 0 0 26 3 0 0 20 0 15 0 121988049 14309736448 9402 18446744073709551615 4194304 4196468 140724215068112 140724215050656 140493169082103 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
/proc/9062/statm: 3493588 9402 2952 1 0 3482964 0
[pid=9062/tid=9063] ppid=9060 vsize=13974352 memory=4278483708103473607 CPUtime=0.17 cores=0,2,4,6
/proc/9062/task/9063/stat : 9063 (java) R 9060 9060 4674 0 -1 4202560 5715 0 0 0 15 2 0 0 20 0 15 0 121988050 14309736448 9402 18446744073709551615 4194304 4196468 140724215068112 140493173311840 140493169103450 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9064] ppid=9060 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9064/stat : 9064 (java) S 9060 9060 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121988050 14309736448 9402 18446744073709551615 4194304 4196468 140724215068112 140493088496016 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9065] ppid=9060 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9065/stat : 9065 (java) S 9060 9060 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121988050 14309736448 9402 18446744073709551615 4194304 4196468 140724215068112 140493087443216 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9066] ppid=9060 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9066/stat : 9066 (java) S 9060 9060 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121988050 14309736448 9402 18446744073709551615 4194304 4196468 140724215068112 140493086390928 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9067] ppid=9060 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9067/stat : 9067 (java) S 9060 9060 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121988050 14309736448 9402 18446744073709551615 4194304 4196468 140724215068112 140493085338128 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9068] ppid=9060 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9068/stat : 9068 (java) S 9060 9060 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121988052 14309736448 9402 18446744073709551615 4194304 4196468 140724215068112 140492285921904 140493169093250 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9069] ppid=9060 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9069/stat : 9069 (java) S 9060 9060 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121988052 14309736448 9402 18446744073709551615 4194304 4196468 140724215068112 140492284867872 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9070] ppid=9060 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9070/stat : 9070 (java) S 9060 9060 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121988052 14309736448 9402 18446744073709551615 4194304 4196468 140724215068112 140492283815536 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9071] ppid=9060 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9071/stat : 9071 (java) S 9060 9060 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121988055 14309736448 9402 18446744073709551615 4194304 4196468 140724215068112 140492282763856 140493169100699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9072] ppid=9060 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9062/task/9072/stat : 9072 (java) R 9060 9060 4674 0 -1 4202560 377 0 0 0 1 0 0 0 20 0 15 0 121988055 14309736448 9402 18446744073709551615 4194304 4196468 140724215068112 140492281710704 140493169103450 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9073] ppid=9060 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9062/task/9073/stat : 9073 (java) R 9060 9060 4674 0 -1 4202560 458 0 0 0 2 0 0 0 20 0 15 0 121988055 14309736448 9402 18446744073709551615 4194304 4196468 140724215068112 140492280657904 140493149782400 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9074] ppid=9060 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/9062/task/9074/stat : 9074 (java) R 9060 9060 4674 0 -1 1077944384 703 0 0 0 6 0 0 0 20 0 15 0 121988055 14309736448 9402 18446744073709551615 4194304 4196468 140724215068112 140492279605616 140493169093250 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9075] ppid=9060 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9075/stat : 9075 (java) S 9060 9060 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121988055 14309736448 9402 18446744073709551615 4194304 4196468 140724215068112 140492278553056 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9076] ppid=9060 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9076/stat : 9076 (java) S 9060 9060 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121988060 14309736448 9402 18446744073709551615 4194304 4196468 140724215068112 140492277500848 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38984 KiB
[startup+0.700856 s]
/proc/loadavg: 1.61 1.78 1.85 5/215 9076
/proc/meminfo: memFree=31506252/32770624 swapFree=67108764/67108860
[pid=9060] ppid=9057 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9060/stat : 9060 (xcsp3-exec) S 9057 9060 4674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 121988042 9740288 344 18446744073709551615 4194304 5098028 140722168745120 140722168743224 140595496485500 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 12222464 140722168750456 140722168750661 140722168750661 140722168754155 0
/proc/9060/statm: 2378 344 289 221 0 87 0
[pid=9062] ppid=9060 vsize=13978608 memory=121720 CPUtime=1.23 cores=0,2,4,6
/proc/9062/stat : 9062 (java) S 9060 9060 4674 0 -1 1077944320 12331 0 0 0 117 6 0 0 20 0 15 0 121988049 14314094592 30430 18446744073709551615 4194304 4196468 140724215068112 140724215050656 140493169082103 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
/proc/9062/statm: 3494652 30430 3123 1 0 3482964 0
[pid=9062/tid=9063] ppid=9060 vsize=13978608 memory=280498140086512 CPUtime=0.56 cores=0,2,4,6
/proc/9062/task/9063/stat : 9063 (java) R 9060 9060 4674 0 -1 4202560 7112 0 0 0 52 4 0 0 20 0 15 0 121988050 14314094592 30430 18446744073709551615 4194304 4196468 140724215068112 140493173317648 140493169104029 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9064] ppid=9060 vsize=13978608 memory=280498140086512 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9064/stat : 9064 (java) S 9060 9060 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121988050 14314094592 30430 18446744073709551615 4194304 4196468 140724215068112 140493088496016 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9065] ppid=9060 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9065/stat : 9065 (java) S 9060 9060 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121988050 14314094592 30430 18446744073709551615 4194304 4196468 140724215068112 140493087443216 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9066] ppid=9060 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9066/stat : 9066 (java) S 9060 9060 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121988050 14314094592 30430 18446744073709551615 4194304 4196468 140724215068112 140493086390928 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9067] ppid=9060 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9067/stat : 9067 (java) S 9060 9060 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121988050 14314094592 30430 18446744073709551615 4194304 4196468 140724215068112 140493085338128 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9068] ppid=9060 vsize=13978608 memory=1 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9068/stat : 9068 (java) S 9060 9060 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121988052 14314094592 30430 18446744073709551615 4194304 4196468 140724215068112 140492285921904 140493169093250 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9069] ppid=9060 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9069/stat : 9069 (java) S 9060 9060 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121988052 14314094592 30430 18446744073709551615 4194304 4196468 140724215068112 140492284867872 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9070] ppid=9060 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9070/stat : 9070 (java) S 9060 9060 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121988052 14314094592 30430 18446744073709551615 4194304 4196468 140724215068112 140492283815536 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9071] ppid=9060 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9071/stat : 9071 (java) S 9060 9060 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121988055 14314094592 30430 18446744073709551615 4194304 4196468 140724215068112 140492282763856 140493169100699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9072] ppid=9060 vsize=13978608 memory=28 CPUtime=0.25 cores=0,2,4,6
/proc/9062/task/9072/stat : 9072 (java) S 9060 9060 4674 0 -1 1077944384 1512 0 0 0 25 0 0 0 20 0 15 0 121988055 14314094592 30430 18446744073709551615 4194304 4196468 140724215068112 140492281710704 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9073] ppid=9060 vsize=13978608 memory=229 CPUtime=0.21 cores=0,2,4,6
/proc/9062/task/9073/stat : 9073 (java) S 9060 9060 4674 0 -1 1077944384 1118 0 0 0 21 0 0 0 20 0 15 0 121988055 14314094592 30430 18446744073709551615 4194304 4196468 140724215068112 140492280657904 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9074] ppid=9060 vsize=13978608 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/9062/task/9074/stat : 9074 (java) S 9060 9060 4674 0 -1 1077944384 1283 0 0 0 18 0 0 0 20 0 15 0 121988055 14314094592 30430 18446744073709551615 4194304 4196468 140724215068112 140492279605616 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9075] ppid=9060 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9075/stat : 9075 (java) S 9060 9060 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121988055 14314094592 30430 18446744073709551615 4194304 4196468 140724215068112 140492278553056 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9076] ppid=9060 vsize=13978608 memory=2756 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9076/stat : 9076 (java) S 9060 9060 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121988060 14314094592 30430 18446744073709551615 4194304 4196468 140724215068112 140492277500848 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 123096 KiB
[startup+1.50082 s]
/proc/loadavg: 1.61 1.78 1.85 5/215 9076
/proc/meminfo: memFree=31302884/32770624 swapFree=67108764/67108860
[pid=9060] ppid=9057 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9060/stat : 9060 (xcsp3-exec) S 9057 9060 4674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 121988042 9740288 344 18446744073709551615 4194304 5098028 140722168745120 140722168743224 140595496485500 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 12222464 140722168750456 140722168750661 140722168750661 140722168754155 0
/proc/9060/statm: 2378 344 289 221 0 87 0
[pid=9062] ppid=9060 vsize=13978684 memory=362144 CPUtime=3.45 cores=0,2,4,6
/proc/9062/stat : 9062 (java) S 9060 9060 4674 0 -1 1077944320 14534 0 0 0 315 30 0 0 20 0 15 0 121988049 14314172416 90536 18446744073709551615 4194304 4196468 140724215068112 140724215050656 140493169082103 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
/proc/9062/statm: 3494671 90536 3211 1 0 3482964 0
[pid=9062/tid=9063] ppid=9060 vsize=13978684 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/9062/task/9063/stat : 9063 (java) R 9060 9060 4674 0 -1 4202560 7491 0 0 0 113 5 0 0 20 0 15 0 121988050 14314172416 90536 18446744073709551615 4194304 4196468 140724215068112 140493173316104 140493148139803 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9064] ppid=9060 vsize=13978684 memory=1 CPUtime=0.14 cores=0,2,4,6
/proc/9062/task/9064/stat : 9064 (java) S 9060 9060 4674 0 -1 1077944384 114 0 0 0 9 5 0 0 20 0 15 0 121988050 14314172416 90536 18446744073709551615 4194304 4196468 140724215068112 140493088496016 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9065] ppid=9060 vsize=13978684 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/9062/task/9065/stat : 9065 (java) S 9060 9060 4674 0 -1 1077944384 133 0 0 0 11 6 0 0 20 0 15 0 121988050 14314172416 90536 18446744073709551615 4194304 4196468 140724215068112 140493087443216 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9066] ppid=9060 vsize=13978684 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/9062/task/9066/stat : 9066 (java) S 9060 9060 4674 0 -1 1077944384 126 0 0 0 11 6 0 0 20 0 15 0 121988050 14314172416 90536 18446744073709551615 4194304 4196468 140724215068112 140493086390928 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9067] ppid=9060 vsize=13978684 memory=131528345 CPUtime=0.15 cores=0,2,4,6
################
# More data... #
################
/proc/9062/task/9070/stat : 9070 (java) S 9060 9060 4674 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 121988052 14316269568 442865 18446744073709551615 4194304 4196468 140724215068112 140492283815552 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9071] ppid=9060 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9071/stat : 9071 (java) S 9060 9060 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121988055 14316269568 442865 18446744073709551615 4194304 4196468 140724215068112 140492282763856 140493169100699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9072] ppid=9060 vsize=13980732 memory=1771452 CPUtime=3.52 cores=0,2,4,6
/proc/9062/task/9072/stat : 9072 (java) S 9060 9060 4674 0 -1 1077944384 17985 0 0 0 349 3 0 0 20 0 15 0 121988055 14316269568 442865 18446744073709551615 4194304 4196468 140724215068112 140492281710704 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9073] ppid=9060 vsize=13980732 memory=796 CPUtime=3.32 cores=0,2,4,6
/proc/9062/task/9073/stat : 9073 (java) S 9060 9060 4674 0 -1 1077944384 19416 0 0 0 330 2 0 0 20 0 15 0 121988055 14316269568 442865 18446744073709551615 4194304 4196468 140724215068112 140492280657904 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9074] ppid=9060 vsize=13980732 memory=984 CPUtime=0.85 cores=0,2,4,6
/proc/9062/task/9074/stat : 9074 (java) S 9060 9060 4674 0 -1 1077944384 15609 0 0 0 82 3 0 0 20 0 15 0 121988055 14316269568 442865 18446744073709551615 4194304 4196468 140724215068112 140492279605616 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9075] ppid=9060 vsize=13980732 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9075/stat : 9075 (java) S 9060 9060 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121988055 14316269568 442865 18446744073709551615 4194304 4196468 140724215068112 140492278553056 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9076] ppid=9060 vsize=13980732 memory=3232 CPUtime=1.46 cores=0,2,4,6
/proc/9062/task/9076/stat : 9076 (java) S 9060 9060 4674 0 -1 1077944384 1562 0 0 0 71 75 0 0 20 0 15 0 121988060 14316269568 442865 18446744073709551615 4194304 4196468 140724215068112 140492277500848 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
Current children cumulated CPU time: 2396.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1772836 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/214 9405
/proc/meminfo: memFree=29009168/32770624 swapFree=67108764/67108860
[pid=9060] ppid=9057 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9060/stat : 9060 (xcsp3-exec) S 9057 9060 4674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 121988042 9740288 344 18446744073709551615 4194304 5098028 140722168745120 140722168743224 140595496485500 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 12222464 140722168750456 140722168750661 140722168750661 140722168754155 0
/proc/9060/statm: 2378 344 289 221 0 87 0
[pid=9062] ppid=9060 vsize=13980732 memory=1774644 CPUtime=2456.76 cores=0,2,4,6
/proc/9062/stat : 9062 (java) S 9060 9060 4674 0 -1 1077944320 280818 0 0 0 245499 177 0 0 20 0 15 0 121988049 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140724215050656 140493169082103 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
/proc/9062/statm: 3495183 443661 3265 1 0 3483476 0
[pid=9062/tid=9063] ppid=9060 vsize=13980732 memory=1774644 CPUtime=2439.1 cores=0,2,4,6
/proc/9062/task/9063/stat : 9063 (java) R 9060 9060 4674 0 -1 4202560 200925 0 0 0 243882 28 0 0 20 0 15 0 121988050 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140493173320952 140492767989645 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9064] ppid=9060 vsize=13980732 memory=1774644 CPUtime=2.01 cores=0,2,4,6
/proc/9062/task/9064/stat : 9064 (java) S 9060 9060 4674 0 -1 1077944384 5555 0 0 0 182 19 0 0 20 0 15 0 121988050 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140493088496016 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9065] ppid=9060 vsize=13980732 memory=1774644 CPUtime=2 cores=0,2,4,6
/proc/9062/task/9065/stat : 9065 (java) S 9060 9060 4674 0 -1 1077944384 4870 0 0 0 180 20 0 0 20 0 15 0 121988050 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140493087443216 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9066] ppid=9060 vsize=13980732 memory=1774644 CPUtime=1.99 cores=0,2,4,6
/proc/9062/task/9066/stat : 9066 (java) S 9060 9060 4674 0 -1 1077944384 5027 0 0 0 178 21 0 0 20 0 15 0 121988050 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140493086390928 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9067] ppid=9060 vsize=13980732 memory=1774644 CPUtime=1.98 cores=0,2,4,6
/proc/9062/task/9067/stat : 9067 (java) S 9060 9060 4674 0 -1 1077944384 5201 0 0 0 179 19 0 0 20 0 15 0 121988050 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140493085338128 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9068] ppid=9060 vsize=13980732 memory=1376 CPUtime=0.4 cores=0,2,4,6
/proc/9062/task/9068/stat : 9068 (java) S 9060 9060 4674 0 -1 1077944384 3286 0 0 0 37 3 0 0 20 0 15 0 121988052 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492285921904 140493169093250 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9069] ppid=9060 vsize=13980732 memory=1774644 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9069/stat : 9069 (java) S 9060 9060 4674 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 121988052 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492284867936 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9070] ppid=9060 vsize=13980732 memory=1774644 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9070/stat : 9070 (java) S 9060 9060 4674 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 121988052 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492283815552 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9071] ppid=9060 vsize=13980732 memory=1774644 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9071/stat : 9071 (java) S 9060 9060 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121988055 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492282763856 140493169100699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9072] ppid=9060 vsize=13980732 memory=1376 CPUtime=3.52 cores=0,2,4,6
/proc/9062/task/9072/stat : 9072 (java) S 9060 9060 4674 0 -1 1077944384 17989 0 0 0 349 3 0 0 20 0 15 0 121988055 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492281710704 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9073] ppid=9060 vsize=13980732 memory=1376 CPUtime=3.32 cores=0,2,4,6
/proc/9062/task/9073/stat : 9073 (java) S 9060 9060 4674 0 -1 1077944384 19422 0 0 0 330 2 0 0 20 0 15 0 121988055 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492280657904 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9074] ppid=9060 vsize=13980732 memory=1774644 CPUtime=0.85 cores=0,2,4,6
/proc/9062/task/9074/stat : 9074 (java) S 9060 9060 4674 0 -1 1077944384 15613 0 0 0 82 3 0 0 20 0 15 0 121988055 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492279605616 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9075] ppid=9060 vsize=13980732 memory=2760 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9075/stat : 9075 (java) S 9060 9060 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121988055 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492278553056 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9076] ppid=9060 vsize=13980732 memory=1376 CPUtime=1.51 cores=0,2,4,6
/proc/9062/task/9076/stat : 9076 (java) S 9060 9060 4674 0 -1 1077944384 1598 0 0 0 73 78 0 0 20 0 15 0 121988060 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492277500848 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
Current children cumulated CPU time: 2456.76 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1776020 KiB
[startup+2502.3 s]
/proc/loadavg: 2.29 2.08 2.00 3/215 9408
/proc/meminfo: memFree=29009512/32770624 swapFree=67108764/67108860
[pid=9060] ppid=9057 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9060/stat : 9060 (xcsp3-exec) S 9057 9060 4674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 121988042 9740288 344 18446744073709551615 4194304 5098028 140722168745120 140722168743224 140595496485500 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 12222464 140722168750456 140722168750661 140722168750661 140722168754155 0
/proc/9060/statm: 2378 344 289 221 0 87 0
[pid=9062] ppid=9060 vsize=13980732 memory=1774644 CPUtime=2516.79 cores=0,2,4,6
/proc/9062/stat : 9062 (java) S 9060 9060 4674 0 -1 1077944320 281716 0 0 0 251501 178 0 0 20 0 15 0 121988049 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140724215050656 140493169082103 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
/proc/9062/statm: 3495183 443661 3265 1 0 3483476 0
[pid=9062/tid=9063] ppid=9060 vsize=13980732 memory=1774644 CPUtime=2499.09 cores=0,2,4,6
/proc/9062/task/9063/stat : 9063 (java) R 9060 9060 4674 0 -1 4202560 201772 0 0 0 249881 28 0 0 20 0 15 0 121988050 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140493173320952 140492764853634 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9064] ppid=9060 vsize=13980732 memory=1774644 CPUtime=2.01 cores=0,2,4,6
/proc/9062/task/9064/stat : 9064 (java) S 9060 9060 4674 0 -1 1077944384 5555 0 0 0 182 19 0 0 20 0 15 0 121988050 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140493088496016 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9065] ppid=9060 vsize=13980732 memory=1774644 CPUtime=2 cores=0,2,4,6
/proc/9062/task/9065/stat : 9065 (java) S 9060 9060 4674 0 -1 1077944384 4870 0 0 0 180 20 0 0 20 0 15 0 121988050 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140493087443216 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9066] ppid=9060 vsize=13980732 memory=1774644 CPUtime=1.99 cores=0,2,4,6
/proc/9062/task/9066/stat : 9066 (java) S 9060 9060 4674 0 -1 1077944384 5027 0 0 0 178 21 0 0 20 0 15 0 121988050 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140493086390928 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9067] ppid=9060 vsize=13980732 memory=1774644 CPUtime=1.98 cores=0,2,4,6
/proc/9062/task/9067/stat : 9067 (java) S 9060 9060 4674 0 -1 1077944384 5201 0 0 0 179 19 0 0 20 0 15 0 121988050 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140493085338128 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9068] ppid=9060 vsize=13980732 memory=1774644 CPUtime=0.4 cores=0,2,4,6
/proc/9062/task/9068/stat : 9068 (java) S 9060 9060 4674 0 -1 1077944384 3294 0 0 0 37 3 0 0 20 0 15 0 121988052 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492285921904 140493169093250 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9069] ppid=9060 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9069/stat : 9069 (java) S 9060 9060 4674 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 121988052 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492284867936 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9070] ppid=9060 vsize=13980732 memory=1774644 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9070/stat : 9070 (java) S 9060 9060 4674 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 121988052 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492283815552 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9071] ppid=9060 vsize=13980732 memory=1774644 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9071/stat : 9071 (java) S 9060 9060 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121988055 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492282763856 140493169100699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9072] ppid=9060 vsize=13980732 memory=6628 CPUtime=3.52 cores=0,2,4,6
/proc/9062/task/9072/stat : 9072 (java) S 9060 9060 4674 0 -1 1077944384 17993 0 0 0 349 3 0 0 20 0 15 0 121988055 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492281710704 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9073] ppid=9060 vsize=13980732 memory=1774644 CPUtime=3.32 cores=0,2,4,6
/proc/9062/task/9073/stat : 9073 (java) S 9060 9060 4674 0 -1 1077944384 19428 0 0 0 330 2 0 0 20 0 15 0 121988055 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492280657904 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9074] ppid=9060 vsize=13980732 memory=1376 CPUtime=0.85 cores=0,2,4,6
/proc/9062/task/9074/stat : 9074 (java) S 9060 9060 4674 0 -1 1077944384 15617 0 0 0 82 3 0 0 20 0 15 0 121988055 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492279605616 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9075] ppid=9060 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9075/stat : 9075 (java) S 9060 9060 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121988055 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492278553056 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9076] ppid=9060 vsize=13980732 memory=1376 CPUtime=1.55 cores=0,2,4,6
/proc/9062/task/9076/stat : 9076 (java) S 9060 9060 4674 0 -1 1077944384 1627 0 0 0 75 80 0 0 20 0 15 0 121988060 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492277500848 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
Current children cumulated CPU time: 2516.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1776020 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.6 s]
/proc/loadavg: 2.35 2.10 2.01 3/215 9408
/proc/meminfo: memFree=29009388/32770624 swapFree=67108764/67108860
[pid=9060] ppid=9057 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9060/stat : 9060 (xcsp3-exec) S 9057 9060 4674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 121988042 9740288 344 18446744073709551615 4194304 5098028 140722168745120 140722168743224 140595496485500 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 12222464 140722168750456 140722168750661 140722168750661 140722168754155 0
/proc/9060/statm: 2378 344 289 221 0 87 0
[pid=9062] ppid=9060 vsize=13980732 memory=1774644 CPUtime=2520.09 cores=0,2,4,6
/proc/9062/stat : 9062 (java) S 9060 9060 4674 0 -1 1077944320 281748 0 0 0 251831 178 0 0 20 0 15 0 121988049 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140724215050656 140493169082103 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
/proc/9062/statm: 3495183 443661 3265 1 0 3483476 0
[pid=9062/tid=9063] ppid=9060 vsize=13980732 memory=6944656592387989600 CPUtime=2502.39 cores=0,2,4,6
/proc/9062/task/9063/stat : 9063 (java) R 9060 9060 4674 0 -1 4202560 201804 0 0 0 250211 28 0 0 20 0 15 0 121988050 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140493173320952 140492767989612 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9064] ppid=9060 vsize=13980732 memory=1774644 CPUtime=2.01 cores=0,2,4,6
/proc/9062/task/9064/stat : 9064 (java) S 9060 9060 4674 0 -1 1077944384 5555 0 0 0 182 19 0 0 20 0 15 0 121988050 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140493088496016 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9065] ppid=9060 vsize=13980732 memory=1376 CPUtime=2 cores=0,2,4,6
/proc/9062/task/9065/stat : 9065 (java) S 9060 9060 4674 0 -1 1077944384 4870 0 0 0 180 20 0 0 20 0 15 0 121988050 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140493087443216 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9066] ppid=9060 vsize=13980732 memory=1774644 CPUtime=1.99 cores=0,2,4,6
/proc/9062/task/9066/stat : 9066 (java) S 9060 9060 4674 0 -1 1077944384 5027 0 0 0 178 21 0 0 20 0 15 0 121988050 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140493086390928 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9067] ppid=9060 vsize=13980732 memory=1774644 CPUtime=1.98 cores=0,2,4,6
/proc/9062/task/9067/stat : 9067 (java) S 9060 9060 4674 0 -1 1077944384 5201 0 0 0 179 19 0 0 20 0 15 0 121988050 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140493085338128 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9068] ppid=9060 vsize=13980732 memory=1376 CPUtime=0.4 cores=0,2,4,6
/proc/9062/task/9068/stat : 9068 (java) S 9060 9060 4674 0 -1 1077944384 3294 0 0 0 37 3 0 0 20 0 15 0 121988052 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492285921904 140493169093250 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9069] ppid=9060 vsize=13980732 memory=1774644 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9069/stat : 9069 (java) S 9060 9060 4674 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 121988052 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492284867936 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9070] ppid=9060 vsize=13980732 memory=1774644 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9070/stat : 9070 (java) S 9060 9060 4674 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 121988052 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492283815552 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9071] ppid=9060 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9071/stat : 9071 (java) S 9060 9060 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121988055 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492282763856 140493169100699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9072] ppid=9060 vsize=13980732 memory=3978766874774601760 CPUtime=3.52 cores=0,2,4,6
/proc/9062/task/9072/stat : 9072 (java) S 9060 9060 4674 0 -1 1077944384 17993 0 0 0 349 3 0 0 20 0 15 0 121988055 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492281710704 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9073] ppid=9060 vsize=13980732 memory=297292762268016158 CPUtime=3.32 cores=0,2,4,6
/proc/9062/task/9073/stat : 9073 (java) S 9060 9060 4674 0 -1 1077944384 19428 0 0 0 330 2 0 0 20 0 15 0 121988055 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492280657904 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9074] ppid=9060 vsize=13980732 memory=4148 CPUtime=0.85 cores=0,2,4,6
/proc/9062/task/9074/stat : 9074 (java) S 9060 9060 4674 0 -1 1077944384 15617 0 0 0 82 3 0 0 20 0 15 0 121988055 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492279605616 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9075] ppid=9060 vsize=13980732 memory=59392 CPUtime=0 cores=0,2,4,6
/proc/9062/task/9075/stat : 9075 (java) S 9060 9060 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121988055 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492278553056 140493169092309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
[pid=9062/tid=9076] ppid=9060 vsize=13980732 memory=1296 CPUtime=1.55 cores=0,2,4,6
/proc/9062/task/9076/stat : 9076 (java) S 9060 9060 4674 0 -1 1077944384 1627 0 0 0 75 80 0 0 20 0 15 0 121988060 14316269568 443661 18446744073709551615 4194304 4196468 140724215068112 140492277500848 140493169093250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 25501696 140724215075249 140724215075425 140724215075425 140724215078863 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1776020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.61 s]
# the end of solver process 9060 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001836 s, system=0 s
[startup+2505.62 s]
# the end of solver process 9062 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.32 s, system=1.79602 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): 2505.62
CPU time (s): 2520.12
CPU user time (s): 2518.32
CPU system time (s): 1.79602
CPU usage (%): 100.579
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1776020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.32
system time used= 1.79602
maximum resident set size= 1775220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282842
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58199
involuntary context switches= 13286
# summary of solver processes directly reported to runsolver:
# pid: 9060,9062
# total CPU time (s): 2520.12
# total CPU user time (s): 2518.32
# total CPU system time (s): 1.79602
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6976 second user time and 25.0837 second system time
The end