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-4245679-1500686062/watcher-4245679-1500686062 -o /tmp/evaluation-result-4245679-1500686062/solver-4245679-1500686062 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7652 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1796728415 HOME/instance-4245679-1500686062.xml
pid=28680
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: 15.30 15.56 13.87 11/272 28683
/proc/meminfo: memFree=30838728/32770624 swapFree=5800/239624
[pid=28683] ppid=28680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28683/stat : 28683 (xcsp3-exec) S 28680 28683 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873925 9740288 346 33554432000 4194304 5098028 140721647145984 140721647144088 139951535805052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31944704 140721647150222 140721647150432 140721647150432 140721647153131 0
/proc/28683/statm: 2378 346 289 221 0 87 0
[startup+0.100141 s]
/proc/loadavg: 15.30 15.56 13.87 11/272 28683
/proc/meminfo: memFree=30838728/32770624 swapFree=5800/239624
[pid=28683] ppid=28680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28683/stat : 28683 (xcsp3-exec) S 28680 28683 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873925 9740288 346 33554432000 4194304 5098028 140721647145984 140721647144088 139951535805052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31944704 140721647150222 140721647150432 140721647150432 140721647153131 0
/proc/28683/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200328 s]
/proc/loadavg: 15.30 15.56 13.87 11/272 28683
/proc/meminfo: memFree=30838728/32770624 swapFree=5800/239624
[pid=28683] ppid=28680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28683/stat : 28683 (xcsp3-exec) S 28680 28683 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873925 9740288 346 33554432000 4194304 5098028 140721647145984 140721647144088 139951535805052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31944704 140721647150222 140721647150432 140721647150432 140721647153131 0
/proc/28683/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300262 s]
/proc/loadavg: 15.30 15.56 13.87 11/272 28683
/proc/meminfo: memFree=30838728/32770624 swapFree=5800/239624
[pid=28683] ppid=28680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28683/stat : 28683 (xcsp3-exec) S 28680 28683 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873925 9740288 346 33554432000 4194304 5098028 140721647145984 140721647144088 139951535805052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31944704 140721647150222 140721647150432 140721647150432 140721647153131 0
/proc/28683/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700257 s]
/proc/loadavg: 15.30 15.56 13.87 11/272 28683
/proc/meminfo: memFree=30838728/32770624 swapFree=5800/239624
[pid=28683] ppid=28680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28683/stat : 28683 (xcsp3-exec) S 28680 28683 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873925 9740288 346 33554432000 4194304 5098028 140721647145984 140721647144088 139951535805052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31944704 140721647150222 140721647150432 140721647150432 140721647153131 0
/proc/28683/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50123 s]
/proc/loadavg: 15.30 15.56 13.87 13/293 28704
/proc/meminfo: memFree=30741428/32770624 swapFree=5800/239720
[pid=28683] ppid=28680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28683/stat : 28683 (xcsp3-exec) S 28680 28683 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873925 9740288 346 33554432000 4194304 5098028 140721647145984 140721647144088 139951535805052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31944704 140721647150222 140721647150432 140721647150432 140721647153131 0
/proc/28683/statm: 2378 346 289 221 0 87 0
[pid=28684] ppid=28683 vsize=13269256 CPUtime=3.18 cores=0,2,4,6,8,10,12,14
/proc/28684/stat : 28684 (java) S 28683 28683 7621 0 -1 1077944320 18742 0 0 0 311 7 0 0 20 0 20 0 3873925 13587718144 38750 33554432000 4194304 4196468 140731713110272 140731713092816 139653100895991 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
/proc/28684/statm: 3317314 38750 3223 1 0 3304547 0
[pid=28684/tid=28685] ppid=28683 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28685/stat : 28685 (java) R 28683 28683 7621 0 -1 4202560 7902 0 0 0 142 5 0 0 20 0 20 0 3873925 13587718144 38750 33554432000 4194304 4196468 140731713110272 139653105130776 139652693966891 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28687] ppid=28683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28687/stat : 28687 (java) S 28683 28683 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3873926 13587718144 38750 33554432000 4194304 4196468 140731713110272 139653019376272 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28688] ppid=28683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28688/stat : 28688 (java) S 28683 28683 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3873926 13587718144 38750 33554432000 4194304 4196468 140731713110272 139653018323472 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28689] ppid=28683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28689/stat : 28689 (java) S 28683 28683 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3873926 13587718144 38750 33554432000 4194304 4196468 140731713110272 139653017270672 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28690] ppid=28683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28690/stat : 28690 (java) S 28683 28683 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3873926 13587718144 38750 33554432000 4194304 4196468 140731713110272 139653016217872 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28691] ppid=28683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28691/stat : 28691 (java) S 28683 28683 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3873926 13587718144 38750 33554432000 4194304 4196468 140731713110272 139653015166096 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28692] ppid=28683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28692/stat : 28692 (java) S 28683 28683 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3873926 13587718144 38750 33554432000 4194304 4196468 140731713110272 139653014113296 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28693] ppid=28683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28693/stat : 28693 (java) S 28683 28683 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3873926 13587718144 38750 33554432000 4194304 4196468 140731713110272 139653013060496 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28694] ppid=28683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28694/stat : 28694 (java) S 28683 28683 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3873926 13587718144 38750 33554432000 4194304 4196468 140731713110272 139653012007696 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28695] ppid=28683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28695/stat : 28695 (java) S 28683 28683 7621 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 3873929 13587718144 38750 33554432000 4194304 4196468 140731713110272 139652294756720 139653100907138 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28696] ppid=28683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28696/stat : 28696 (java) S 28683 28683 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3873930 13587718144 38750 33554432000 4194304 4196468 140731713110272 139652293702688 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28697] ppid=28683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28697/stat : 28697 (java) S 28683 28683 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3873930 13587718144 38750 33554432000 4194304 4196468 140731713110272 139652292649840 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28698] ppid=28683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28698/stat : 28698 (java) S 28683 28683 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3873934 13587718144 38750 33554432000 4194304 4196468 140731713110272 139652291598160 139653100914587 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28699] ppid=28683 vsize=13269256 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28699/stat : 28699 (java) S 28683 28683 7621 0 -1 1077944384 2222 0 0 0 37 0 0 0 20 0 20 0 3873934 13587718144 38750 33554432000 4194304 4196468 140731713110272 139652290546544 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28700] ppid=28683 vsize=13269256 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28700/stat : 28700 (java) S 28683 28683 7621 0 -1 1077944384 2341 0 0 0 43 0 0 0 20 0 20 0 3873934 13587718144 38750 33554432000 4194304 4196468 140731713110272 139652289493744 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28701] ppid=28683 vsize=13269256 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28701/stat : 28701 (java) S 28683 28683 7621 0 -1 1077944384 2231 0 0 0 44 0 0 0 20 0 20 0 3873934 13587718144 38750 33554432000 4194304 4196468 140731713110272 139652288440944 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28702] ppid=28683 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28702/stat : 28702 (java) S 28683 28683 7621 0 -1 1077944384 2713 0 0 0 42 0 0 0 20 0 20 0 3873934 13587718144 38750 33554432000 4194304 4196468 140731713110272 139652287388144 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28703] ppid=28683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28703/stat : 28703 (java) S 28683 28683 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3873934 13587718144 38750 33554432000 4194304 4196468 140731713110272 139652286335584 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28704] ppid=28683 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28704/stat : 28704 (java) S 28683 28683 7621 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 3873934 13587718144 39262 33554432000 4194304 4196468 140731713110272 139652285282864 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 13278768
[startup+3.10125 s]
/proc/loadavg: 15.30 15.56 13.87 20/301 28712
/proc/meminfo: memFree=30616244/32770624 swapFree=5800/239656
[pid=28683] ppid=28680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28683/stat : 28683 (xcsp3-exec) S 28680 28683 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873925 9740288 346 33554432000 4194304 5098028 140721647145984 140721647144088 139951535805052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31944704 140721647150222 140721647150432 140721647150432 140721647153131 0
/proc/28683/statm: 2378 346 289 221 0 87 0
[pid=28684] ppid=28683 vsize=13868332 CPUtime=11.02 cores=0,2,4,6,8,10,12,14
/proc/28684/stat : 28684 (java) S 28683 28683 7621 0 -1 1077944320 26935 0 0 0 1040 62 0 0 20 0 28 0 3873925 14201171968 73646 33554432000 4194304 4196468 140731713110272 140731713092816 139653100895991 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
/proc/28684/statm: 3467083 73646 3268 1 0 3454316 0
[pid=28684/tid=28685] ppid=28683 vsize=13868332 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28685/stat : 28685 (java) S 28683 28683 7621 0 -1 1077944384 8518 0 0 0 203 5 0 0 20 0 28 0 3873925 14201171968 73646 33554432000 4194304 4196468 140731713110272 139653105136768 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28687] ppid=28683 vsize=13868332 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28687/stat : 28687 (java) S 28683 28683 7621 0 -1 1077944384 145 0 0 0 4 6 0 0 20 0 28 0 3873926 14201171968 73646 33554432000 4194304 4196468 140731713110272 139653019376272 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28688] ppid=28683 vsize=13868332 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28688/stat : 28688 (java) S 28683 28683 7621 0 -1 1077944384 120 0 0 0 4 6 0 0 20 0 28 0 3873926 14201171968 73646 33554432000 4194304 4196468 140731713110272 139653018323472 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28689] ppid=28683 vsize=13868332 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28689/stat : 28689 (java) S 28683 28683 7621 0 -1 1077944384 58 0 0 0 3 5 0 0 20 0 28 0 3873926 14201171968 73646 33554432000 4194304 4196468 140731713110272 139653017270672 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28690] ppid=28683 vsize=13868332 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28690/stat : 28690 (java) S 28683 28683 7621 0 -1 1077944384 148 0 0 0 3 6 0 0 20 0 28 0 3873926 14201171968 73646 33554432000 4194304 4196468 140731713110272 139653016217872 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28691] ppid=28683 vsize=13868332 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28691/stat : 28691 (java) S 28683 28683 7621 0 -1 1077944384 104 0 0 0 4 5 0 0 20 0 28 0 3873926 14201171968 73646 33554432000 4194304 4196468 140731713110272 139653015166096 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28692] ppid=28683 vsize=13868332 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28692/stat : 28692 (java) S 28683 28683 7621 0 -1 1077944384 76 0 0 0 4 6 0 0 20 0 28 0 3873926 14201171968 73646 33554432000 4194304 4196468 140731713110272 139653014113296 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28693] ppid=28683 vsize=13868332 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28693/stat : 28693 (java) S 28683 28683 7621 0 -1 1077944384 95 0 0 0 4 6 0 0 20 0 28 0 3873926 14201171968 73646 33554432000 4194304 4196468 140731713110272 139653013060496 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28694] ppid=28683 vsize=13868332 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28694/stat : 28694 (java) S 28683 28683 7621 0 -1 1077944384 52 0 0 0 3 6 0 0 20 0 28 0 3873926 14201171968 73646 33554432000 4194304 4196468 140731713110272 139653012007696 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28695] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28695/stat : 28695 (java) S 28683 28683 7621 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 28 0 3873929 14201171968 73646 33554432000 4194304 4196468 140731713110272 139652294756720 139653100907138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28696] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28696/stat : 28696 (java) S 28683 28683 7621 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3873930 14201171968 73646 33554432000 4194304 4196468 140731713110272 139652293702752 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28697] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28697/stat : 28697 (java) S 28683 28683 7621 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3873930 14201171968 73646 33554432000 4194304 4196468 140731713110272 139652292649856 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28698] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28698/stat : 28698 (java) S 28683 28683 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3873934 14201171968 73646 33554432000 4194304 4196468 140731713110272 139652291598160 139653100914587 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28699] ppid=28683 vsize=13868332 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28699/stat : 28699 (java) R 28683 28683 7621 0 -1 4202560 3109 0 0 0 136 0 0 0 20 0 28 0 3873934 14201171968 73646 33554432000 4194304 4196468 140731713110272 139652290533088 139653084108444 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28700] ppid=28683 vsize=13868332 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28700/stat : 28700 (java) R 28683 28683 7621 0 -1 4202560 3017 0 0 0 140 0 0 0 20 0 28 0 3873934 14201171968 73646 33554432000 4194304 4196468 140731713110272 139652289479240 139653093185440 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28701] ppid=28683 vsize=13868332 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28701/stat : 28701 (java) R 28683 28683 7621 0 -1 4202560 3422 0 0 0 138 0 0 0 20 0 28 0 3873934 14201171968 73646 33554432000 4194304 4196468 140731713110272 139652288425992 139653086020016 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28702] ppid=28683 vsize=13868332 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28702/stat : 28702 (java) S 28683 28683 7621 0 -1 1077944384 3670 0 0 0 82 1 0 0 20 0 28 0 3873934 14201171968 73646 33554432000 4194304 4196468 140731713110272 139652287388144 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28703] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28703/stat : 28703 (java) S 28683 28683 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3873934 14201171968 73646 33554432000 4194304 4196468 140731713110272 139652286335584 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28704] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28704/stat : 28704 (java) S 28683 28683 7621 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 3873934 14201171968 73646 33554432000 4194304 4196468 140731713110272 139652285282864 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
Current children cumulated CPU time (s) 11.02
Current children cumulated vsize (KiB) 13877844
[startup+6.30125 s]
/proc/loadavg: 15.60 15.62 13.89 19/301 28848
/proc/meminfo: memFree=30529648/32770624 swapFree=5800/239664
[pid=28683] ppid=28680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28683/stat : 28683 (xcsp3-exec) S 28680 28683 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873925 9740288 346 33554432000 4194304 5098028 140721647145984 140721647144088 139951535805052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31944704 140721647150222 140721647150432 140721647150432 140721647153131 0
/proc/28683/statm: 2378 346 289 221 0 87 0
[pid=28684] ppid=28683 vsize=13868332 CPUtime=35.56 cores=0,2,4,6,8,10,12,14
/proc/28684/stat : 28684 (java) S 28683 28683 7621 0 -1 1077944320 39102 0 0 0 3489 67 0 0 20 0 28 0 3873925 14201171968 82643 33554432000 4194304 4196468 140731713110272 140731713092816 139653100895991 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
/proc/28684/statm: 3467083 82643 3289 1 0 3454316 0
[pid=28684/tid=28685] ppid=28683 vsize=13868332 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28685/stat : 28685 (java) S 28683 28683 7621 0 -1 1077944384 8600 0 0 0 204 5 0 0 20 0 28 0 3873925 14201171968 82643 33554432000 4194304 4196468 140731713110272 139653105136768 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28687] ppid=28683 vsize=13868332 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28687/stat : 28687 (java) S 28683 28683 7621 0 -1 1077944384 145 0 0 0 4 6 0 0 20 0 28 0 3873926 14201171968 82643 33554432000 4194304 4196468 140731713110272 139653019376272 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28688] ppid=28683 vsize=13868332 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28688/stat : 28688 (java) S 28683 28683 7621 0 -1 1077944384 120 0 0 0 4 6 0 0 20 0 28 0 3873926 14201171968 82643 33554432000 4194304 4196468 140731713110272 139653018323472 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28689] ppid=28683 vsize=13868332 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28689/stat : 28689 (java) S 28683 28683 7621 0 -1 1077944384 58 0 0 0 3 5 0 0 20 0 28 0 3873926 14201171968 82643 33554432000 4194304 4196468 140731713110272 139653017270672 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28690] ppid=28683 vsize=13868332 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28690/stat : 28690 (java) S 28683 28683 7621 0 -1 1077944384 148 0 0 0 3 6 0 0 20 0 28 0 3873926 14201171968 82643 33554432000 4194304 4196468 140731713110272 139653016217872 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28691] ppid=28683 vsize=13868332 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28691/stat : 28691 (java) S 28683 28683 7621 0 -1 1077944384 104 0 0 0 4 5 0 0 20 0 28 0 3873926 14201171968 82643 33554432000 4194304 4196468 140731713110272 139653015166096 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28692] ppid=28683 vsize=13868332 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28692/stat : 28692 (java) S 28683 28683 7621 0 -1 1077944384 76 0 0 0 4 6 0 0 20 0 28 0 3873926 14201171968 82643 33554432000 4194304 4196468 140731713110272 139653014113296 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28693] ppid=28683 vsize=13868332 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28693/stat : 28693 (java) S 28683 28683 7621 0 -1 1077944384 95 0 0 0 4 6 0 0 20 0 28 0 3873926 14201171968 82643 33554432000 4194304 4196468 140731713110272 139653013060496 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28694] ppid=28683 vsize=13868332 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28694/stat : 28694 (java) S 28683 28683 7621 0 -1 1077944384 52 0 0 0 3 6 0 0 20 0 28 0 3873926 14201171968 82643 33554432000 4194304 4196468 140731713110272 139653012007696 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28695] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28695/stat : 28695 (java) S 28683 28683 7621 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 28 0 3873929 14201171968 82643 33554432000 4194304 4196468 140731713110272 139652294756720 139653100907138 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28696] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28696/stat : 28696 (java) S 28683 28683 7621 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3873930 14201171968 82643 33554432000 4194304 4196468 140731713110272 139652293702752 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28697] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28697/stat : 28697 (java) S 28683 28683 7621 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3873930 14201171968 82643 33554432000 4194304 4196468 140731713110272 139652292649856 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28698] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28698/stat : 28698 (java) S 28683 28683 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3873934 14201171968 82643 33554432000 4194304 4196468 140731713110272 139652291598160 139653100914587 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
################
# More data... #
################
[pid=28684/tid=29548] ppid=28683 vsize=13868332 CPUtime=33.1 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29548/stat : 29548 (java) R 28683 28683 7621 0 -1 4202560 2110 0 0 0 3310 0 0 0 20 0 28 0 3892837 14201171968 312559 33554432000 4194304 4196468 140731713110272 139652276218096 139652699643745 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29549] ppid=28683 vsize=13868332 CPUtime=32.47 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29549/stat : 29549 (java) R 28683 28683 7621 0 -1 4202560 467 0 0 0 3247 0 0 0 20 0 28 0 3892837 14201171968 312559 33554432000 4194304 4196468 140731713110272 139652202741072 139652696583551 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
Current children cumulated CPU time (s) 1749.35
Current children cumulated vsize (KiB) 13877844
[startup+282.302 s]
/proc/loadavg: 15.60 15.61 14.33 17/300 29567
/proc/meminfo: memFree=24323820/32770624 swapFree=5800/240064
[pid=28683] ppid=28680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28683/stat : 28683 (xcsp3-exec) S 28680 28683 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873925 9740288 346 33554432000 4194304 5098028 140721647145984 140721647144088 139951535805052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31944704 140721647150222 140721647150432 140721647150432 140721647153131 0
/proc/28683/statm: 2378 346 289 221 0 87 0
[pid=28684] ppid=28683 vsize=13868332 CPUtime=2225.68 cores=0,2,4,6,8,10,12,14
/proc/28684/stat : 28684 (java) S 28683 28683 7621 0 -1 1077944320 178187 0 0 0 222368 200 0 0 20 0 28 0 3873925 14201171968 312905 33554432000 4194304 4196468 140731713110272 140731713092816 139653100895991 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
/proc/28684/statm: 3467083 312905 3290 1 0 3454316 0
[pid=28684/tid=28685] ppid=28683 vsize=13868332 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28685/stat : 28685 (java) S 28683 28683 7621 0 -1 1077944384 9728 0 0 0 206 5 0 0 20 0 28 0 3873925 14201171968 312905 33554432000 4194304 4196468 140731713110272 139653105136768 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28687] ppid=28683 vsize=13868332 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28687/stat : 28687 (java) S 28683 28683 7621 0 -1 1077944384 3025 0 0 0 16 15 0 0 20 0 28 0 3873926 14201171968 312905 33554432000 4194304 4196468 140731713110272 139653019376272 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28688] ppid=28683 vsize=13868332 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28688/stat : 28688 (java) S 28683 28683 7621 0 -1 1077944384 1449 0 0 0 14 15 0 0 20 0 28 0 3873926 14201171968 312905 33554432000 4194304 4196468 140731713110272 139653018323472 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28689] ppid=28683 vsize=13868332 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28689/stat : 28689 (java) S 28683 28683 7621 0 -1 1077944384 2468 0 0 0 15 13 0 0 20 0 28 0 3873926 14201171968 312905 33554432000 4194304 4196468 140731713110272 139653017270672 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28690] ppid=28683 vsize=13868332 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28690/stat : 28690 (java) S 28683 28683 7621 0 -1 1077944384 1290 0 0 0 15 15 0 0 20 0 28 0 3873926 14201171968 312905 33554432000 4194304 4196468 140731713110272 139653016217872 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28691] ppid=28683 vsize=13868332 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28691/stat : 28691 (java) S 28683 28683 7621 0 -1 1077944384 1291 0 0 0 16 15 0 0 20 0 28 0 3873926 14201171968 312905 33554432000 4194304 4196468 140731713110272 139653015166096 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28692] ppid=28683 vsize=13868332 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28692/stat : 28692 (java) S 28683 28683 7621 0 -1 1077944384 2680 0 0 0 16 15 0 0 20 0 28 0 3873926 14201171968 312905 33554432000 4194304 4196468 140731713110272 139653014113296 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28693] ppid=28683 vsize=13868332 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28693/stat : 28693 (java) S 28683 28683 7621 0 -1 1077944384 1560 0 0 0 16 14 0 0 20 0 28 0 3873926 14201171968 312905 33554432000 4194304 4196468 140731713110272 139653013060496 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28694] ppid=28683 vsize=13868332 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28694/stat : 28694 (java) S 28683 28683 7621 0 -1 1077944384 2534 0 0 0 16 15 0 0 20 0 28 0 3873926 14201171968 312905 33554432000 4194304 4196468 140731713110272 139653012007696 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28695] ppid=28683 vsize=13868332 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28695/stat : 28695 (java) S 28683 28683 7621 0 -1 1077944384 7195 0 0 0 5 7 0 0 20 0 28 0 3873929 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652294756720 139653100907138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28696] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28696/stat : 28696 (java) S 28683 28683 7621 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3873930 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652293702752 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28697] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28697/stat : 28697 (java) S 28683 28683 7621 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 3873930 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652292649856 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28698] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28698/stat : 28698 (java) S 28683 28683 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3873934 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652291598160 139653100914587 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28699] ppid=28683 vsize=13868332 CPUtime=3.73 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28699/stat : 28699 (java) S 28683 28683 7621 0 -1 1077944384 17422 0 0 0 371 2 0 0 20 0 28 0 3873934 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652290546544 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28700] ppid=28683 vsize=13868332 CPUtime=3.96 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28700/stat : 28700 (java) S 28683 28683 7621 0 -1 1077944384 18610 0 0 0 394 2 0 0 20 0 28 0 3873934 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652289493744 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28701] ppid=28683 vsize=13868332 CPUtime=4.26 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28701/stat : 28701 (java) S 28683 28683 7621 0 -1 1077944384 22532 0 0 0 423 3 0 0 20 0 28 0 3873934 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652288440944 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28702] ppid=28683 vsize=13868332 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28702/stat : 28702 (java) S 28683 28683 7621 0 -1 1077944384 18976 0 0 0 115 3 0 0 20 0 28 0 3873934 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652287388144 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28703] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28703/stat : 28703 (java) S 28683 28683 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3873934 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652286335584 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28704] ppid=28683 vsize=13868332 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28704/stat : 28704 (java) S 28683 28683 7621 0 -1 1077944384 2433 0 0 0 6 9 0 0 20 0 28 0 3873934 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652285282864 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29559] ppid=28683 vsize=13868332 CPUtime=33.69 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29559/stat : 29559 (java) R 28683 28683 7621 0 -1 4202560 799 0 0 0 3369 0 0 0 20 0 28 0 3898779 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652272003768 139652696583396 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29560] ppid=28683 vsize=13868332 CPUtime=33.19 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29560/stat : 29560 (java) R 28683 28683 7621 0 -1 4202560 1001 0 0 0 3319 0 0 0 20 0 28 0 3898779 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652277267872 139652696205124 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29561] ppid=28683 vsize=13868332 CPUtime=33.69 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29561/stat : 29561 (java) R 28683 28683 7621 0 -1 4202560 277 0 0 0 3369 0 0 0 20 0 28 0 3898779 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652203794968 139652696583411 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29562] ppid=28683 vsize=13868332 CPUtime=33.68 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29562/stat : 29562 (java) R 28683 28683 7621 0 -1 4202560 1677 0 0 0 3368 0 0 0 20 0 28 0 3898779 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652273060832 139652696583446 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29563] ppid=28683 vsize=13868332 CPUtime=33.67 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29563/stat : 29563 (java) R 28683 28683 7621 0 -1 4202560 282 0 0 0 3367 0 0 0 20 0 28 0 3898779 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652275163416 139652697184692 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29564] ppid=28683 vsize=13868332 CPUtime=33.26 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29564/stat : 29564 (java) R 28683 28683 7621 0 -1 4202560 211 0 0 0 3326 0 0 0 20 0 28 0 3898779 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652276216072 139652697185439 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29565] ppid=28683 vsize=13868332 CPUtime=33.67 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29565/stat : 29565 (java) R 28683 28683 7621 0 -1 4202560 1765 0 0 0 3367 0 0 0 20 0 28 0 3898779 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652202741384 139652696583523 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29566] ppid=28683 vsize=13868332 CPUtime=33.67 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29566/stat : 29566 (java) R 28683 28683 7621 0 -1 4202560 848 0 0 0 3367 0 0 0 20 0 28 0 3898779 14201171968 312905 33554432000 4194304 4196468 140731713110272 139652201689192 139652697185951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
Current children cumulated CPU time (s) 2225.68
Current children cumulated vsize (KiB) 13877844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+304.201 s]
/proc/loadavg: 15.74 15.64 14.37 17/300 29567
/proc/meminfo: memFree=24319804/32770624 swapFree=5800/240112
[pid=28683] ppid=28680 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28683/stat : 28683 (xcsp3-exec) S 28680 28683 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873925 9740288 346 33554432000 4194304 5098028 140721647145984 140721647144088 139951535805052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31944704 140721647150222 140721647150432 140721647150432 140721647153131 0
/proc/28683/statm: 2378 346 289 221 0 87 0
[pid=28684] ppid=28683 vsize=13868332 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/28684/stat : 28684 (java) S 28683 28683 7621 0 -1 1077944320 183183 0 0 0 239798 205 0 0 20 0 28 0 3873925 14201171968 313412 33554432000 4194304 4196468 140731713110272 140731713092816 139653100895991 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
/proc/28684/statm: 3467083 313412 3290 1 0 3454316 0
[pid=28684/tid=28685] ppid=28683 vsize=13868332 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28685/stat : 28685 (java) S 28683 28683 7621 0 -1 1077944384 9728 0 0 0 206 5 0 0 20 0 28 0 3873925 14201171968 313412 33554432000 4194304 4196468 140731713110272 139653105136768 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28687] ppid=28683 vsize=13868332 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28687/stat : 28687 (java) S 28683 28683 7621 0 -1 1077944384 3107 0 0 0 17 15 0 0 20 0 28 0 3873926 14201171968 313412 33554432000 4194304 4196468 140731713110272 139653019376272 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28688] ppid=28683 vsize=13868332 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28688/stat : 28688 (java) S 28683 28683 7621 0 -1 1077944384 1488 0 0 0 15 15 0 0 20 0 28 0 3873926 14201171968 313412 33554432000 4194304 4196468 140731713110272 139653018323472 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28689] ppid=28683 vsize=13868332 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28689/stat : 28689 (java) S 28683 28683 7621 0 -1 1077944384 2834 0 0 0 16 14 0 0 20 0 28 0 3873926 14201171968 313412 33554432000 4194304 4196468 140731713110272 139653017270672 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28690] ppid=28683 vsize=13868332 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28690/stat : 28690 (java) S 28683 28683 7621 0 -1 1077944384 1311 0 0 0 16 16 0 0 20 0 28 0 3873926 14201171968 313412 33554432000 4194304 4196468 140731713110272 139653016217872 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28691] ppid=28683 vsize=13868332 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28691/stat : 28691 (java) S 28683 28683 7621 0 -1 1077944384 1323 0 0 0 17 15 0 0 20 0 28 0 3873926 14201171968 313412 33554432000 4194304 4196468 140731713110272 139653015166096 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28692] ppid=28683 vsize=13868332 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28692/stat : 28692 (java) S 28683 28683 7621 0 -1 1077944384 2783 0 0 0 17 15 0 0 20 0 28 0 3873926 14201171968 313412 33554432000 4194304 4196468 140731713110272 139653014113296 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28693] ppid=28683 vsize=13868332 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28693/stat : 28693 (java) S 28683 28683 7621 0 -1 1077944384 1594 0 0 0 17 14 0 0 20 0 28 0 3873926 14201171968 313412 33554432000 4194304 4196468 140731713110272 139653013060496 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28694] ppid=28683 vsize=13868332 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28694/stat : 28694 (java) S 28683 28683 7621 0 -1 1077944384 2700 0 0 0 17 15 0 0 20 0 28 0 3873926 14201171968 313412 33554432000 4194304 4196468 140731713110272 139653012007696 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28695] ppid=28683 vsize=13868332 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28695/stat : 28695 (java) S 28683 28683 7621 0 -1 1077944384 7720 0 0 0 6 7 0 0 20 0 28 0 3873929 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652294756720 139653100907138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28696] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28696/stat : 28696 (java) S 28683 28683 7621 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3873930 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652293702752 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28697] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28697/stat : 28697 (java) S 28683 28683 7621 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 3873930 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652292649856 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28698] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28698/stat : 28698 (java) S 28683 28683 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3873934 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652291598160 139653100914587 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28699] ppid=28683 vsize=13868332 CPUtime=3.76 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28699/stat : 28699 (java) S 28683 28683 7621 0 -1 1077944384 19101 0 0 0 374 2 0 0 20 0 28 0 3873934 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652290546544 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28700] ppid=28683 vsize=13868332 CPUtime=3.96 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28700/stat : 28700 (java) S 28683 28683 7621 0 -1 1077944384 18615 0 0 0 394 2 0 0 20 0 28 0 3873934 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652289493744 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28701] ppid=28683 vsize=13868332 CPUtime=4.26 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28701/stat : 28701 (java) S 28683 28683 7621 0 -1 1077944384 22538 0 0 0 423 3 0 0 20 0 28 0 3873934 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652288440944 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28702] ppid=28683 vsize=13868332 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28702/stat : 28702 (java) S 28683 28683 7621 0 -1 1077944384 18982 0 0 0 115 3 0 0 20 0 28 0 3873934 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652287388144 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28703] ppid=28683 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28703/stat : 28703 (java) S 28683 28683 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3873934 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652286335584 139653100906197 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=28704] ppid=28683 vsize=13868332 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/28684/task/28704/stat : 28704 (java) S 28683 28683 7621 0 -1 1077944384 2481 0 0 0 6 10 0 0 20 0 28 0 3873934 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652285282864 139653100907138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29559] ppid=28683 vsize=13868332 CPUtime=55.54 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29559/stat : 29559 (java) R 28683 28683 7621 0 -1 4202560 1077 0 0 0 5554 0 0 0 20 0 28 0 3898779 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652272003768 139652696583523 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29560] ppid=28683 vsize=13868332 CPUtime=54.92 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29560/stat : 29560 (java) R 28683 28683 7621 0 -1 4202560 1403 0 0 0 5492 0 0 0 20 0 28 0 3898779 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652277268232 139652698641806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29561] ppid=28683 vsize=13868332 CPUtime=55.54 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29561/stat : 29561 (java) R 28683 28683 7621 0 -1 4202560 332 0 0 0 5554 0 0 0 20 0 28 0 3898779 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652203797680 139652696583523 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29562] ppid=28683 vsize=13868332 CPUtime=55.39 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29562/stat : 29562 (java) R 28683 28683 7621 0 -1 4202560 1934 0 0 0 5539 0 0 0 20 0 28 0 3898779 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652273057944 139652697186795 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29563] ppid=28683 vsize=13868332 CPUtime=55.51 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29563/stat : 29563 (java) R 28683 28683 7621 0 -1 4202560 469 0 0 0 5551 0 0 0 20 0 28 0 3898779 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652275163160 139652698574085 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29564] ppid=28683 vsize=13868332 CPUtime=54.76 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29564/stat : 29564 (java) R 28683 28683 7621 0 -1 4202560 262 0 0 0 5476 0 0 0 20 0 28 0 3898779 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652276215960 139652696583301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29565] ppid=28683 vsize=13868332 CPUtime=55.52 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29565/stat : 29565 (java) R 28683 28683 7621 0 -1 4202560 2225 0 0 0 5552 0 0 0 20 0 28 0 3898779 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652202740752 139652697185416 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
[pid=28684/tid=29566] ppid=28683 vsize=13868332 CPUtime=55.51 cores=0,2,4,6,8,10,12,14
/proc/28684/task/29566/stat : 29566 (java) R 28683 28683 7621 0 -1 4202560 1042 0 0 0 5551 0 0 0 20 0 28 0 3898779 14201171968 313412 33554432000 4194304 4196468 140731713110272 139652201688856 139652696204905 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7032832 140731713119420 140731713119596 140731713119596 140731713122255 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 13877844
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 28684 sig 9
??? kill 28683 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 28683 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1356
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1356
# CPU time returned by wait4() is 0.002712
# while last known CPU time is 2400.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 304.212
CPU time (s): 2400.03
CPU user time (s): 2397.98
CPU system time (s): 2.05
CPU usage (%): 788.933
Max. virtual memory (cumulated for all children) (KiB): 13877844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001356
system time used= 0.001356
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.74733 second user time and 4.19827 second system time
The end