runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245714-1500686141/watcher-4245714-1500686141 -o /tmp/evaluation-result-4245714-1500686141/solver-4245714-1500686141 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7775 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1504162285 HOME/instance-4245714-1500686141.xml
pid=19511
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 16.00 14.97 14.53 10/271 19514
/proc/meminfo: memFree=31308320/32770624 swapFree=5880/247568
[pid=19514] ppid=19511 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19514/stat : 19514 (xcsp3-exec) S 19511 19514 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881770 9740288 346 33554432000 4194304 5098028 140729125778704 140729125776808 140112765219452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26812416 140729125782670 140729125782880 140729125782880 140729125785579 0
/proc/19514/statm: 2378 346 289 221 0 87 0
[startup+0.100066 s]
/proc/loadavg: 16.00 14.97 14.53 10/271 19514
/proc/meminfo: memFree=31308320/32770624 swapFree=5880/247568
[pid=19514] ppid=19511 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19514/stat : 19514 (xcsp3-exec) S 19511 19514 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881770 9740288 346 33554432000 4194304 5098028 140729125778704 140729125776808 140112765219452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26812416 140729125782670 140729125782880 140729125782880 140729125785579 0
/proc/19514/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200325 s]
/proc/loadavg: 16.00 14.97 14.53 10/271 19514
/proc/meminfo: memFree=31308320/32770624 swapFree=5880/247568
[pid=19514] ppid=19511 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19514/stat : 19514 (xcsp3-exec) S 19511 19514 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881770 9740288 346 33554432000 4194304 5098028 140729125778704 140729125776808 140112765219452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26812416 140729125782670 140729125782880 140729125782880 140729125785579 0
/proc/19514/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300315 s]
/proc/loadavg: 16.00 14.97 14.53 10/271 19514
/proc/meminfo: memFree=31308320/32770624 swapFree=5880/247568
[pid=19514] ppid=19511 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19514/stat : 19514 (xcsp3-exec) S 19511 19514 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881770 9740288 346 33554432000 4194304 5098028 140729125778704 140729125776808 140112765219452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26812416 140729125782670 140729125782880 140729125782880 140729125785579 0
/proc/19514/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700182 s]
/proc/loadavg: 16.00 14.97 14.53 10/271 19514
/proc/meminfo: memFree=31308320/32770624 swapFree=5880/247568
[pid=19514] ppid=19511 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19514/stat : 19514 (xcsp3-exec) S 19511 19514 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881770 9740288 346 33554432000 4194304 5098028 140729125778704 140729125776808 140112765219452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26812416 140729125782670 140729125782880 140729125782880 140729125785579 0
/proc/19514/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50117 s]
/proc/loadavg: 15.44 14.87 14.50 18/300 19543
/proc/meminfo: memFree=31186984/32770624 swapFree=5880/247240
[pid=19514] ppid=19511 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19514/stat : 19514 (xcsp3-exec) S 19511 19514 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881770 9740288 346 33554432000 4194304 5098028 140729125778704 140729125776808 140112765219452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26812416 140729125782670 140729125782880 140729125782880 140729125785579 0
/proc/19514/statm: 2378 346 289 221 0 87 0
[pid=19515] ppid=19514 vsize=13801768 CPUtime=6.92 cores=0,2,4,6,8,10,12,14
/proc/19515/stat : 19515 (java) S 19514 19514 7744 0 -1 1077944320 17134 0 0 0 678 14 0 0 20 0 28 0 3881770 14133010432 48654 33554432000 4194304 4196468 140737224919424 140737224901968 140575807774455 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
/proc/19515/statm: 3450442 48654 3239 1 0 3437675 0
[pid=19515/tid=19516] ppid=19514 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19516/stat : 19516 (java) S 19514 19514 7744 0 -1 1077944384 6836 0 0 0 83 4 0 0 20 0 28 0 3881771 14133010432 48654 33554432000 4194304 4196468 140737224919424 140575812015232 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19518] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19518/stat : 19518 (java) S 19514 19514 7744 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3881772 14133010432 48654 33554432000 4194304 4196468 140737224919424 140575760395024 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19519] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19519/stat : 19519 (java) S 19514 19514 7744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3881772 14133010432 48654 33554432000 4194304 4196468 140737224919424 140575759342480 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19520] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19520/stat : 19520 (java) S 19514 19514 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3881772 14133010432 48654 33554432000 4194304 4196468 140737224919424 140575758289936 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19521] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19521/stat : 19521 (java) S 19514 19514 7744 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3881772 14133010432 48654 33554432000 4194304 4196468 140737224919424 140575757237392 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19522] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19522/stat : 19522 (java) S 19514 19514 7744 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3881772 14133010432 48654 33554432000 4194304 4196468 140737224919424 140575403079952 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19523] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19523/stat : 19523 (java) S 19514 19514 7744 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 3881772 14133010432 48654 33554432000 4194304 4196468 140737224919424 140575402027408 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19524] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19524/stat : 19524 (java) S 19514 19514 7744 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3881772 14133010432 48654 33554432000 4194304 4196468 140737224919424 140575400974864 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19525] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19525/stat : 19525 (java) S 19514 19514 7744 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3881772 14133010432 48654 33554432000 4194304 4196468 140737224919424 140575399922320 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19526] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19526/stat : 19526 (java) S 19514 19514 7744 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3881774 14133010432 48654 33554432000 4194304 4196468 140737224919424 140574472497648 140575807785602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19527] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19527/stat : 19527 (java) S 19514 19514 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3881775 14133010432 48654 33554432000 4194304 4196468 140737224919424 140574471443872 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19528] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19528/stat : 19528 (java) S 19514 19514 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3881775 14133010432 48654 33554432000 4194304 4196468 140737224919424 140574470391280 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19529] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19529/stat : 19529 (java) S 19514 19514 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3881779 14133010432 48654 33554432000 4194304 4196468 140737224919424 140574469339856 140575807793051 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19530] ppid=19514 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19530/stat : 19530 (java) R 19514 19514 7744 0 -1 4202560 2081 0 0 0 78 0 0 0 20 0 28 0 3881780 14133010432 48654 33554432000 4194304 4196468 140737224919424 140574468272992 140575789293878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19531] ppid=19514 vsize=13801768 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19531/stat : 19531 (java) R 19514 19514 7744 0 -1 4202560 1510 0 0 0 79 0 0 0 20 0 28 0 3881780 14133010432 48654 33554432000 4194304 4196468 140737224919424 140574467222000 140575787610772 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19532] ppid=19514 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19532/stat : 19532 (java) R 19514 19514 7744 0 -1 4202560 1764 0 0 0 75 0 0 0 20 0 28 0 3881780 14133010432 48654 33554432000 4194304 4196468 140737224919424 140574466174176 140575787614029 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19533] ppid=19514 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19533/stat : 19533 (java) S 19514 19514 7744 0 -1 1077944384 2490 0 0 0 63 1 0 0 20 0 28 0 3881780 14133010432 48654 33554432000 4194304 4196468 140737224919424 140574465128816 140575807785602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19534] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19534/stat : 19534 (java) S 19514 19514 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3881780 14133010432 48654 33554432000 4194304 4196468 140737224919424 140574464076512 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19535] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19535/stat : 19535 (java) S 19514 19514 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3881780 14133010432 48654 33554432000 4194304 4196468 140737224919424 140574463024048 140575807785602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 13811280
[startup+3.10154 s]
/proc/loadavg: 15.44 14.87 14.50 20/300 19575
/proc/meminfo: memFree=31118548/32770624 swapFree=5880/247240
[pid=19514] ppid=19511 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19514/stat : 19514 (xcsp3-exec) S 19511 19514 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881770 9740288 346 33554432000 4194304 5098028 140729125778704 140729125776808 140112765219452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26812416 140729125782670 140729125782880 140729125782880 140729125785579 0
/proc/19514/statm: 2378 346 289 221 0 87 0
[pid=19515] ppid=19514 vsize=13801768 CPUtime=19.63 cores=0,2,4,6,8,10,12,14
/proc/19515/stat : 19515 (java) S 19514 19514 7744 0 -1 1077944320 20056 0 0 0 1948 15 0 0 20 0 28 0 3881770 14133010432 51563 33554432000 4194304 4196468 140737224919424 140737224901968 140575807774455 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
/proc/19515/statm: 3450442 51563 3265 1 0 3437675 0
[pid=19515/tid=19516] ppid=19514 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19516/stat : 19516 (java) S 19514 19514 7744 0 -1 1077944384 6836 0 0 0 83 4 0 0 20 0 28 0 3881771 14133010432 51563 33554432000 4194304 4196468 140737224919424 140575812015232 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19518] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19518/stat : 19518 (java) S 19514 19514 7744 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3881772 14133010432 51563 33554432000 4194304 4196468 140737224919424 140575760395024 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19519] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19519/stat : 19519 (java) S 19514 19514 7744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3881772 14133010432 51563 33554432000 4194304 4196468 140737224919424 140575759342480 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19520] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19520/stat : 19520 (java) S 19514 19514 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3881772 14133010432 51563 33554432000 4194304 4196468 140737224919424 140575758289936 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19521] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19521/stat : 19521 (java) S 19514 19514 7744 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3881772 14133010432 51563 33554432000 4194304 4196468 140737224919424 140575757237392 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19522] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19522/stat : 19522 (java) S 19514 19514 7744 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3881772 14133010432 51563 33554432000 4194304 4196468 140737224919424 140575403079952 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19523] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19523/stat : 19523 (java) S 19514 19514 7744 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 3881772 14133010432 51563 33554432000 4194304 4196468 140737224919424 140575402027408 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19524] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19524/stat : 19524 (java) S 19514 19514 7744 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3881772 14133010432 51563 33554432000 4194304 4196468 140737224919424 140575400974864 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19525] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19525/stat : 19525 (java) S 19514 19514 7744 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3881772 14133010432 51563 33554432000 4194304 4196468 140737224919424 140575399922320 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19526] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19526/stat : 19526 (java) S 19514 19514 7744 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3881774 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574472497648 140575807785602 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19527] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19527/stat : 19527 (java) S 19514 19514 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3881775 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574471443872 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19528] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19528/stat : 19528 (java) S 19514 19514 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3881775 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574470391280 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19529] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19529/stat : 19529 (java) S 19514 19514 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3881779 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574469339856 140575807793051 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19530] ppid=19514 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19530/stat : 19530 (java) R 19514 19514 7744 0 -1 4202560 2795 0 0 0 196 0 0 0 20 0 28 0 3881780 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574468276256 140575792670382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19531] ppid=19514 vsize=13801768 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19531/stat : 19531 (java) R 19514 19514 7744 0 -1 4202560 2240 0 0 0 208 0 0 0 20 0 28 0 3881780 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574467224384 140575788475070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19532] ppid=19514 vsize=13801768 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19532/stat : 19532 (java) R 19514 19514 7744 0 -1 4202560 2838 0 0 0 191 0 0 0 20 0 28 0 3881780 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574466174552 140575792165890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19533] ppid=19514 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19533/stat : 19533 (java) S 19514 19514 7744 0 -1 1077944384 2842 0 0 0 76 1 0 0 20 0 28 0 3881780 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574465128816 140575807785602 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19534] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19534/stat : 19534 (java) S 19514 19514 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3881780 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574464076512 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19535] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19535/stat : 19535 (java) S 19514 19514 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3881780 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574463024048 140575807785602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19568] ppid=19514 vsize=13801768 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19568/stat : 19568 (java) R 19514 19514 7744 0 -1 4202560 30 0 0 0 145 0 0 0 20 0 28 0 3881906 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574447640408 140575442997673 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19569] ppid=19514 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19569/stat : 19569 (java) R 19514 19514 7744 0 -1 4202560 20 0 0 0 112 0 0 0 20 0 28 0 3881906 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574452904528 140575442998742 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19570] ppid=19514 vsize=13801768 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19570/stat : 19570 (java) R 19514 19514 7744 0 -1 4202560 27 0 0 0 119 0 0 0 20 0 28 0 3881906 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574450797544 140575790245458 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19571] ppid=19514 vsize=13801768 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19571/stat : 19571 (java) R 19514 19514 7744 0 -1 4202560 58 0 0 0 125 0 0 0 20 0 28 0 3881906 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574453956216 140575442815507 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19572] ppid=19514 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19572/stat : 19572 (java) R 19514 19514 7744 0 -1 4202560 24 0 0 0 111 0 0 0 20 0 28 0 3881906 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574455009720 140575442815773 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19573] ppid=19514 vsize=13801768 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19573/stat : 19573 (java) R 19514 19514 7744 0 -1 4202560 21 0 0 0 117 0 0 0 20 0 28 0 3881906 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574448694040 140575442998290 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19574] ppid=19514 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19574/stat : 19574 (java) R 19514 19514 7744 0 -1 4202560 26 0 0 0 118 0 0 0 20 0 28 0 3881906 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574451851480 140575442998892 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19575] ppid=19514 vsize=13801768 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19575/stat : 19575 (java) R 19514 19514 7744 0 -1 4202560 20 0 0 0 116 0 0 0 20 0 28 0 3881906 14133010432 51563 33554432000 4194304 4196468 140737224919424 140574449744976 140575442998454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
Current children cumulated CPU time (s) 19.63
Current children cumulated vsize (KiB) 13811280
[startup+6.30164 s]
/proc/loadavg: 15.40 14.87 14.50 17/300 19575
/proc/meminfo: memFree=31105056/32770624 swapFree=5880/247252
[pid=19514] ppid=19511 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19514/stat : 19514 (xcsp3-exec) S 19511 19514 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881770 9740288 346 33554432000 4194304 5098028 140729125778704 140729125776808 140112765219452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26812416 140729125782670 140729125782880 140729125782880 140729125785579 0
/proc/19514/statm: 2378 346 289 221 0 87 0
[pid=19515] ppid=19514 vsize=13801768 CPUtime=45.03 cores=0,2,4,6,8,10,12,14
/proc/19515/stat : 19515 (java) S 19514 19514 7744 0 -1 1077944320 26861 0 0 0 4478 25 0 0 20 0 28 0 3881770 14133010432 58930 33554432000 4194304 4196468 140737224919424 140737224901968 140575807774455 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
/proc/19515/statm: 3450442 58930 3272 1 0 3437675 0
[pid=19515/tid=19516] ppid=19514 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19516/stat : 19516 (java) S 19514 19514 7744 0 -1 1077944384 6836 0 0 0 83 4 0 0 20 0 28 0 3881771 14133010432 58930 33554432000 4194304 4196468 140737224919424 140575812015232 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19518] ppid=19514 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19518/stat : 19518 (java) S 19514 19514 7744 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 28 0 3881772 14133010432 58930 33554432000 4194304 4196468 140737224919424 140575760395024 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19519] ppid=19514 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19519/stat : 19519 (java) S 19514 19514 7744 0 -1 1077944384 144 0 0 0 1 1 0 0 20 0 28 0 3881772 14133010432 58930 33554432000 4194304 4196468 140737224919424 140575759342480 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19520] ppid=19514 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19520/stat : 19520 (java) S 19514 19514 7744 0 -1 1077944384 17 0 0 0 0 1 0 0 20 0 28 0 3881772 14133010432 58930 33554432000 4194304 4196468 140737224919424 140575758289936 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19521] ppid=19514 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19521/stat : 19521 (java) S 19514 19514 7744 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 28 0 3881772 14133010432 58930 33554432000 4194304 4196468 140737224919424 140575757237392 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
################
# More data... #
################
[pid=19515/tid=19574] ppid=19514 vsize=13801768 CPUtime=217.52 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19574/stat : 19574 (java) R 19514 19514 7744 0 -1 4202560 664 0 0 0 21751 1 0 0 20 0 28 0 3881906 14133010432 59366 33554432000 4194304 4196468 140737224919424 140574451851656 140575442814831 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19575] ppid=19514 vsize=13801768 CPUtime=217.45 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19575/stat : 19575 (java) R 19514 19514 7744 0 -1 4202560 1224 0 0 0 21744 1 0 0 20 0 28 0 3881906 14133010432 59366 33554432000 4194304 4196468 140737224919424 140574449749056 140575443971453 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
Current children cumulated CPU time (s) 1755.6
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.11 15.24 14.78 20/301 23271
/proc/meminfo: memFree=27325352/32770624 swapFree=5880/247732
[pid=19514] ppid=19511 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19514/stat : 19514 (xcsp3-exec) S 19511 19514 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881770 9740288 346 33554432000 4194304 5098028 140729125778704 140729125776808 140112765219452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26812416 140729125782670 140729125782880 140729125782880 140729125785579 0
/proc/19514/statm: 2378 346 289 221 0 87 0
[pid=19515] ppid=19514 vsize=13801768 CPUtime=2227.03 cores=0,2,4,6,8,10,12,14
/proc/19515/stat : 19515 (java) S 19514 19514 7744 0 -1 1077944320 61360 0 0 0 222485 218 0 0 20 0 28 0 3881770 14133010432 72414 33554432000 4194304 4196468 140737224919424 140737224901968 140575807774455 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
/proc/19515/statm: 3450442 72414 3279 1 0 3437675 0
[pid=19515/tid=19516] ppid=19514 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19516/stat : 19516 (java) S 19514 19514 7744 0 -1 1077944384 6836 0 0 0 83 4 0 0 20 0 28 0 3881771 14133010432 72414 33554432000 4194304 4196468 140737224919424 140575812015232 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19518] ppid=19514 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19518/stat : 19518 (java) S 19514 19514 7744 0 -1 1077944384 804 0 0 0 40 10 0 0 20 0 28 0 3881772 14133010432 72414 33554432000 4194304 4196468 140737224919424 140575760395024 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19519] ppid=19514 vsize=13801768 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19519/stat : 19519 (java) S 19514 19514 7744 0 -1 1077944384 1037 0 0 0 42 10 0 0 20 0 28 0 3881772 14133010432 72414 33554432000 4194304 4196468 140737224919424 140575759342480 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19520] ppid=19514 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19520/stat : 19520 (java) S 19514 19514 7744 0 -1 1077944384 979 0 0 0 40 9 0 0 20 0 28 0 3881772 14133010432 72414 33554432000 4194304 4196468 140737224919424 140575758289936 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19521] ppid=19514 vsize=13801768 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19521/stat : 19521 (java) S 19514 19514 7744 0 -1 1077944384 628 0 0 0 39 8 0 0 20 0 28 0 3881772 14133010432 72414 33554432000 4194304 4196468 140737224919424 140575757237392 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19522] ppid=19514 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19522/stat : 19522 (java) S 19514 19514 7744 0 -1 1077944384 1279 0 0 0 40 9 0 0 20 0 28 0 3881772 14133010432 72414 33554432000 4194304 4196468 140737224919424 140575403079952 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19523] ppid=19514 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19523/stat : 19523 (java) S 19514 19514 7744 0 -1 1077944384 473 0 0 0 42 9 0 0 20 0 28 0 3881772 14133010432 72414 33554432000 4194304 4196468 140737224919424 140575402027408 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19524] ppid=19514 vsize=13801768 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19524/stat : 19524 (java) S 19514 19514 7744 0 -1 1077944384 2311 0 0 0 39 9 0 0 20 0 28 0 3881772 14133010432 72414 33554432000 4194304 4196468 140737224919424 140575400974864 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19525] ppid=19514 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19525/stat : 19525 (java) S 19514 19514 7744 0 -1 1077944384 1204 0 0 0 42 9 0 0 20 0 28 0 3881772 14133010432 72414 33554432000 4194304 4196468 140737224919424 140575399922320 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19526] ppid=19514 vsize=13801768 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19526/stat : 19526 (java) S 19514 19514 7744 0 -1 1077944384 2639 0 0 0 84 115 0 0 20 0 28 0 3881774 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574472497648 140575807785602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19527] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19527/stat : 19527 (java) S 19514 19514 7744 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3881775 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574471443936 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19528] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19528/stat : 19528 (java) S 19514 19514 7744 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3881775 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574470391296 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19529] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19529/stat : 19529 (java) S 19514 19514 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3881779 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574469339856 140575807793051 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19530] ppid=19514 vsize=13801768 CPUtime=2.78 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19530/stat : 19530 (java) S 19514 19514 7744 0 -1 1077944384 7814 0 0 0 277 1 0 0 20 0 28 0 3881780 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574468286448 140575807785602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19531] ppid=19514 vsize=13801768 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19531/stat : 19531 (java) S 19514 19514 7744 0 -1 1077944384 6113 0 0 0 258 0 0 0 20 0 28 0 3881780 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574467233904 140575807785602 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19532] ppid=19514 vsize=13801768 CPUtime=2.86 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19532/stat : 19532 (java) S 19514 19514 7744 0 -1 1077944384 8857 0 0 0 285 1 0 0 20 0 28 0 3881780 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574466181360 140575807785602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19533] ppid=19514 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19533/stat : 19533 (java) S 19514 19514 7744 0 -1 1077944384 7785 0 0 0 88 1 0 0 20 0 28 0 3881780 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574465128816 140575807785602 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19534] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19534/stat : 19534 (java) S 19514 19514 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3881780 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574464076512 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19535] ppid=19514 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19535/stat : 19535 (java) S 19514 19514 7744 0 -1 1077944384 985 0 0 0 7 4 0 0 20 0 28 0 3881780 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574463024048 140575807785602 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19568] ppid=19514 vsize=13801768 CPUtime=276.54 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19568/stat : 19568 (java) R 19514 19514 7744 0 -1 4202560 1139 0 0 0 27652 2 0 0 20 0 28 0 3881906 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574447642432 140575442998773 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19569] ppid=19514 vsize=13801768 CPUtime=275.62 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19569/stat : 19569 (java) R 19514 19514 7744 0 -1 4202560 965 0 0 0 27561 1 0 0 20 0 28 0 3881906 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574452904600 140575442999060 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19570] ppid=19514 vsize=13801768 CPUtime=277.25 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19570/stat : 19570 (java) R 19514 19514 7744 0 -1 4202560 2041 0 0 0 27724 1 0 0 20 0 28 0 3881906 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574450797728 140575444794891 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19571] ppid=19514 vsize=13801768 CPUtime=276.11 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19571/stat : 19571 (java) R 19514 19514 7744 0 -1 4202560 1378 0 0 0 27609 2 0 0 20 0 28 0 3881906 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574453956504 140575442997247 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19572] ppid=19514 vsize=13801768 CPUtime=274.65 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19572/stat : 19572 (java) R 19514 19514 7744 0 -1 4202560 1356 0 0 0 27464 1 0 0 20 0 28 0 3881906 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574455009304 140575444794848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19573] ppid=19514 vsize=13801768 CPUtime=276.24 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19573/stat : 19573 (java) R 19514 19514 7744 0 -1 4202560 468 0 0 0 27623 1 0 0 20 0 28 0 3881906 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574448693400 140575442997998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19574] ppid=19514 vsize=13801768 CPUtime=276.27 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19574/stat : 19574 (java) R 19514 19514 7744 0 -1 4202560 723 0 0 0 27626 1 0 0 20 0 28 0 3881906 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574451851544 140575442998723 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19575] ppid=19514 vsize=13801768 CPUtime=275.85 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19575/stat : 19575 (java) R 19514 19514 7744 0 -1 4202560 1402 0 0 0 27584 1 0 0 20 0 28 0 3881906 14133010432 72414 33554432000 4194304 4196468 140737224919424 140574449746056 140575444041951 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
Current children cumulated CPU time (s) 2227.03
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+304.402 s]
/proc/loadavg: 15.44 15.31 14.81 17/301 23271
/proc/meminfo: memFree=27289908/32770624 swapFree=5880/247748
[pid=19514] ppid=19511 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19514/stat : 19514 (xcsp3-exec) S 19511 19514 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3881770 9740288 346 33554432000 4194304 5098028 140729125778704 140729125776808 140112765219452 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 26812416 140729125782670 140729125782880 140729125782880 140729125785579 0
/proc/19514/statm: 2378 346 289 221 0 87 0
[pid=19515] ppid=19514 vsize=13801768 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/19515/stat : 19515 (java) S 19514 19514 7744 0 -1 1077944320 62050 0 0 0 239754 251 0 0 20 0 28 0 3881770 14133010432 81035 33554432000 4194304 4196468 140737224919424 140737224901968 140575807774455 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
/proc/19515/statm: 3450442 81035 3279 1 0 3437675 0
[pid=19515/tid=19516] ppid=19514 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19516/stat : 19516 (java) S 19514 19514 7744 0 -1 1077944384 6836 0 0 0 83 4 0 0 20 0 28 0 3881771 14133010432 81035 33554432000 4194304 4196468 140737224919424 140575812015232 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19518] ppid=19514 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19518/stat : 19518 (java) S 19514 19514 7744 0 -1 1077944384 836 0 0 0 48 11 0 0 20 0 28 0 3881772 14133010432 81035 33554432000 4194304 4196468 140737224919424 140575760395024 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19519] ppid=19514 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19519/stat : 19519 (java) S 19514 19514 7744 0 -1 1077944384 1074 0 0 0 49 11 0 0 20 0 28 0 3881772 14133010432 81035 33554432000 4194304 4196468 140737224919424 140575759342480 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19520] ppid=19514 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19520/stat : 19520 (java) S 19514 19514 7744 0 -1 1077944384 1010 0 0 0 47 10 0 0 20 0 28 0 3881772 14133010432 81035 33554432000 4194304 4196468 140737224919424 140575758289936 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19521] ppid=19514 vsize=13801768 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19521/stat : 19521 (java) S 19514 19514 7744 0 -1 1077944384 655 0 0 0 47 8 0 0 20 0 28 0 3881772 14133010432 81035 33554432000 4194304 4196468 140737224919424 140575757237392 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19522] ppid=19514 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19522/stat : 19522 (java) S 19514 19514 7744 0 -1 1077944384 1314 0 0 0 48 10 0 0 20 0 28 0 3881772 14133010432 81035 33554432000 4194304 4196468 140737224919424 140575403079952 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19523] ppid=19514 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19523/stat : 19523 (java) S 19514 19514 7744 0 -1 1077944384 509 0 0 0 49 10 0 0 20 0 28 0 3881772 14133010432 81035 33554432000 4194304 4196468 140737224919424 140575402027408 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19524] ppid=19514 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19524/stat : 19524 (java) S 19514 19514 7744 0 -1 1077944384 2349 0 0 0 47 10 0 0 20 0 28 0 3881772 14133010432 81035 33554432000 4194304 4196468 140737224919424 140575400974864 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19525] ppid=19514 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19525/stat : 19525 (java) S 19514 19514 7744 0 -1 1077944384 1246 0 0 0 48 10 0 0 20 0 28 0 3881772 14133010432 81035 33554432000 4194304 4196468 140737224919424 140575399922320 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19526] ppid=19514 vsize=13801768 CPUtime=2.39 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19526/stat : 19526 (java) S 19514 19514 7744 0 -1 1077944384 2642 0 0 0 100 139 0 0 20 0 28 0 3881774 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574472497648 140575807785602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19527] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19527/stat : 19527 (java) S 19514 19514 7744 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3881775 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574471443936 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19528] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19528/stat : 19528 (java) S 19514 19514 7744 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3881775 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574470391296 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19529] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19529/stat : 19529 (java) S 19514 19514 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3881779 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574469339856 140575807793051 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19530] ppid=19514 vsize=13801768 CPUtime=2.78 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19530/stat : 19530 (java) S 19514 19514 7744 0 -1 1077944384 7814 0 0 0 277 1 0 0 20 0 28 0 3881780 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574468286448 140575807785602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19531] ppid=19514 vsize=13801768 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19531/stat : 19531 (java) S 19514 19514 7744 0 -1 1077944384 6113 0 0 0 258 0 0 0 20 0 28 0 3881780 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574467233904 140575807785602 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19532] ppid=19514 vsize=13801768 CPUtime=2.86 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19532/stat : 19532 (java) S 19514 19514 7744 0 -1 1077944384 9136 0 0 0 285 1 0 0 20 0 28 0 3881780 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574466181360 140575807785602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19533] ppid=19514 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19533/stat : 19533 (java) S 19514 19514 7744 0 -1 1077944384 7785 0 0 0 88 1 0 0 20 0 28 0 3881780 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574465128816 140575807785602 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19534] ppid=19514 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19534/stat : 19534 (java) S 19514 19514 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3881780 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574464076512 140575807784661 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19535] ppid=19514 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19535/stat : 19535 (java) S 19514 19514 7744 0 -1 1077944384 987 0 0 0 8 4 0 0 20 0 28 0 3881780 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574463024048 140575807785602 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19568] ppid=19514 vsize=13801768 CPUtime=297.97 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19568/stat : 19568 (java) R 19514 19514 7744 0 -1 4202560 1163 0 0 0 29795 2 0 0 20 0 28 0 3881906 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574447639928 140575442998045 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19569] ppid=19514 vsize=13801768 CPUtime=297.09 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19569/stat : 19569 (java) R 19514 19514 7744 0 -1 4202560 979 0 0 0 29708 1 0 0 20 0 28 0 3881906 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574452904600 140575442997653 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19570] ppid=19514 vsize=13801768 CPUtime=298.94 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19570/stat : 19570 (java) R 19514 19514 7744 0 -1 4202560 2069 0 0 0 29893 1 0 0 20 0 28 0 3881906 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574450797760 140575444794848 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19571] ppid=19514 vsize=13801768 CPUtime=297.53 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19571/stat : 19571 (java) R 19514 19514 7744 0 -1 4202560 1394 0 0 0 29751 2 0 0 20 0 28 0 3881906 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574453956504 140575442996497 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19572] ppid=19514 vsize=13801768 CPUtime=296.11 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19572/stat : 19572 (java) R 19514 19514 7744 0 -1 4202560 1369 0 0 0 29610 1 0 0 20 0 28 0 3881906 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574455009208 140575442997740 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19573] ppid=19514 vsize=13801768 CPUtime=297.75 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19573/stat : 19573 (java) R 19514 19514 7744 0 -1 4202560 476 0 0 0 29774 1 0 0 20 0 28 0 3881906 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574448696304 140575442997668 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19574] ppid=19514 vsize=13801768 CPUtime=297.76 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19574/stat : 19574 (java) R 19514 19514 7744 0 -1 4202560 733 0 0 0 29775 1 0 0 20 0 28 0 3881906 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574451851544 140575443128466 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
[pid=19515/tid=19575] ppid=19514 vsize=13801768 CPUtime=297.32 cores=0,2,4,6,8,10,12,14
/proc/19515/task/19575/stat : 19575 (java) R 19514 19514 7744 0 -1 4202560 1417 0 0 0 29730 2 0 0 20 0 28 0 3881906 14133010432 81035 33554432000 4194304 4196468 140737224919424 140574449745976 140575444794855 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9392128 140737224922300 140737224922476 140737224922476 140737224925135 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19515 sig 9
??? kill 19514 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19514 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2974
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.002974
# while last known CPU time is 2400.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 304.412
CPU time (s): 2400.05
CPU user time (s): 2397.54
CPU system time (s): 2.51
CPU usage (%): 788.421
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002974
system time used= 0
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.07934 second user time and 4.14047 second system time
The end