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-4248171-1500691356/watcher-4248171-1500691356 -o /tmp/evaluation-result-4248171-1500691356/solver-4248171-1500691356 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1703010288 HOME/instance-4248171-1500691356.xml
pid=2898
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: 12.60 14.51 12.88 2/265 2901
/proc/meminfo: memFree=28593456/32770624 swapFree=5892/122940
[pid=2901] ppid=2898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2901/stat : 2901 (xcsp3-exec) S 2898 2901 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4405262 9740288 346 33554432000 4194304 5098028 140731337185888 140731337183992 140001876333180 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8462336 140731337192590 140731337192800 140731337192800 140731337195499 0
/proc/2901/statm: 2378 346 289 221 0 87 0
[startup+0.100102 s]
/proc/loadavg: 12.60 14.51 12.88 2/265 2901
/proc/meminfo: memFree=28593456/32770624 swapFree=5892/122940
[pid=2901] ppid=2898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2901/stat : 2901 (xcsp3-exec) S 2898 2901 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4405262 9740288 346 33554432000 4194304 5098028 140731337185888 140731337183992 140001876333180 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8462336 140731337192590 140731337192800 140731337192800 140731337195499 0
/proc/2901/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200302 s]
/proc/loadavg: 12.60 14.51 12.88 2/265 2901
/proc/meminfo: memFree=28593456/32770624 swapFree=5892/122940
[pid=2901] ppid=2898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2901/stat : 2901 (xcsp3-exec) S 2898 2901 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4405262 9740288 346 33554432000 4194304 5098028 140731337185888 140731337183992 140001876333180 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8462336 140731337192590 140731337192800 140731337192800 140731337195499 0
/proc/2901/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300194 s]
/proc/loadavg: 12.60 14.51 12.88 2/265 2901
/proc/meminfo: memFree=28593456/32770624 swapFree=5892/122940
[pid=2901] ppid=2898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2901/stat : 2901 (xcsp3-exec) S 2898 2901 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4405262 9740288 346 33554432000 4194304 5098028 140731337185888 140731337183992 140001876333180 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8462336 140731337192590 140731337192800 140731337192800 140731337195499 0
/proc/2901/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700206 s]
/proc/loadavg: 12.60 14.51 12.88 2/265 2901
/proc/meminfo: memFree=28593456/32770624 swapFree=5892/122940
[pid=2901] ppid=2898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2901/stat : 2901 (xcsp3-exec) S 2898 2901 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4405262 9740288 346 33554432000 4194304 5098028 140731337185888 140731337183992 140001876333180 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8462336 140731337192590 140731337192800 140731337192800 140731337195499 0
/proc/2901/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50081 s]
/proc/loadavg: 12.60 14.51 12.88 5/286 2922
/proc/meminfo: memFree=28511412/32770624 swapFree=5892/122912
[pid=2901] ppid=2898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2901/stat : 2901 (xcsp3-exec) S 2898 2901 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4405262 9740288 346 33554432000 4194304 5098028 140731337185888 140731337183992 140001876333180 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8462336 140731337192590 140731337192800 140731337192800 140731337195499 0
/proc/2901/statm: 2378 346 289 221 0 87 0
[pid=2902] ppid=2901 vsize=13269256 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/2902/stat : 2902 (java) S 2901 2901 15667 0 -1 1077944320 14006 0 0 0 270 6 0 0 20 0 20 0 4405263 13587718144 29131 33554432000 4194304 4196468 140734774426480 140734774409024 139621611646711 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
/proc/2902/statm: 3317314 29131 3208 1 0 3304547 0
[pid=2902/tid=2903] ppid=2901 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2903/stat : 2903 (java) R 2901 2901 15667 0 -1 4202560 6905 0 0 0 143 4 0 0 20 0 20 0 4405263 13587718144 29131 33554432000 4194304 4196468 140734774426480 139621615881544 139621220542896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2905] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2905/stat : 2905 (java) S 2901 2901 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4405264 13587718144 29131 33554432000 4194304 4196468 140734774426480 139621543782800 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2906] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2906/stat : 2906 (java) S 2901 2901 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4405264 13587718144 29131 33554432000 4194304 4196468 140734774426480 139621542730000 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2907] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2907/stat : 2907 (java) S 2901 2901 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4405264 13587718144 29131 33554432000 4194304 4196468 140734774426480 139621541677712 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2908] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2908/stat : 2908 (java) S 2901 2901 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4405264 13587718144 29131 33554432000 4194304 4196468 140734774426480 139621540624912 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2909] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2909/stat : 2909 (java) S 2901 2901 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4405264 13587718144 29131 33554432000 4194304 4196468 140734774426480 139621539572624 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2910] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2910/stat : 2910 (java) S 2901 2901 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4405264 13587718144 29131 33554432000 4194304 4196468 140734774426480 139621538519824 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2911] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2911/stat : 2911 (java) S 2901 2901 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4405264 13587718144 29131 33554432000 4194304 4196468 140734774426480 139621537467536 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2912] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2912/stat : 2912 (java) S 2901 2901 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4405264 13587718144 29131 33554432000 4194304 4196468 140734774426480 139621536414736 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2913] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2913/stat : 2913 (java) S 2901 2901 15667 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4405266 13587718144 29131 33554432000 4194304 4196468 140734774426480 139620939806832 139621611657858 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2914] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2914/stat : 2914 (java) S 2901 2901 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4405267 13587718144 29131 33554432000 4194304 4196468 140734774426480 139620938752800 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2915] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2915/stat : 2915 (java) S 2901 2901 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4405267 13587718144 29131 33554432000 4194304 4196468 140734774426480 139620937700464 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2916] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2916/stat : 2916 (java) S 2901 2901 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4405271 13587718144 29131 33554432000 4194304 4196468 140734774426480 139620936648784 139621611665307 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2917] ppid=2901 vsize=13269256 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2917/stat : 2917 (java) S 2901 2901 15667 0 -1 1077944384 1095 0 0 0 26 0 0 0 20 0 20 0 4405271 13587718144 29131 33554432000 4194304 4196468 140734774426480 139620935596656 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2918] ppid=2901 vsize=13269256 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2918/stat : 2918 (java) S 2901 2901 15667 0 -1 1077944384 1546 0 0 0 26 0 0 0 20 0 20 0 4405271 13587718144 29131 33554432000 4194304 4196468 140734774426480 139620934543856 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2919] ppid=2901 vsize=13269256 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2919/stat : 2919 (java) S 2901 2901 15667 0 -1 1077944384 1314 0 0 0 33 0 0 0 20 0 20 0 4405271 13587718144 29131 33554432000 4194304 4196468 140734774426480 139620933491568 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2920] ppid=2901 vsize=13269256 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2920/stat : 2920 (java) S 2901 2901 15667 0 -1 1077944384 1828 0 0 0 39 0 0 0 20 0 20 0 4405271 13587718144 29131 33554432000 4194304 4196468 140734774426480 139620932438768 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2921] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2921/stat : 2921 (java) S 2901 2901 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4405271 13587718144 29131 33554432000 4194304 4196468 140734774426480 139620200737120 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2922] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2922/stat : 2922 (java) S 2901 2901 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4405272 13587718144 29131 33554432000 4194304 4196468 140734774426480 139620199684400 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 13278768
[startup+3.1009 s]
/proc/loadavg: 11.75 14.31 12.82 3/286 2922
/proc/meminfo: memFree=28450524/32770624 swapFree=5892/122912
[pid=2901] ppid=2898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2901/stat : 2901 (xcsp3-exec) S 2898 2901 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4405262 9740288 346 33554432000 4194304 5098028 140731337185888 140731337183992 140001876333180 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8462336 140731337192590 140731337192800 140731337192800 140731337195499 0
/proc/2901/statm: 2378 346 289 221 0 87 0
[pid=2902] ppid=2901 vsize=13269256 CPUtime=5.75 cores=0,2,4,6,8,10,12,14
/proc/2902/stat : 2902 (java) S 2901 2901 15667 0 -1 1077944320 22644 0 0 0 512 63 0 0 20 0 20 0 4405263 13587718144 71498 33554432000 4194304 4196468 140734774426480 140734774409024 139621611646711 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
/proc/2902/statm: 3317314 71498 3243 1 0 3304547 0
[pid=2902/tid=2903] ppid=2901 vsize=13269256 CPUtime=2.96 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2903/stat : 2903 (java) R 2901 2901 15667 0 -1 4202560 9312 0 0 0 292 4 0 0 20 0 20 0 4405263 13587718144 71498 33554432000 4194304 4196468 140734774426480 139621615882680 139621220542946 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2905] ppid=2901 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2905/stat : 2905 (java) S 2901 2901 15667 0 -1 1077944384 106 0 0 0 3 6 0 0 20 0 20 0 4405264 13587718144 71498 33554432000 4194304 4196468 140734774426480 139621543782800 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2906] ppid=2901 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2906/stat : 2906 (java) S 2901 2901 15667 0 -1 1077944384 115 0 0 0 3 6 0 0 20 0 20 0 4405264 13587718144 71498 33554432000 4194304 4196468 140734774426480 139621542730000 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2907] ppid=2901 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2907/stat : 2907 (java) S 2901 2901 15667 0 -1 1077944384 69 0 0 0 3 6 0 0 20 0 20 0 4405264 13587718144 71498 33554432000 4194304 4196468 140734774426480 139621541677712 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2908] ppid=2901 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2908/stat : 2908 (java) S 2901 2901 15667 0 -1 1077944384 144 0 0 0 3 7 0 0 20 0 20 0 4405264 13587718144 71498 33554432000 4194304 4196468 140734774426480 139621540624912 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2909] ppid=2901 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2909/stat : 2909 (java) S 2901 2901 15667 0 -1 1077944384 69 0 0 0 3 6 0 0 20 0 20 0 4405264 13587718144 71498 33554432000 4194304 4196468 140734774426480 139621539572624 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2910] ppid=2901 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2910/stat : 2910 (java) S 2901 2901 15667 0 -1 1077944384 157 0 0 0 3 7 0 0 20 0 20 0 4405264 13587718144 71498 33554432000 4194304 4196468 140734774426480 139621538519824 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2911] ppid=2901 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2911/stat : 2911 (java) S 2901 2901 15667 0 -1 1077944384 76 0 0 0 3 6 0 0 20 0 20 0 4405264 13587718144 71498 33554432000 4194304 4196468 140734774426480 139621537467536 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2912] ppid=2901 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2912/stat : 2912 (java) S 2901 2901 15667 0 -1 1077944384 89 0 0 0 3 7 0 0 20 0 20 0 4405264 13587718144 71498 33554432000 4194304 4196468 140734774426480 139621536414736 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2913] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2913/stat : 2913 (java) S 2901 2901 15667 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 20 0 4405266 13587718144 71498 33554432000 4194304 4196468 140734774426480 139620939806832 139621611657858 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2914] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2914/stat : 2914 (java) S 2901 2901 15667 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4405267 13587718144 71498 33554432000 4194304 4196468 140734774426480 139620938752800 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2915] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2915/stat : 2915 (java) S 2901 2901 15667 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4405267 13587718144 71498 33554432000 4194304 4196468 140734774426480 139620937700464 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2916] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2916/stat : 2916 (java) S 2901 2901 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4405271 13587718144 71498 33554432000 4194304 4196468 140734774426480 139620936648784 139621611665307 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2917] ppid=2901 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2917/stat : 2917 (java) S 2901 2901 15667 0 -1 1077944384 2608 0 0 0 47 0 0 0 20 0 20 0 4405271 13587718144 71498 33554432000 4194304 4196468 140734774426480 139620935596656 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2918] ppid=2901 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2918/stat : 2918 (java) S 2901 2901 15667 0 -1 1077944384 2959 0 0 0 47 0 0 0 20 0 20 0 4405271 13587718144 71498 33554432000 4194304 4196468 140734774426480 139620934543856 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2919] ppid=2901 vsize=13269256 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2919/stat : 2919 (java) S 2901 2901 15667 0 -1 1077944384 2597 0 0 0 51 0 0 0 20 0 20 0 4405271 13587718144 71498 33554432000 4194304 4196468 140734774426480 139620933491568 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2920] ppid=2901 vsize=13269256 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2920/stat : 2920 (java) S 2901 2901 15667 0 -1 1077944384 2581 0 0 0 46 0 0 0 20 0 20 0 4405271 13587718144 71498 33554432000 4194304 4196468 140734774426480 139620932438768 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2921] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2921/stat : 2921 (java) S 2901 2901 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4405271 13587718144 71498 33554432000 4194304 4196468 140734774426480 139620200737120 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2922] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2922/stat : 2922 (java) S 2901 2901 15667 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4405272 13587718144 71498 33554432000 4194304 4196468 140734774426480 139620199684400 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 13278768
[startup+6.3009 s]
/proc/loadavg: 11.75 14.31 12.82 3/286 2922
/proc/meminfo: memFree=27652940/32770624 swapFree=5892/122956
[pid=2901] ppid=2898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2901/stat : 2901 (xcsp3-exec) S 2898 2901 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4405262 9740288 346 33554432000 4194304 5098028 140731337185888 140731337183992 140001876333180 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8462336 140731337192590 140731337192800 140731337192800 140731337195499 0
/proc/2901/statm: 2378 346 289 221 0 87 0
[pid=2902] ppid=2901 vsize=13269256 CPUtime=10.51 cores=0,2,4,6,8,10,12,14
/proc/2902/stat : 2902 (java) S 2901 2901 15667 0 -1 1077944320 23744 0 0 0 917 134 0 0 20 0 20 0 4405263 13587718144 102081 33554432000 4194304 4196468 140734774426480 140734774409024 139621611646711 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
/proc/2902/statm: 3317314 102081 3251 1 0 3304547 0
[pid=2902/tid=2903] ppid=2901 vsize=13269256 CPUtime=6.02 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2903/stat : 2903 (java) R 2901 2901 15667 0 -1 4202560 9394 0 0 0 598 4 0 0 20 0 20 0 4405263 13587718144 102081 33554432000 4194304 4196468 140734774426480 139621615881192 139621220542951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2905] ppid=2901 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2905/stat : 2905 (java) S 2901 2901 15667 0 -1 1077944384 186 0 0 0 7 15 0 0 20 0 20 0 4405264 13587718144 102081 33554432000 4194304 4196468 140734774426480 139621543782800 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2906] ppid=2901 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2906/stat : 2906 (java) S 2901 2901 15667 0 -1 1077944384 193 0 0 0 8 14 0 0 20 0 20 0 4405264 13587718144 102081 33554432000 4194304 4196468 140734774426480 139621542730000 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2907] ppid=2901 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2907/stat : 2907 (java) S 2901 2901 15667 0 -1 1077944384 154 0 0 0 7 15 0 0 20 0 20 0 4405264 13587718144 102081 33554432000 4194304 4196468 140734774426480 139621541677712 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2908] ppid=2901 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2908/stat : 2908 (java) S 2901 2901 15667 0 -1 1077944384 216 0 0 0 7 14 0 0 20 0 20 0 4405264 13587718144 102081 33554432000 4194304 4196468 140734774426480 139621540624912 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2909] ppid=2901 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2909/stat : 2909 (java) S 2901 2901 15667 0 -1 1077944384 157 0 0 0 7 15 0 0 20 0 20 0 4405264 13587718144 102081 33554432000 4194304 4196468 140734774426480 139621539572624 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2910] ppid=2901 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2910/stat : 2910 (java) S 2901 2901 15667 0 -1 1077944384 232 0 0 0 7 16 0 0 20 0 20 0 4405264 13587718144 102081 33554432000 4194304 4196468 140734774426480 139621538519824 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2911] ppid=2901 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2911/stat : 2911 (java) S 2901 2901 15667 0 -1 1077944384 159 0 0 0 7 16 0 0 20 0 20 0 4405264 13587718144 102081 33554432000 4194304 4196468 140734774426480 139621537467536 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2912] ppid=2901 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2912/stat : 2912 (java) S 2901 2901 15667 0 -1 1077944384 171 0 0 0 7 16 0 0 20 0 20 0 4405264 13587718144 102081 33554432000 4194304 4196468 140734774426480 139621536414736 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2913] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2913/stat : 2913 (java) S 2901 2901 15667 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 20 0 4405266 13587718144 102081 33554432000 4194304 4196468 140734774426480 139620939806832 139621611657858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2914] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2914/stat : 2914 (java) S 2901 2901 15667 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4405267 13587718144 102081 33554432000 4194304 4196468 140734774426480 139620938752864 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2915] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2915/stat : 2915 (java) S 2901 2901 15667 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 4405267 13587718144 102081 33554432000 4194304 4196468 140734774426480 139620937700464 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2916] ppid=2901 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2916/stat : 2916 (java) S 2901 2901 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4405271 13587718144 102081 33554432000 4194304 4196468 140734774426480 139620936648784 139621611665307 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
################
# More data... #
################
[pid=2902/tid=2929] ppid=2901 vsize=13801768 CPUtime=261.72 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2929/stat : 2929 (java) R 2901 2901 15667 0 -1 4202560 67466 0 0 0 26160 12 0 0 20 0 28 0 4406861 14133010432 1036421 33554432000 4194304 4196468 140734774426480 139619580472872 139621223891213 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2930] ppid=2901 vsize=13801768 CPUtime=261.6 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2930/stat : 2930 (java) R 2901 2901 15667 0 -1 4202560 15744 0 0 0 26153 7 0 0 20 0 28 0 4406861 14133010432 1036421 33554432000 4194304 4196468 140734774426480 139619579419824 139621224138507 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
Current children cumulated CPU time (s) 2148.72
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+313.902 s]
/proc/loadavg: 15.93 14.92 13.43 17/299 3701
/proc/meminfo: memFree=24540964/32770624 swapFree=5892/123612
[pid=2901] ppid=2898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2901/stat : 2901 (xcsp3-exec) S 2898 2901 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4405262 9740288 346 33554432000 4194304 5098028 140731337185888 140731337183992 140001876333180 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8462336 140731337192590 140731337192800 140731337192800 140731337195499 0
/proc/2901/statm: 2378 346 289 221 0 87 0
[pid=2902] ppid=2901 vsize=13801768 CPUtime=2400.27 cores=0,2,4,6,8,10,12,14
/proc/2902/stat : 2902 (java) S 2901 2901 15667 0 -1 1077944320 228667 0 0 0 238892 1135 0 0 20 0 28 0 4405263 14133010432 1046723 33554432000 4194304 4196468 140734774426480 140734774409024 139621611646711 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
/proc/2902/statm: 3450442 1046723 3308 1 0 3437675 0
[pid=2902/tid=2903] ppid=2901 vsize=13801768 CPUtime=14.33 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2903/stat : 2903 (java) S 2901 2901 15667 0 -1 1077944384 10342 0 0 0 1427 6 0 0 20 0 28 0 4405263 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621615887488 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2905] ppid=2901 vsize=13801768 CPUtime=3.38 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2905/stat : 2905 (java) S 2901 2901 15667 0 -1 1077944384 4244 0 0 0 205 133 0 0 20 0 28 0 4405264 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621543782800 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2906] ppid=2901 vsize=13801768 CPUtime=3.31 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2906/stat : 2906 (java) S 2901 2901 15667 0 -1 1077944384 4280 0 0 0 202 129 0 0 20 0 28 0 4405264 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621542730000 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2907] ppid=2901 vsize=13801768 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2907/stat : 2907 (java) S 2901 2901 15667 0 -1 1077944384 5654 0 0 0 203 129 0 0 20 0 28 0 4405264 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621541677712 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2908] ppid=2901 vsize=13801768 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2908/stat : 2908 (java) S 2901 2901 15667 0 -1 1077944384 4026 0 0 0 204 128 0 0 20 0 28 0 4405264 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621540624912 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2909] ppid=2901 vsize=13801768 CPUtime=3.35 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2909/stat : 2909 (java) S 2901 2901 15667 0 -1 1077944384 4081 0 0 0 208 127 0 0 20 0 28 0 4405264 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621539572624 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2910] ppid=2901 vsize=13801768 CPUtime=3.35 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2910/stat : 2910 (java) S 2901 2901 15667 0 -1 1077944384 3797 0 0 0 203 132 0 0 20 0 28 0 4405264 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621538519824 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2911] ppid=2901 vsize=13801768 CPUtime=3.34 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2911/stat : 2911 (java) S 2901 2901 15667 0 -1 1077944384 4064 0 0 0 206 128 0 0 20 0 28 0 4405264 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621537467536 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2912] ppid=2901 vsize=13801768 CPUtime=3.34 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2912/stat : 2912 (java) S 2901 2901 15667 0 -1 1077944384 3630 0 0 0 208 126 0 0 20 0 28 0 4405264 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621536414736 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2913] ppid=2901 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2913/stat : 2913 (java) S 2901 2901 15667 0 -1 1077944384 8182 0 0 0 11 12 0 0 20 0 28 0 4405266 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620939806832 139621611657858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2914] ppid=2901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2914/stat : 2914 (java) S 2901 2901 15667 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 4405267 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620938752864 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2915] ppid=2901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2915/stat : 2915 (java) S 2901 2901 15667 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 4405267 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620937700464 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2916] ppid=2901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2916/stat : 2916 (java) S 2901 2901 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4405271 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620936648784 139621611665307 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2917] ppid=2901 vsize=13801768 CPUtime=4.52 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2917/stat : 2917 (java) S 2901 2901 15667 0 -1 1077944384 20148 0 0 0 449 3 0 0 20 0 28 0 4405271 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620935596656 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2918] ppid=2901 vsize=13801768 CPUtime=4.4 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2918/stat : 2918 (java) S 2901 2901 15667 0 -1 1077944384 20518 0 0 0 437 3 0 0 20 0 28 0 4405271 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620934543856 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2919] ppid=2901 vsize=13801768 CPUtime=4.45 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2919/stat : 2919 (java) S 2901 2901 15667 0 -1 1077944384 15212 0 0 0 442 3 0 0 20 0 28 0 4405271 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620933491568 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2920] ppid=2901 vsize=13801768 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2920/stat : 2920 (java) S 2901 2901 15667 0 -1 1077944384 10295 0 0 0 101 3 0 0 20 0 28 0 4405271 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620932438768 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2921] ppid=2901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2921/stat : 2921 (java) S 2901 2901 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4405271 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620200737120 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2922] ppid=2901 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2922/stat : 2922 (java) S 2901 2901 15667 0 -1 1077944384 810 0 0 0 8 9 0 0 20 0 28 0 4405272 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620199684400 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 10 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2923] ppid=2901 vsize=13801768 CPUtime=292.75 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2923/stat : 2923 (java) R 2901 2901 15667 0 -1 4202560 4363 0 0 0 29268 7 0 0 20 0 28 0 4406861 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139619586788456 139621224722605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2924] ppid=2901 vsize=13801768 CPUtime=293.83 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2924/stat : 2924 (java) R 2901 2901 15667 0 -1 4202560 6146 0 0 0 29374 9 0 0 20 0 28 0 4406861 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139619585736680 139621224723186 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2925] ppid=2901 vsize=13801768 CPUtime=293.71 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2925/stat : 2925 (java) R 2901 2901 15667 0 -1 4202560 3387 0 0 0 29365 6 0 0 20 0 28 0 4406861 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139619584684376 139621224722753 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2926] ppid=2901 vsize=13801768 CPUtime=294.27 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2926/stat : 2926 (java) R 2901 2901 15667 0 -1 4202560 3382 0 0 0 29423 4 0 0 20 0 28 0 4406861 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139619583634336 139621224138455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2927] ppid=2901 vsize=13801768 CPUtime=291.4 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2927/stat : 2927 (java) R 2901 2901 15667 0 -1 4202560 2884 0 0 0 29132 8 0 0 20 0 28 0 4406861 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139619582578968 139621223891213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2928] ppid=2901 vsize=13801768 CPUtime=292.19 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2928/stat : 2928 (java) R 2901 2901 15667 0 -1 4202560 3791 0 0 0 29214 5 0 0 20 0 28 0 4406861 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139619581526504 139621223546886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2929] ppid=2901 vsize=13801768 CPUtime=293.17 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2929/stat : 2929 (java) R 2901 2901 15667 0 -1 4202560 68040 0 0 0 29305 12 0 0 20 0 28 0 4406861 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139619580472944 139621219024751 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2930] ppid=2901 vsize=13801768 CPUtime=292.89 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2930/stat : 2930 (java) R 2901 2901 15667 0 -1 4202560 15980 0 0 0 29281 8 0 0 20 0 28 0 4406861 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139619579420392 139621224138502 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
Current children cumulated CPU time (s) 2400.27
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 2902 sig 9
??? kill 2901 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+313.902 s]
/proc/loadavg: 15.93 14.92 13.43 17/299 3701
/proc/meminfo: memFree=24540964/32770624 swapFree=5892/123612
[pid=2901] ppid=2898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2901/stat : 2901 (xcsp3-exec) S 2898 2901 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4405262 9740288 346 33554432000 4194304 5098028 140731337185888 140731337183992 140001876333180 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8462336 140731337192590 140731337192800 140731337192800 140731337195499 0
/proc/2901/statm: 2378 346 289 221 0 87 0
[pid=2902] ppid=2901 vsize=13801768 CPUtime=2400.27 cores=0,2,4,6,8,10,12,14
/proc/2902/stat : 2902 (java) S 2901 2901 15667 0 -1 1077944320 228667 0 0 0 238892 1135 0 0 20 0 28 0 4405263 14133010432 1046723 33554432000 4194304 4196468 140734774426480 140734774409024 139621611646711 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
/proc/2902/statm: 3450442 1046723 3308 1 0 3437675 0
[pid=2902/tid=2903] ppid=2901 vsize=13801768 CPUtime=14.33 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2903/stat : 2903 (java) S 2901 2901 15667 0 -1 1077944384 10342 0 0 0 1427 6 0 0 20 0 28 0 4405263 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621615887488 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2905] ppid=2901 vsize=13801768 CPUtime=3.38 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2905/stat : 2905 (java) S 2901 2901 15667 0 -1 1077944384 4244 0 0 0 205 133 0 0 20 0 28 0 4405264 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621543782800 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2906] ppid=2901 vsize=13801768 CPUtime=3.31 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2906/stat : 2906 (java) S 2901 2901 15667 0 -1 1077944384 4280 0 0 0 202 129 0 0 20 0 28 0 4405264 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621542730000 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2907] ppid=2901 vsize=13801768 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2907/stat : 2907 (java) S 2901 2901 15667 0 -1 1077944384 5654 0 0 0 203 129 0 0 20 0 28 0 4405264 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621541677712 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2908] ppid=2901 vsize=13801768 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2908/stat : 2908 (java) S 2901 2901 15667 0 -1 1077944384 4026 0 0 0 204 128 0 0 20 0 28 0 4405264 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621540624912 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2909] ppid=2901 vsize=13801768 CPUtime=3.35 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2909/stat : 2909 (java) S 2901 2901 15667 0 -1 1077944384 4081 0 0 0 208 127 0 0 20 0 28 0 4405264 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621539572624 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2910] ppid=2901 vsize=13801768 CPUtime=3.35 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2910/stat : 2910 (java) S 2901 2901 15667 0 -1 1077944384 3797 0 0 0 203 132 0 0 20 0 28 0 4405264 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621538519824 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2911] ppid=2901 vsize=13801768 CPUtime=3.34 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2911/stat : 2911 (java) S 2901 2901 15667 0 -1 1077944384 4064 0 0 0 206 128 0 0 20 0 28 0 4405264 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621537467536 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2912] ppid=2901 vsize=13801768 CPUtime=3.34 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2912/stat : 2912 (java) S 2901 2901 15667 0 -1 1077944384 3630 0 0 0 208 126 0 0 20 0 28 0 4405264 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139621536414736 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2913] ppid=2901 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2913/stat : 2913 (java) S 2901 2901 15667 0 -1 1077944384 8182 0 0 0 11 12 0 0 20 0 28 0 4405266 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620939806832 139621611657858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2914] ppid=2901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2914/stat : 2914 (java) S 2901 2901 15667 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 4405267 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620938752864 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2915] ppid=2901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2915/stat : 2915 (java) S 2901 2901 15667 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 4405267 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620937700464 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2916] ppid=2901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2916/stat : 2916 (java) S 2901 2901 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4405271 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620936648784 139621611665307 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2917] ppid=2901 vsize=13801768 CPUtime=4.52 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2917/stat : 2917 (java) S 2901 2901 15667 0 -1 1077944384 20148 0 0 0 449 3 0 0 20 0 28 0 4405271 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620935596656 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2918] ppid=2901 vsize=13801768 CPUtime=4.4 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2918/stat : 2918 (java) S 2901 2901 15667 0 -1 1077944384 20518 0 0 0 437 3 0 0 20 0 28 0 4405271 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620934543856 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2919] ppid=2901 vsize=13801768 CPUtime=4.45 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2919/stat : 2919 (java) S 2901 2901 15667 0 -1 1077944384 15212 0 0 0 442 3 0 0 20 0 28 0 4405271 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620933491568 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2920] ppid=2901 vsize=13801768 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2920/stat : 2920 (java) S 2901 2901 15667 0 -1 1077944384 10295 0 0 0 101 3 0 0 20 0 28 0 4405271 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620932438768 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2921] ppid=2901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2921/stat : 2921 (java) S 2901 2901 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4405271 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620200737120 139621611656917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2922] ppid=2901 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2922/stat : 2922 (java) S 2901 2901 15667 0 -1 1077944384 810 0 0 0 8 9 0 0 20 0 28 0 4405272 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139620199684400 139621611657858 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 10 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2923] ppid=2901 vsize=13801768 CPUtime=292.75 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2923/stat : 2923 (java) R 2901 2901 15667 0 -1 4202560 4363 0 0 0 29268 7 0 0 20 0 28 0 4406861 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139619586788456 139621224722605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2924] ppid=2901 vsize=13801768 CPUtime=293.83 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2924/stat : 2924 (java) R 2901 2901 15667 0 -1 4202560 6146 0 0 0 29374 9 0 0 20 0 28 0 4406861 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139619585736680 139621224723186 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2925] ppid=2901 vsize=13801768 CPUtime=293.71 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2925/stat : 2925 (java) R 2901 2901 15667 0 -1 4202560 3387 0 0 0 29365 6 0 0 20 0 28 0 4406861 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139619584684376 139621224722753 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2926] ppid=2901 vsize=13801768 CPUtime=294.27 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2926/stat : 2926 (java) R 2901 2901 15667 0 -1 4202560 3382 0 0 0 29423 4 0 0 20 0 28 0 4406861 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139619583634336 139621224138455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2927] ppid=2901 vsize=13801768 CPUtime=291.4 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2927/stat : 2927 (java) R 2901 2901 15667 0 -1 4202560 2884 0 0 0 29132 8 0 0 20 0 28 0 4406861 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139619582578968 139621223891213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2928] ppid=2901 vsize=13801768 CPUtime=292.19 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2928/stat : 2928 (java) R 2901 2901 15667 0 -1 4202560 3791 0 0 0 29214 5 0 0 20 0 28 0 4406861 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139619581526504 139621223546886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2929] ppid=2901 vsize=13801768 CPUtime=293.17 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2929/stat : 2929 (java) R 2901 2901 15667 0 -1 4202560 68040 0 0 0 29305 12 0 0 20 0 28 0 4406861 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139619580472944 139621219024751 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
[pid=2902/tid=2930] ppid=2901 vsize=13801768 CPUtime=292.89 cores=0,2,4,6,8,10,12,14
/proc/2902/task/2930/stat : 2930 (java) R 2901 2901 15667 0 -1 4202560 15980 0 0 0 29281 8 0 0 20 0 28 0 4406861 14133010432 1046723 33554432000 4194304 4196468 140734774426480 139619579420392 139621224138502 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9773056 140734774432956 140734774433132 140734774433132 140734774435791 0
Current children cumulated CPU time (s) 2400.27
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2901 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1571
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1571
# CPU time returned by wait4() is 0.003142
# while last known CPU time is 2400.27
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 313.912
CPU time (s): 2400.27
CPU user time (s): 2388.92
CPU system time (s): 11.35
CPU usage (%): 764.631
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001571
system time used= 0.001571
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.88633 second user time and 4.40972 second system time
The end