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 (15259 MiB free)
memory of node 1: 16384 MiB (8663 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393403-1568355635/watcher-4393403-1568355635 -o /tmp/evaluation-result-4393403-1568355635/solver-4393403-1568355635 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568348173-2741 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1045224998 HOME/instance-4393403-1568355635.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5279, runsolver pid=5276
[startup+0.100094 s]*
/proc/loadavg: 5.02 5.84 7.02 3/232 5295
/proc/meminfo: memFree=24479172/32770624 swapFree=66921496/67108860
[pid=5279] ppid=5276 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5279/stat : 5279 (xcsp3-exec) S 5276 5279 2710 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411819593 115843072 362 33554432000 4194304 5098028 140721952386304 140721952384408 139834047910524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16392192 140721952387962 140721952388205 140721952388205 140721952391114 0
/proc/5279/statm: 28282 362 304 221 0 87 0
[pid=5281] ppid=5279 vsize=15144768 memory=30040 CPUtime=0.13 cores=0,2,4,6
/proc/5281/stat : 5281 (java) S 5279 5279 2710 0 -1 1077944320 5477 0 0 0 12 1 0 0 20 0 15 0 411819594 15508242432 7510 33554432000 4194304 4196468 140722389525728 140722389508272 140444596588279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
/proc/5281/statm: 3786192 7510 3119 1 0 3748377 0
[pid=5281/tid=5282] ppid=5279 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/5281/task/5282/stat : 5282 (java) R 5279 5279 2710 0 -1 4202560 3383 0 0 0 9 0 0 0 20 0 15 0 411819594 15508242432 7510 33554432000 4194304 4196468 140722389525728 140444600821072 140444596600214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5283] ppid=5279 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5283/stat : 5283 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411819595 15508242432 7510 33554432000 4194304 4196468 140722389525728 140444559694864 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5284] ppid=5279 vsize=15144768 memory=139793804867200 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5284/stat : 5284 (java) S 5279 5279 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411819595 15508242432 7510 33554432000 4194304 4196468 140722389525728 140444187942032 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5285] ppid=5279 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5285/stat : 5285 (java) S 5279 5279 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411819595 15508242432 7510 33554432000 4194304 4196468 140722389525728 140444186888976 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5286] ppid=5279 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5286/stat : 5286 (java) S 5279 5279 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411819595 15508242432 7510 33554432000 4194304 4196468 140722389525728 140444185836432 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5287] ppid=5279 vsize=15144768 memory=139793804867200 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5287/stat : 5287 (java) S 5279 5279 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411819596 15508242432 7510 33554432000 4194304 4196468 140722389525728 140444065270000 140444596599426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5288] ppid=5279 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5288/stat : 5288 (java) S 5279 5279 2710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411819597 15508242432 7510 33554432000 4194304 4196468 140722389525728 140444064216224 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5289] ppid=5279 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5289/stat : 5289 (java) S 5279 5279 2710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411819597 15508242432 7510 33554432000 4194304 4196468 140722389525728 140444063163120 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5290] ppid=5279 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5290/stat : 5290 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411819599 15508242432 7510 33554432000 4194304 4196468 140722389525728 140444062111696 140444596606875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5291] ppid=5279 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5291/stat : 5291 (java) S 5279 5279 2710 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 411819599 15508242432 7510 33554432000 4194304 4196468 140722389525728 140444061059824 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5292] ppid=5279 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5292/stat : 5292 (java) S 5279 5279 2710 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 411819599 15508242432 7510 33554432000 4194304 4196468 140722389525728 140444060007280 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5293] ppid=5279 vsize=15144768 memory=139793804867200 CPUtime=0.01 cores=0,2,4,6
/proc/5281/task/5293/stat : 5293 (java) R 5279 5279 2710 0 -1 4202560 367 0 0 0 1 0 0 0 20 0 15 0 411819599 15508242432 7510 33554432000 4194304 4196468 140722389525728 140444058954224 140444596609626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5294] ppid=5279 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5294/stat : 5294 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411819599 15508242432 7510 33554432000 4194304 4196468 140722389525728 140444057901920 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5295] ppid=5279 vsize=15144768 memory=139793804867200 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5295/stat : 5295 (java) S 5279 5279 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411819600 15508242432 7510 33554432000 4194304 4196468 140722389525728 140444056848944 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31488 KiB
[startup+0.211221 s]*
/proc/loadavg: 5.02 5.84 7.02 3/232 5295
/proc/meminfo: memFree=24467456/32770624 swapFree=66921496/67108860
[pid=5279] ppid=5276 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5279/stat : 5279 (xcsp3-exec) S 5276 5279 2710 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411819593 115843072 362 33554432000 4194304 5098028 140721952386304 140721952384408 139834047910524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16392192 140721952387962 140721952388205 140721952388205 140721952391114 0
/proc/5279/statm: 28282 362 304 221 0 87 0
[pid=5281] ppid=5279 vsize=15144768 memory=41236 CPUtime=0.35 cores=0,2,4,6
/proc/5281/stat : 5281 (java) S 5279 5279 2710 0 -1 1077944320 9023 0 0 0 32 3 0 0 20 0 15 0 411819594 15508242432 10309 33554432000 4194304 4196468 140722389525728 140722389508272 140444596588279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
/proc/5281/statm: 3786192 10309 3291 1 0 3748377 0
[pid=5281/tid=5282] ppid=5279 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/5281/task/5282/stat : 5282 (java) R 5279 5279 2710 0 -1 4202560 6198 0 0 0 18 1 0 0 20 0 15 0 411819594 15508242432 10309 33554432000 4194304 4196468 140722389525728 140444600819520 140444596600214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5283] ppid=5279 vsize=15144768 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5283/stat : 5283 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411819595 15508242432 10309 33554432000 4194304 4196468 140722389525728 140444559694864 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5284] ppid=5279 vsize=15144768 memory=139793807703478 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5284/stat : 5284 (java) S 5279 5279 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411819595 15508242432 10309 33554432000 4194304 4196468 140722389525728 140444187942032 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5285] ppid=5279 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5285/stat : 5285 (java) S 5279 5279 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411819595 15508242432 10309 33554432000 4194304 4196468 140722389525728 140444186888976 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5286] ppid=5279 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5286/stat : 5286 (java) S 5279 5279 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411819595 15508242432 10309 33554432000 4194304 4196468 140722389525728 140444185836432 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5287] ppid=5279 vsize=15144768 memory=139793804867200 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5287/stat : 5287 (java) S 5279 5279 2710 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411819596 15508242432 10309 33554432000 4194304 4196468 140722389525728 140444065270000 140444596599426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5288] ppid=5279 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5288/stat : 5288 (java) S 5279 5279 2710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411819597 15508242432 10309 33554432000 4194304 4196468 140722389525728 140444064216224 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5289] ppid=5279 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5289/stat : 5289 (java) S 5279 5279 2710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411819597 15508242432 10309 33554432000 4194304 4196468 140722389525728 140444063163120 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5290] ppid=5279 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5290/stat : 5290 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411819599 15508242432 10309 33554432000 4194304 4196468 140722389525728 140444062111696 140444596606875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5291] ppid=5279 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5281/task/5291/stat : 5291 (java) S 5279 5279 2710 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 15 0 411819599 15508242432 10309 33554432000 4194304 4196468 140722389525728 140444061059824 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5292] ppid=5279 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5281/task/5292/stat : 5292 (java) S 5279 5279 2710 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 15 0 411819599 15508242432 10309 33554432000 4194304 4196468 140722389525728 140444060007280 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5293] ppid=5279 vsize=15144768 memory=139793804867200 CPUtime=0.07 cores=0,2,4,6
/proc/5281/task/5293/stat : 5293 (java) R 5279 5279 2710 0 -1 4202560 759 0 0 0 7 0 0 0 20 0 15 0 411819599 15508242432 10309 33554432000 4194304 4196468 140722389525728 140444058954224 140444576021405 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5294] ppid=5279 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5294/stat : 5294 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411819599 15508242432 10309 33554432000 4194304 4196468 140722389525728 140444057901920 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5295] ppid=5279 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5295/stat : 5295 (java) S 5279 5279 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411819600 15508242432 10309 33554432000 4194304 4196468 140722389525728 140444056848944 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42684 KiB
[startup+0.311131 s]*
/proc/loadavg: 5.02 5.84 7.02 5/232 5295
/proc/meminfo: memFree=24462120/32770624 swapFree=66921496/67108860
[pid=5279] ppid=5276 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5279/stat : 5279 (xcsp3-exec) S 5276 5279 2710 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411819593 115843072 362 33554432000 4194304 5098028 140721952386304 140721952384408 139834047910524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16392192 140721952387962 140721952388205 140721952388205 140721952391114 0
/proc/5279/statm: 28282 362 304 221 0 87 0
[pid=5281] ppid=5279 vsize=15149024 memory=50004 CPUtime=0.53 cores=0,2,4,6
/proc/5281/stat : 5281 (java) S 5279 5279 2710 0 -1 1077944320 10326 0 0 0 49 4 0 0 20 0 15 0 411819594 15512600576 12501 33554432000 4194304 4196468 140722389525728 140722389508272 140444596588279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
/proc/5281/statm: 3787256 12501 3360 1 0 3748377 0
[pid=5281/tid=5282] ppid=5279 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/5281/task/5282/stat : 5282 (java) R 5279 5279 2710 0 -1 4202560 7283 0 0 0 28 2 0 0 20 0 15 0 411819594 15512600576 12533 33554432000 4194304 4196468 140722389525728 140444600817760 140444580668766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5283] ppid=5279 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5283/stat : 5283 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411819595 15512600576 12533 33554432000 4194304 4196468 140722389525728 140444559694864 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5284] ppid=5279 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5284/stat : 5284 (java) S 5279 5279 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411819595 15512600576 12533 33554432000 4194304 4196468 140722389525728 140444187942032 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5285] ppid=5279 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5285/stat : 5285 (java) S 5279 5279 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411819595 15512600576 12533 33554432000 4194304 4196468 140722389525728 140444186888976 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5286] ppid=5279 vsize=15149024 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5286/stat : 5286 (java) S 5279 5279 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411819595 15512600576 12533 33554432000 4194304 4196468 140722389525728 140444185836432 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5287] ppid=5279 vsize=15149024 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5287/stat : 5287 (java) S 5279 5279 2710 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411819596 15512600576 12533 33554432000 4194304 4196468 140722389525728 140444065270000 140444596599426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5288] ppid=5279 vsize=15149024 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5288/stat : 5288 (java) S 5279 5279 2710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411819597 15512600576 12533 33554432000 4194304 4196468 140722389525728 140444064216224 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5289] ppid=5279 vsize=15149024 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5289/stat : 5289 (java) S 5279 5279 2710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411819597 15512600576 12533 33554432000 4194304 4196468 140722389525728 140444063163120 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5290] ppid=5279 vsize=15149024 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5290/stat : 5290 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411819599 15512600576 12533 33554432000 4194304 4196468 140722389525728 140444062111696 140444596606875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5291] ppid=5279 vsize=15149024 memory=-8412656567168561567 CPUtime=0.05 cores=0,2,4,6
/proc/5281/task/5291/stat : 5291 (java) R 5279 5279 2710 0 -1 4202560 503 0 0 0 5 0 0 0 20 0 15 0 411819599 15512600576 12533 33554432000 4194304 4196468 140722389525728 140444061040840 140444578111597 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5292] ppid=5279 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/5281/task/5292/stat : 5292 (java) S 5279 5279 2710 0 -1 1077944384 400 0 0 0 4 0 0 0 20 0 15 0 411819599 15512600576 12533 33554432000 4194304 4196468 140722389525728 140444060007280 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5293] ppid=5279 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5281/task/5293/stat : 5293 (java) R 5279 5279 2710 0 -1 1077944384 849 0 0 0 12 0 0 0 20 0 15 0 411819599 15512600576 12533 33554432000 4194304 4196468 140722389525728 140444058954224 140444596599426 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5294] ppid=5279 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5294/stat : 5294 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411819599 15512600576 12533 33554432000 4194304 4196468 140722389525728 140444057901920 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5295] ppid=5279 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5295/stat : 5295 (java) S 5279 5279 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411819600 15512600576 12533 33554432000 4194304 4196468 140722389525728 140444056848944 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51452 KiB
[startup+0.710001 s]
/proc/loadavg: 5.02 5.84 7.02 6/232 5295
/proc/meminfo: memFree=24448292/32770624 swapFree=66921496/67108860
[pid=5279] ppid=5276 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5279/stat : 5279 (xcsp3-exec) S 5276 5279 2710 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411819593 115843072 362 33554432000 4194304 5098028 140721952386304 140721952384408 139834047910524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16392192 140721952387962 140721952388205 140721952388205 140721952391114 0
/proc/5279/statm: 28282 362 304 221 0 87 0
[pid=5281] ppid=5279 vsize=15151148 memory=82808 CPUtime=1.68 cores=0,2,4,6
/proc/5281/stat : 5281 (java) S 5279 5279 2710 0 -1 1077944320 14023 0 0 0 163 5 0 0 20 0 15 0 411819594 15514775552 20702 33554432000 4194304 4196468 140722389525728 140722389508272 140444596588279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
/proc/5281/statm: 3787787 20702 3455 1 0 3748889 0
[pid=5281/tid=5282] ppid=5279 vsize=15151148 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/5281/task/5282/stat : 5282 (java) R 5279 5279 2710 0 -1 4202560 8375 0 0 0 65 3 0 0 20 0 15 0 411819594 15514775552 20702 33554432000 4194304 4196468 140722389525728 140444600827312 140444589266293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5283] ppid=5279 vsize=15151148 memory=33 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5283/stat : 5283 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411819595 15514775552 20702 33554432000 4194304 4196468 140722389525728 140444559694864 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5284] ppid=5279 vsize=15151148 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5284/stat : 5284 (java) S 5279 5279 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411819595 15514775552 20702 33554432000 4194304 4196468 140722389525728 140444187942032 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5285] ppid=5279 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5285/stat : 5285 (java) S 5279 5279 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411819595 15514775552 20702 33554432000 4194304 4196468 140722389525728 140444186888976 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5286] ppid=5279 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5286/stat : 5286 (java) S 5279 5279 2710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411819595 15514775552 20702 33554432000 4194304 4196468 140722389525728 140444185836432 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5287] ppid=5279 vsize=15151148 memory=18356 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5287/stat : 5287 (java) S 5279 5279 2710 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411819596 15514775552 20702 33554432000 4194304 4196468 140722389525728 140444065270000 140444596599426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5288] ppid=5279 vsize=15151148 memory=988 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5288/stat : 5288 (java) S 5279 5279 2710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411819597 15514775552 20702 33554432000 4194304 4196468 140722389525728 140444064216224 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5289] ppid=5279 vsize=15151148 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5289/stat : 5289 (java) S 5279 5279 2710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411819597 15514775552 20702 33554432000 4194304 4196468 140722389525728 140444063163120 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5290] ppid=5279 vsize=15151148 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5290/stat : 5290 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411819599 15514775552 20702 33554432000 4194304 4196468 140722389525728 140444062111696 140444596606875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5291] ppid=5279 vsize=15151148 memory=1044 CPUtime=0.26 cores=0,2,4,6
/proc/5281/task/5291/stat : 5291 (java) R 5279 5279 2710 0 -1 4202560 1196 0 0 0 26 0 0 0 20 0 15 0 411819599 15514775552 20702 33554432000 4194304 4196468 140722389525728 140444061058960 140444577768401 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5292] ppid=5279 vsize=15151148 memory=708 CPUtime=0.28 cores=0,2,4,6
/proc/5281/task/5292/stat : 5292 (java) R 5279 5279 2710 0 -1 4202560 1203 0 0 0 28 0 0 0 20 0 15 0 411819599 15514775552 20702 33554432000 4194304 4196468 140722389525728 140444059993048 140444581493468 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5293] ppid=5279 vsize=15151148 memory=9364 CPUtime=0.42 cores=0,2,4,6
/proc/5281/task/5293/stat : 5293 (java) R 5279 5279 2710 0 -1 4202560 1942 0 0 0 42 0 0 0 20 0 15 0 411819599 15514775552 20702 33554432000 4194304 4196468 140722389525728 140444058954224 140444588828204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5294] ppid=5279 vsize=15151148 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5294/stat : 5294 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411819599 15514775552 20702 33554432000 4194304 4196468 140722389525728 140444057901920 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5295] ppid=5279 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5295/stat : 5295 (java) S 5279 5279 2710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411819600 15514775552 20702 33554432000 4194304 4196468 140722389525728 140444056848944 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 84256 KiB
[startup+1.501 s]
/proc/loadavg: 5.02 5.84 7.02 9/236 5299
/proc/meminfo: memFree=24369336/32770624 swapFree=66921496/67108860
[pid=5279] ppid=5276 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5279/stat : 5279 (xcsp3-exec) S 5276 5279 2710 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411819593 115843072 362 33554432000 4194304 5098028 140721952386304 140721952384408 139834047910524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16392192 140721952387962 140721952388205 140721952388205 140721952391114 0
/proc/5279/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/5281/stat : 5281 (java) S 5279 5279 2710 0 -1 1077944320 63232 0 0 0 230800 89 0 0 20 0 19 0 411819594 15789518848 58721 33554432000 4194304 4196468 140722389525728 140722389508272 140444596588279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
/proc/5281/statm: 3854863 58721 3529 1 0 3815965 0
[pid=5281/tid=5282] ppid=5279 vsize=15419452 memory=3580 CPUtime=0.93 cores=0,2,4,6
/proc/5281/task/5282/stat : 5282 (java) S 5279 5279 2710 0 -1 1077944384 8499 0 0 0 89 4 0 0 20 0 19 0 411819594 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444600829056 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5283] ppid=5279 vsize=15419452 memory=1448 CPUtime=0.92 cores=0,2,4,6
/proc/5281/task/5283/stat : 5283 (java) S 5279 5279 2710 0 -1 1077944384 6099 0 0 0 87 5 0 0 20 0 19 0 411819595 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444559694864 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5284] ppid=5279 vsize=15419452 memory=234884 CPUtime=0.91 cores=0,2,4,6
/proc/5281/task/5284/stat : 5284 (java) S 5279 5279 2710 0 -1 1077944384 1637 0 0 0 87 4 0 0 20 0 19 0 411819595 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444187942032 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5285] ppid=5279 vsize=15419452 memory=1448 CPUtime=0.92 cores=0,2,4,6
/proc/5281/task/5285/stat : 5285 (java) S 5279 5279 2710 0 -1 1077944384 3766 0 0 0 87 5 0 0 20 0 19 0 411819595 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444186888976 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5286] ppid=5279 vsize=15419452 memory=230788 CPUtime=0.91 cores=0,2,4,6
/proc/5281/task/5286/stat : 5286 (java) S 5279 5279 2710 0 -1 1077944384 3058 0 0 0 87 4 0 0 20 0 19 0 411819595 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444185836432 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5287] ppid=5279 vsize=15419452 memory=234884 CPUtime=1.16 cores=0,2,4,6
/proc/5281/task/5287/stat : 5287 (java) S 5279 5279 2710 0 -1 1077944384 2968 0 0 0 52 64 0 0 20 0 19 0 411819596 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444065270000 140444596599426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5288] ppid=5279 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5288/stat : 5288 (java) S 5279 5279 2710 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 411819597 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444064216288 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5289] ppid=5279 vsize=15419452 memory=234884 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5289/stat : 5289 (java) S 5279 5279 2710 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 19 0 411819597 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444063163136 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5290] ppid=5279 vsize=15419452 memory=3580 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5290/stat : 5290 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411819599 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444062111696 140444596606875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5291] ppid=5279 vsize=15419452 memory=988 CPUtime=2.08 cores=0,2,4,6
/proc/5281/task/5291/stat : 5291 (java) S 5279 5279 2710 0 -1 1077944384 9735 0 0 0 207 1 0 0 20 0 19 0 411819599 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444061059824 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5292] ppid=5279 vsize=15419452 memory=2016 CPUtime=2.2 cores=0,2,4,6
/proc/5281/task/5292/stat : 5292 (java) S 5279 5279 2710 0 -1 1077944384 7646 0 0 0 219 1 0 0 20 0 19 0 411819599 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444060007280 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5293] ppid=5279 vsize=15419452 memory=234884 CPUtime=0.83 cores=0,2,4,6
/proc/5281/task/5293/stat : 5293 (java) S 5279 5279 2710 0 -1 1077944384 8366 0 0 0 82 1 0 0 20 0 19 0 411819599 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444058954224 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5294] ppid=5279 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5294/stat : 5294 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411819599 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444057901920 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5295] ppid=5279 vsize=15419452 memory=1448 CPUtime=0.56 cores=0,2,4,6
/proc/5281/task/5295/stat : 5295 (java) S 5279 5279 2710 0 -1 1077944384 1230 0 0 0 0 56 0 0 20 0 19 0 411819600 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444056848944 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5314] ppid=5279 vsize=15419452 memory=222596 CPUtime=574.41 cores=0,2,4,6
/proc/5281/task/5314/stat : 5314 (java) R 5279 5279 2710 0 -1 4202560 1553 0 0 0 57440 1 0 0 20 0 19 0 411819735 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444045532088 140444239335898 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5315] ppid=5279 vsize=15419452 memory=1448 CPUtime=573.62 cores=0,2,4,6
/proc/5281/task/5315/stat : 5315 (java) R 5279 5279 2710 0 -1 4202560 3667 0 0 0 57361 1 0 0 20 0 19 0 411819735 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444047640944 140444236531060 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5316] ppid=5279 vsize=15419452 memory=1448 CPUtime=574.1 cores=0,2,4,6
/proc/5281/task/5316/stat : 5316 (java) R 5279 5279 2710 0 -1 4202560 1449 0 0 0 57409 1 0 0 20 0 19 0 411819735 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444046585504 140444239335432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5317] ppid=5279 vsize=15419452 memory=6371583470004824426 CPUtime=574.4 cores=0,2,4,6
/proc/5281/task/5317/stat : 5317 (java) R 5279 5279 2710 0 -1 4202560 1317 0 0 0 57440 0 0 0 20 0 19 0 411819735 15789518848 58721 33554432000 4194304 4196468 140722389525728 140444044480544 140444241982099 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
Current children cumulated CPU time: 2308.89 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 236332 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+635.701 s]
/proc/loadavg: 5.42 5.24 6.07 6/236 5580
/proc/meminfo: memFree=24396652/32770624 swapFree=66921512/67108860
[pid=5279] ppid=5276 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5279/stat : 5279 (xcsp3-exec) S 5276 5279 2710 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411819593 115843072 362 33554432000 4194304 5098028 140721952386304 140721952384408 139834047910524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16392192 140721952387962 140721952388205 140721952388205 140721952391114 0
/proc/5279/statm: 28282 362 304 221 0 87 0
[pid=5281] ppid=5279 vsize=15419452 memory=247172 CPUtime=2520.17 cores=0,2,4,6
/proc/5281/stat : 5281 (java) S 5279 5279 2710 0 -1 1077944320 63872 0 0 0 251913 104 0 0 20 0 19 0 411819594 15789518848 61793 33554432000 4194304 4196468 140722389525728 140722389508272 140444596588279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
/proc/5281/statm: 3854863 61793 3529 1 0 3815965 0
[pid=5281/tid=5282] ppid=5279 vsize=15419452 memory=1448 CPUtime=0.93 cores=0,2,4,6
/proc/5281/task/5282/stat : 5282 (java) S 5279 5279 2710 0 -1 1077944384 8499 0 0 0 89 4 0 0 20 0 19 0 411819594 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444600829056 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5283] ppid=5279 vsize=15419452 memory=247172 CPUtime=1.1 cores=0,2,4,6
/proc/5281/task/5283/stat : 5283 (java) S 5279 5279 2710 0 -1 1077944384 6228 0 0 0 105 5 0 0 20 0 19 0 411819595 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444559694864 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5284] ppid=5279 vsize=15419452 memory=1448 CPUtime=1.09 cores=0,2,4,6
/proc/5281/task/5284/stat : 5284 (java) S 5279 5279 2710 0 -1 1077944384 1778 0 0 0 105 4 0 0 20 0 19 0 411819595 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444187942032 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5285] ppid=5279 vsize=15419452 memory=247172 CPUtime=1.09 cores=0,2,4,6
/proc/5281/task/5285/stat : 5285 (java) S 5279 5279 2710 0 -1 1077944384 3895 0 0 0 104 5 0 0 20 0 19 0 411819595 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444186888976 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5286] ppid=5279 vsize=15419452 memory=247172 CPUtime=1.1 cores=0,2,4,6
/proc/5281/task/5286/stat : 5286 (java) S 5279 5279 2710 0 -1 1077944384 3177 0 0 0 106 4 0 0 20 0 19 0 411819595 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444185836432 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5287] ppid=5279 vsize=15419452 memory=1448 CPUtime=1.41 cores=0,2,4,6
/proc/5281/task/5287/stat : 5287 (java) S 5279 5279 2710 0 -1 1077944384 2976 0 0 0 62 79 0 0 20 0 19 0 411819596 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444065270000 140444596599426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5288] ppid=5279 vsize=15419452 memory=245124 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5288/stat : 5288 (java) S 5279 5279 2710 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 411819597 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444064216288 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5289] ppid=5279 vsize=15419452 memory=247172 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5289/stat : 5289 (java) S 5279 5279 2710 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 19 0 411819597 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444063163136 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5290] ppid=5279 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5290/stat : 5290 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411819599 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444062111696 140444596606875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5291] ppid=5279 vsize=15419452 memory=247172 CPUtime=2.08 cores=0,2,4,6
/proc/5281/task/5291/stat : 5291 (java) S 5279 5279 2710 0 -1 1077944384 9735 0 0 0 207 1 0 0 20 0 19 0 411819599 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444061059824 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5292] ppid=5279 vsize=15419452 memory=8112282956445269571 CPUtime=2.2 cores=0,2,4,6
/proc/5281/task/5292/stat : 5292 (java) S 5279 5279 2710 0 -1 1077944384 7646 0 0 0 219 1 0 0 20 0 19 0 411819599 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444060007280 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5293] ppid=5279 vsize=15419452 memory=243076 CPUtime=0.83 cores=0,2,4,6
/proc/5281/task/5293/stat : 5293 (java) S 5279 5279 2710 0 -1 1077944384 8366 0 0 0 82 1 0 0 20 0 19 0 411819599 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444058954224 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5294] ppid=5279 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5294/stat : 5294 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411819599 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444057901920 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5295] ppid=5279 vsize=15419452 memory=1448 CPUtime=0.61 cores=0,2,4,6
/proc/5281/task/5295/stat : 5295 (java) S 5279 5279 2710 0 -1 1077944384 1234 0 0 0 0 61 0 0 20 0 19 0 411819600 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444056848944 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5314] ppid=5279 vsize=15419452 memory=1044 CPUtime=627.04 cores=0,2,4,6
/proc/5281/task/5314/stat : 5314 (java) R 5279 5279 2710 0 -1 4202560 1582 0 0 0 62703 1 0 0 20 0 19 0 411819735 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444045532184 140444242045229 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5315] ppid=5279 vsize=15419452 memory=241028 CPUtime=626.08 cores=0,2,4,6
/proc/5281/task/5315/stat : 5315 (java) R 5279 5279 2710 0 -1 4202560 3715 0 0 0 62607 1 0 0 20 0 19 0 411819735 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444047638184 140444236531110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5316] ppid=5279 vsize=15419452 memory=1556 CPUtime=626.66 cores=0,2,4,6
/proc/5281/task/5316/stat : 5316 (java) R 5279 5279 2710 0 -1 4202560 1476 0 0 0 62665 1 0 0 20 0 19 0 411819735 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444046588512 140444240823712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5317] ppid=5279 vsize=15419452 memory=2832 CPUtime=626.98 cores=0,2,4,6
/proc/5281/task/5317/stat : 5317 (java) R 5279 5279 2710 0 -1 4202560 1323 0 0 0 62698 0 0 0 20 0 19 0 411819735 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444044480544 140444241981963 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
Current children cumulated CPU time: 2520.17 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 248620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+635.735 s]
# the end of solver process 5279 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001663 s, system=0.000831 s
[startup+635.78 s]
# the end of solver process 5281 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.42 s, system=1.04975 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
[startup+635.701 s]
/proc/loadavg: 5.42 5.24 6.07 6/236 5580
/proc/meminfo: memFree=24396652/32770624 swapFree=66921512/67108860
[pid=5279] ppid=5276 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5279/stat : 5279 (xcsp3-exec) S 5276 5279 2710 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411819593 115843072 362 33554432000 4194304 5098028 140721952386304 140721952384408 139834047910524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16392192 140721952387962 140721952388205 140721952388205 140721952391114 0
/proc/5279/statm: 28282 362 304 221 0 87 0
[pid=5281] ppid=5279 vsize=15419452 memory=247172 CPUtime=2520.17 cores=0,2,4,6
/proc/5281/stat : 5281 (java) S 5279 5279 2710 0 -1 1077944320 63872 0 0 0 251913 104 0 0 20 0 19 0 411819594 15789518848 61793 33554432000 4194304 4196468 140722389525728 140722389508272 140444596588279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
/proc/5281/statm: 3854863 61793 3529 1 0 3815965 0
[pid=5281/tid=5282] ppid=5279 vsize=15419452 memory=1448 CPUtime=0.93 cores=0,2,4,6
/proc/5281/task/5282/stat : 5282 (java) S 5279 5279 2710 0 -1 1077944384 8499 0 0 0 89 4 0 0 20 0 19 0 411819594 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444600829056 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5283] ppid=5279 vsize=15419452 memory=247172 CPUtime=1.1 cores=0,2,4,6
/proc/5281/task/5283/stat : 5283 (java) S 5279 5279 2710 0 -1 1077944384 6228 0 0 0 105 5 0 0 20 0 19 0 411819595 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444559694864 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5284] ppid=5279 vsize=15419452 memory=1448 CPUtime=1.09 cores=0,2,4,6
/proc/5281/task/5284/stat : 5284 (java) S 5279 5279 2710 0 -1 1077944384 1778 0 0 0 105 4 0 0 20 0 19 0 411819595 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444187942032 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5285] ppid=5279 vsize=15419452 memory=247172 CPUtime=1.09 cores=0,2,4,6
/proc/5281/task/5285/stat : 5285 (java) S 5279 5279 2710 0 -1 1077944384 3895 0 0 0 104 5 0 0 20 0 19 0 411819595 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444186888976 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5286] ppid=5279 vsize=15419452 memory=247172 CPUtime=1.1 cores=0,2,4,6
/proc/5281/task/5286/stat : 5286 (java) S 5279 5279 2710 0 -1 1077944384 3177 0 0 0 106 4 0 0 20 0 19 0 411819595 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444185836432 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5287] ppid=5279 vsize=15419452 memory=1448 CPUtime=1.41 cores=0,2,4,6
/proc/5281/task/5287/stat : 5287 (java) S 5279 5279 2710 0 -1 1077944384 2976 0 0 0 62 79 0 0 20 0 19 0 411819596 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444065270000 140444596599426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5288] ppid=5279 vsize=15419452 memory=245124 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5288/stat : 5288 (java) S 5279 5279 2710 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 411819597 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444064216288 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5289] ppid=5279 vsize=15419452 memory=247172 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5289/stat : 5289 (java) S 5279 5279 2710 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 19 0 411819597 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444063163136 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5290] ppid=5279 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5290/stat : 5290 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411819599 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444062111696 140444596606875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5291] ppid=5279 vsize=15419452 memory=247172 CPUtime=2.08 cores=0,2,4,6
/proc/5281/task/5291/stat : 5291 (java) S 5279 5279 2710 0 -1 1077944384 9735 0 0 0 207 1 0 0 20 0 19 0 411819599 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444061059824 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5292] ppid=5279 vsize=15419452 memory=8112282956445269571 CPUtime=2.2 cores=0,2,4,6
/proc/5281/task/5292/stat : 5292 (java) S 5279 5279 2710 0 -1 1077944384 7646 0 0 0 219 1 0 0 20 0 19 0 411819599 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444060007280 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5293] ppid=5279 vsize=15419452 memory=243076 CPUtime=0.83 cores=0,2,4,6
/proc/5281/task/5293/stat : 5293 (java) S 5279 5279 2710 0 -1 1077944384 8366 0 0 0 82 1 0 0 20 0 19 0 411819599 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444058954224 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5294] ppid=5279 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5281/task/5294/stat : 5294 (java) S 5279 5279 2710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411819599 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444057901920 140444596598485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5295] ppid=5279 vsize=15419452 memory=1448 CPUtime=0.61 cores=0,2,4,6
/proc/5281/task/5295/stat : 5295 (java) S 5279 5279 2710 0 -1 1077944384 1234 0 0 0 0 61 0 0 20 0 19 0 411819600 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444056848944 140444596599426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5314] ppid=5279 vsize=15419452 memory=1044 CPUtime=627.04 cores=0,2,4,6
/proc/5281/task/5314/stat : 5314 (java) R 5279 5279 2710 0 -1 4202560 1582 0 0 0 62703 1 0 0 20 0 19 0 411819735 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444045532184 140444242045229 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5315] ppid=5279 vsize=15419452 memory=241028 CPUtime=626.08 cores=0,2,4,6
/proc/5281/task/5315/stat : 5315 (java) R 5279 5279 2710 0 -1 4202560 3715 0 0 0 62607 1 0 0 20 0 19 0 411819735 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444047638184 140444236531110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5316] ppid=5279 vsize=15419452 memory=1556 CPUtime=626.66 cores=0,2,4,6
/proc/5281/task/5316/stat : 5316 (java) R 5279 5279 2710 0 -1 4202560 1476 0 0 0 62665 1 0 0 20 0 19 0 411819735 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444046588512 140444240823712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
[pid=5281/tid=5317] ppid=5279 vsize=15419452 memory=2832 CPUtime=626.98 cores=0,2,4,6
/proc/5281/task/5317/stat : 5317 (java) R 5279 5279 2710 0 -1 4202560 1323 0 0 0 62698 0 0 0 20 0 19 0 411819735 15789518848 61793 33554432000 4194304 4196468 140722389525728 140444044480544 140444241981963 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20480000 140722389533679 140722389533850 140722389533850 140722389536719 0
Current children cumulated CPU time: 2520.17 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 248620 KiB
Child status: 143
Real time (s): 635.78
CPU time (s): 2520.47
CPU user time (s): 2519.42
CPU system time (s): 1.04975
CPU usage (%): 396.438
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 254664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.42
system time used= 1.04975
maximum resident set size= 254756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65237
page faults= 0
swaps= 0
block input operations= 0
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31498
involuntary context switches= 24458
# summary of solver processes directly reported to runsolver:
# pid: 5279,5281
# total CPU time (s): 2520.47
# total CPU user time (s): 2519.42
# total CPU system time (s): 1.04975
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.08479 second user time and 7.6048 second system time
The end