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-4245112-1500685336/watcher-4245112-1500685336 -o /tmp/evaluation-result-4245112-1500685336/solver-4245112-1500685336 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7801 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1137205596 HOME/instance-4245112-1500685336.xml
pid=14017
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: 2.87 8.51 12.27 3/262 14020
/proc/meminfo: memFree=31729464/32770624 swapFree=5860/235732
[pid=14020] ppid=14017 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14020/stat : 14020 (xcsp3-exec) S 14017 14020 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3801067 9740288 345 33554432000 4194304 5098028 140737317785632 140737317783736 140349209260668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29233152 140737317786766 140737317786976 140737317786976 140737317789675 0
/proc/14020/statm: 2378 345 289 221 0 87 0
[startup+0.100164 s]
/proc/loadavg: 2.87 8.51 12.27 3/262 14020
/proc/meminfo: memFree=31729464/32770624 swapFree=5860/235732
[pid=14020] ppid=14017 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14020/stat : 14020 (xcsp3-exec) S 14017 14020 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3801067 9740288 345 33554432000 4194304 5098028 140737317785632 140737317783736 140349209260668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29233152 140737317786766 140737317786976 140737317786976 140737317789675 0
/proc/14020/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200374 s]
/proc/loadavg: 2.87 8.51 12.27 3/262 14020
/proc/meminfo: memFree=31729464/32770624 swapFree=5860/235732
[pid=14020] ppid=14017 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14020/stat : 14020 (xcsp3-exec) S 14017 14020 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3801067 9740288 345 33554432000 4194304 5098028 140737317785632 140737317783736 140349209260668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29233152 140737317786766 140737317786976 140737317786976 140737317789675 0
/proc/14020/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30031 s]
/proc/loadavg: 2.87 8.51 12.27 3/262 14020
/proc/meminfo: memFree=31729464/32770624 swapFree=5860/235732
[pid=14020] ppid=14017 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14020/stat : 14020 (xcsp3-exec) S 14017 14020 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3801067 9740288 345 33554432000 4194304 5098028 140737317785632 140737317783736 140349209260668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29233152 140737317786766 140737317786976 140737317786976 140737317789675 0
/proc/14020/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700173 s]
/proc/loadavg: 2.87 8.51 12.27 3/262 14020
/proc/meminfo: memFree=31729464/32770624 swapFree=5860/235732
[pid=14020] ppid=14017 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14020/stat : 14020 (xcsp3-exec) S 14017 14020 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3801067 9740288 345 33554432000 4194304 5098028 140737317785632 140737317783736 140349209260668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29233152 140737317786766 140737317786976 140737317786976 140737317789675 0
/proc/14020/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50117 s]
/proc/loadavg: 2.87 8.51 12.27 8/283 14041
/proc/meminfo: memFree=31169428/32770624 swapFree=5860/236068
[pid=14020] ppid=14017 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14020/stat : 14020 (xcsp3-exec) S 14017 14020 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3801067 9740288 345 33554432000 4194304 5098028 140737317785632 140737317783736 140349209260668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29233152 140737317786766 140737317786976 140737317786976 140737317789675 0
/proc/14020/statm: 2378 345 289 221 0 87 0
[pid=14021] ppid=14020 vsize=13269256 CPUtime=5.24 cores=0,2,4,6,8,10,12,14
/proc/14021/stat : 14021 (java) S 14020 14020 7411 0 -1 1077944320 15827 0 0 0 497 27 0 0 20 0 20 0 3801067 13587718144 58113 33554432000 4194304 4196468 140725536433312 140725536415856 139788687752951 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
/proc/14021/statm: 3317314 58113 3243 1 0 3304547 0
[pid=14021/tid=14022] ppid=14020 vsize=13269256 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14022/stat : 14022 (java) R 14020 14020 7411 0 -1 4202560 6784 0 0 0 137 4 0 0 20 0 20 0 3801068 13587718144 58113 33554432000 4194304 4196468 140725536433312 139788691989816 139788323055464 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14024] ppid=14020 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14024/stat : 14024 (java) S 14020 14020 7411 0 -1 1077944384 31 0 0 0 2 2 0 0 20 0 20 0 3801069 13587718144 58113 33554432000 4194304 4196468 140725536433312 139788640373264 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14025] ppid=14020 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14025/stat : 14025 (java) S 14020 14020 7411 0 -1 1077944384 25 0 0 0 2 2 0 0 20 0 20 0 3801069 13587718144 58113 33554432000 4194304 4196468 140725536433312 139788639320720 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14026] ppid=14020 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14026/stat : 14026 (java) S 14020 14020 7411 0 -1 1077944384 20 0 0 0 2 1 0 0 20 0 20 0 3801069 13587718144 58113 33554432000 4194304 4196468 140725536433312 139788638267664 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14027] ppid=14020 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14027/stat : 14027 (java) S 14020 14020 7411 0 -1 1077944384 23 0 0 0 2 2 0 0 20 0 20 0 3801069 13587718144 58113 33554432000 4194304 4196468 140725536433312 139788637215120 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14028] ppid=14020 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14028/stat : 14028 (java) S 14020 14020 7411 0 -1 1077944384 29 0 0 0 2 2 0 0 20 0 20 0 3801069 13587718144 58113 33554432000 4194304 4196468 140725536433312 139788283214864 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14029] ppid=14020 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14029/stat : 14029 (java) S 14020 14020 7411 0 -1 1077944384 129 0 0 0 2 2 0 0 20 0 20 0 3801069 13587718144 58113 33554432000 4194304 4196468 140725536433312 139788282162320 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14030] ppid=14020 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14030/stat : 14030 (java) S 14020 14020 7411 0 -1 1077944384 26 0 0 0 2 2 0 0 20 0 20 0 3801069 13587718144 58113 33554432000 4194304 4196468 140725536433312 139788281109264 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14031] ppid=14020 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14031/stat : 14031 (java) S 14020 14020 7411 0 -1 1077944384 50 0 0 0 2 2 0 0 20 0 20 0 3801069 13587718144 58113 33554432000 4194304 4196468 140725536433312 139788280056720 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14032] ppid=14020 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14032/stat : 14032 (java) S 14020 14020 7411 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 3801070 13587718144 58113 33554432000 4194304 4196468 140725536433312 139787881593072 139788687764098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14033] ppid=14020 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14033/stat : 14033 (java) S 14020 14020 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3801071 13587718144 58113 33554432000 4194304 4196468 140725536433312 139787880539360 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14034] ppid=14020 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14034/stat : 14034 (java) S 14020 14020 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3801071 13587718144 58113 33554432000 4194304 4196468 140725536433312 139787879486192 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14035] ppid=14020 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14035/stat : 14035 (java) S 14020 14020 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3801074 13587718144 58113 33554432000 4194304 4196468 140725536433312 139787878434768 139788687771547 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14036] ppid=14020 vsize=13269256 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14036/stat : 14036 (java) R 14020 14020 7411 0 -1 4202560 2120 0 0 0 96 0 0 0 20 0 20 0 3801074 13587718144 58113 33554432000 4194304 4196468 140725536433312 139787877369568 139788671249731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14037] ppid=14020 vsize=13269256 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14037/stat : 14037 (java) R 14020 14020 7411 0 -1 4202560 1623 0 0 0 91 1 0 0 20 0 20 0 3801074 13587718144 58113 33554432000 4194304 4196468 140725536433312 139787876322016 139788671249739 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14038] ppid=14020 vsize=13269256 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14038/stat : 14038 (java) R 14020 14020 7411 0 -1 4202560 1749 0 0 0 96 0 0 0 20 0 20 0 3801074 13587718144 58113 33554432000 4194304 4196468 140725536433312 139787875260240 139788671130792 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14039] ppid=14020 vsize=13269256 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14039/stat : 14039 (java) S 14020 14020 7411 0 -1 1077944384 1839 0 0 0 54 0 0 0 20 0 20 0 3801074 13587718144 58113 33554432000 4194304 4196468 140725536433312 139787874224752 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14040] ppid=14020 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14040/stat : 14040 (java) S 14020 14020 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3801075 13587718144 58113 33554432000 4194304 4196468 140725536433312 139787873171936 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14041] ppid=14020 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14041/stat : 14041 (java) S 14020 14020 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3801075 13587718144 58113 33554432000 4194304 4196468 140725536433312 139787872119472 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
Current children cumulated CPU time (s) 5.24
Current children cumulated vsize (KiB) 13278768
[startup+3.10122 s]
/proc/loadavg: 3.12 8.47 12.24 13/290 14048
/proc/meminfo: memFree=30439260/32770624 swapFree=5860/236084
[pid=14020] ppid=14017 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14020/stat : 14020 (xcsp3-exec) S 14017 14020 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3801067 9740288 345 33554432000 4194304 5098028 140737317785632 140737317783736 140349209260668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29233152 140737317786766 140737317786976 140737317786976 140737317789675 0
/proc/14020/statm: 2378 345 289 221 0 87 0
[pid=14021] ppid=14020 vsize=13269256 CPUtime=9.38 cores=0,2,4,6,8,10,12,14
/proc/14021/stat : 14021 (java) S 14020 14020 7411 0 -1 1077944320 17840 0 0 0 841 97 0 0 20 0 20 0 3801067 13587718144 178476 33554432000 4194304 4196468 140725536433312 140725536415856 139788687752951 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
/proc/14021/statm: 3317314 178476 3257 1 0 3304547 0
[pid=14021/tid=14022] ppid=14020 vsize=13269256 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14022/stat : 14022 (java) R 14020 14020 7411 0 -1 4202560 7079 0 0 0 272 9 0 0 20 0 20 0 3801068 13587718144 178476 33554432000 4194304 4196468 140725536433312 139788691984496 139788321004007 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14024] ppid=14020 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14024/stat : 14024 (java) S 14020 14020 7411 0 -1 1077944384 240 0 0 0 10 10 0 0 20 0 20 0 3801069 13587718144 178476 33554432000 4194304 4196468 140725536433312 139788640373264 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14025] ppid=14020 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14025/stat : 14025 (java) S 14020 14020 7411 0 -1 1077944384 108 0 0 0 11 10 0 0 20 0 20 0 3801069 13587718144 178476 33554432000 4194304 4196468 140725536433312 139788639320720 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14026] ppid=14020 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14026/stat : 14026 (java) S 14020 14020 7411 0 -1 1077944384 139 0 0 0 11 9 0 0 20 0 20 0 3801069 13587718144 178476 33554432000 4194304 4196468 140725536433312 139788638267664 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14027] ppid=14020 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14027/stat : 14027 (java) S 14020 14020 7411 0 -1 1077944384 100 0 0 0 11 10 0 0 20 0 20 0 3801069 13587718144 178476 33554432000 4194304 4196468 140725536433312 139788637215120 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14028] ppid=14020 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14028/stat : 14028 (java) S 14020 14020 7411 0 -1 1077944384 106 0 0 0 13 10 0 0 20 0 20 0 3801069 13587718144 178476 33554432000 4194304 4196468 140725536433312 139788283214864 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14029] ppid=14020 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14029/stat : 14029 (java) S 14020 14020 7411 0 -1 1077944384 196 0 0 0 12 9 0 0 20 0 20 0 3801069 13587718144 178476 33554432000 4194304 4196468 140725536433312 139788282162320 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14030] ppid=14020 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14030/stat : 14030 (java) S 14020 14020 7411 0 -1 1077944384 282 0 0 0 10 10 0 0 20 0 20 0 3801069 13587718144 178476 33554432000 4194304 4196468 140725536433312 139788281109264 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14031] ppid=14020 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14031/stat : 14031 (java) S 14020 14020 7411 0 -1 1077944384 155 0 0 0 11 11 0 0 20 0 20 0 3801069 13587718144 178476 33554432000 4194304 4196468 140725536433312 139788280056720 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14032] ppid=14020 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14032/stat : 14032 (java) S 14020 14020 7411 0 -1 1077944384 511 0 0 0 0 0 0 0 20 0 20 0 3801070 13587718144 178476 33554432000 4194304 4196468 140725536433312 139787881593072 139788687764098 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14033] ppid=14020 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14033/stat : 14033 (java) S 14020 14020 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3801071 13587718144 178476 33554432000 4194304 4196468 140725536433312 139787880539360 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14034] ppid=14020 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14034/stat : 14034 (java) S 14020 14020 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3801071 13587718144 178476 33554432000 4194304 4196468 140725536433312 139787879486208 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14035] ppid=14020 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14035/stat : 14035 (java) S 14020 14020 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3801074 13587718144 178476 33554432000 4194304 4196468 140725536433312 139787878434768 139788687771547 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14036] ppid=14020 vsize=13269256 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14036/stat : 14036 (java) S 14020 14020 7411 0 -1 1077944384 2195 0 0 0 140 1 0 0 20 0 20 0 3801074 13587718144 178476 33554432000 4194304 4196468 140725536433312 139787877382896 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14037] ppid=14020 vsize=13269256 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14037/stat : 14037 (java) S 14020 14020 7411 0 -1 1077944384 1679 0 0 0 125 1 0 0 20 0 20 0 3801074 13587718144 178476 33554432000 4194304 4196468 140725536433312 139787876330352 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14038] ppid=14020 vsize=13269256 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14038/stat : 14038 (java) S 14020 14020 7411 0 -1 1077944384 1822 0 0 0 139 0 0 0 20 0 20 0 3801074 13587718144 178476 33554432000 4194304 4196468 140725536433312 139787875277296 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14039] ppid=14020 vsize=13269256 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14039/stat : 14039 (java) S 14020 14020 7411 0 -1 1077944384 1932 0 0 0 66 0 0 0 20 0 20 0 3801074 13587718144 178476 33554432000 4194304 4196468 140725536433312 139787874224752 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14040] ppid=14020 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14040/stat : 14040 (java) S 14020 14020 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3801075 13587718144 178476 33554432000 4194304 4196468 140725536433312 139787873171936 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14041] ppid=14020 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14041/stat : 14041 (java) S 14020 14020 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3801075 13587718144 178476 33554432000 4194304 4196468 140725536433312 139787872119472 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
Current children cumulated CPU time (s) 9.38
Current children cumulated vsize (KiB) 13278768
[startup+6.30129 s]
/proc/loadavg: 3.12 8.47 12.24 24/301 14212
/proc/meminfo: memFree=30794124/32770624 swapFree=5860/236116
[pid=14020] ppid=14017 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14020/stat : 14020 (xcsp3-exec) S 14017 14020 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3801067 9740288 345 33554432000 4194304 5098028 140737317785632 140737317783736 140349209260668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29233152 140737317786766 140737317786976 140737317786976 140737317789675 0
/proc/14020/statm: 2378 345 289 221 0 87 0
[pid=14021] ppid=14020 vsize=13870796 CPUtime=31.09 cores=0,2,4,6,8,10,12,14
/proc/14021/stat : 14021 (java) S 14020 14020 7411 0 -1 1077944320 36919 0 0 0 2937 172 0 0 20 0 28 0 3801067 14203695104 260612 33554432000 4194304 4196468 140725536433312 140725536415856 139788687752951 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
/proc/14021/statm: 3467699 260612 3289 1 0 3454932 0
[pid=14021/tid=14022] ppid=14020 vsize=13870796 CPUtime=3.25 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14022/stat : 14022 (java) S 14020 14020 7411 0 -1 1077944384 7209 0 0 0 316 9 0 0 20 0 28 0 3801068 14203695104 260612 33554432000 4194304 4196468 140725536433312 139788691993728 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14024] ppid=14020 vsize=13870796 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14024/stat : 14024 (java) S 14020 14020 7411 0 -1 1077944384 309 0 0 0 20 18 0 0 20 0 28 0 3801069 14203695104 260612 33554432000 4194304 4196468 140725536433312 139788640373264 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14025] ppid=14020 vsize=13870796 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14025/stat : 14025 (java) S 14020 14020 7411 0 -1 1077944384 168 0 0 0 22 17 0 0 20 0 28 0 3801069 14203695104 260612 33554432000 4194304 4196468 140725536433312 139788639320720 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14026] ppid=14020 vsize=13870796 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14026/stat : 14026 (java) S 14020 14020 7411 0 -1 1077944384 206 0 0 0 22 17 0 0 20 0 28 0 3801069 14203695104 260612 33554432000 4194304 4196468 140725536433312 139788638267664 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14027] ppid=14020 vsize=13870796 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14027/stat : 14027 (java) S 14020 14020 7411 0 -1 1077944384 212 0 0 0 20 18 0 0 20 0 28 0 3801069 14203695104 260612 33554432000 4194304 4196468 140725536433312 139788637215120 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14028] ppid=14020 vsize=13870796 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14028/stat : 14028 (java) S 14020 14020 7411 0 -1 1077944384 175 0 0 0 23 18 0 0 20 0 28 0 3801069 14203695104 260612 33554432000 4194304 4196468 140725536433312 139788283214864 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14029] ppid=14020 vsize=13870796 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14029/stat : 14029 (java) S 14020 14020 7411 0 -1 1077944384 258 0 0 0 23 17 0 0 20 0 28 0 3801069 14203695104 260612 33554432000 4194304 4196468 140725536433312 139788282162320 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14030] ppid=14020 vsize=13870796 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14030/stat : 14030 (java) S 14020 14020 7411 0 -1 1077944384 344 0 0 0 20 18 0 0 20 0 28 0 3801069 14203695104 260612 33554432000 4194304 4196468 140725536433312 139788281109264 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14031] ppid=14020 vsize=13870796 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14031/stat : 14031 (java) S 14020 14020 7411 0 -1 1077944384 217 0 0 0 22 18 0 0 20 0 28 0 3801069 14203695104 260612 33554432000 4194304 4196468 140725536433312 139788280056720 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14032] ppid=14020 vsize=13870796 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14032/stat : 14032 (java) S 14020 14020 7411 0 -1 1077944384 1029 0 0 0 1 1 0 0 20 0 28 0 3801070 14203695104 260612 33554432000 4194304 4196468 140725536433312 139787881593072 139788687764098 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14033] ppid=14020 vsize=13870796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14033/stat : 14033 (java) S 14020 14020 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3801071 14203695104 260612 33554432000 4194304 4196468 140725536433312 139787880539360 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14034] ppid=14020 vsize=13870796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14034/stat : 14034 (java) S 14020 14020 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3801071 14203695104 260612 33554432000 4194304 4196468 140725536433312 139787879486208 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14035] ppid=14020 vsize=13870796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14035/stat : 14035 (java) S 14020 14020 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3801074 14203695104 260612 33554432000 4194304 4196468 140725536433312 139787878434768 139788687771547 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
################
# More data... #
################
[pid=14021/tid=14329] ppid=14020 vsize=13868332 CPUtime=270.53 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14329/stat : 14329 (java) R 14020 14020 7411 0 -1 4202560 1898 0 0 0 27051 2 0 0 20 0 28 0 3802052 14201171968 800041 33554432000 4194304 4196468 140725536433312 139787855683880 139788325931358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14330] ppid=14020 vsize=13868332 CPUtime=270.02 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14330/stat : 14330 (java) R 14020 14020 7411 0 -1 4202560 3361 0 0 0 26989 13 0 0 20 0 28 0 3802052 14201171968 800041 33554432000 4194304 4196468 140725536433312 139787857788552 139788322375638 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
Current children cumulated CPU time (s) 2228.32
Current children cumulated vsize (KiB) 13877844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.902 s]
/proc/loadavg: 16.06 13.24 13.27 17/300 14486
/proc/meminfo: memFree=25077168/32770624 swapFree=5860/236544
[pid=14020] ppid=14017 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14020/stat : 14020 (xcsp3-exec) S 14017 14020 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3801067 9740288 345 33554432000 4194304 5098028 140737317785632 140737317783736 140349209260668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29233152 140737317786766 140737317786976 140737317786976 140737317789675 0
/proc/14020/statm: 2378 345 289 221 0 87 0
[pid=14021] ppid=14020 vsize=13868332 CPUtime=2400.31 cores=0,2,4,6,8,10,12,14
/proc/14021/stat : 14021 (java) S 14020 14020 7411 0 -1 1077944320 93384 0 0 0 239686 345 0 0 20 0 28 0 3801067 14201171968 788113 33554432000 4194304 4196468 140725536433312 140725536415856 139788687752951 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
/proc/14021/statm: 3467083 788113 3291 1 0 3454316 0
[pid=14021/tid=14022] ppid=14020 vsize=13868332 CPUtime=3.25 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14022/stat : 14022 (java) S 14020 14020 7411 0 -1 1077944384 7371 0 0 0 316 9 0 0 20 0 28 0 3801068 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788691993728 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14024] ppid=14020 vsize=13868332 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14024/stat : 14024 (java) S 14020 14020 7411 0 -1 1077944384 781 0 0 0 34 31 0 0 20 0 28 0 3801069 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788640373264 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14025] ppid=14020 vsize=13868332 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14025/stat : 14025 (java) S 14020 14020 7411 0 -1 1077944384 989 0 0 0 37 30 0 0 20 0 28 0 3801069 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788639320720 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14026] ppid=14020 vsize=13868332 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14026/stat : 14026 (java) S 14020 14020 7411 0 -1 1077944384 1423 0 0 0 37 27 0 0 20 0 28 0 3801069 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788638267664 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14027] ppid=14020 vsize=13868332 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14027/stat : 14027 (java) S 14020 14020 7411 0 -1 1077944384 677 0 0 0 35 31 0 0 20 0 28 0 3801069 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788637215120 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14028] ppid=14020 vsize=13868332 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14028/stat : 14028 (java) S 14020 14020 7411 0 -1 1077944384 1408 0 0 0 40 31 0 0 20 0 28 0 3801069 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788283214864 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14029] ppid=14020 vsize=13868332 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14029/stat : 14029 (java) S 14020 14020 7411 0 -1 1077944384 744 0 0 0 38 30 0 0 20 0 28 0 3801069 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788282162320 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14030] ppid=14020 vsize=13868332 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14030/stat : 14030 (java) S 14020 14020 7411 0 -1 1077944384 1250 0 0 0 36 31 0 0 20 0 28 0 3801069 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788281109264 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14031] ppid=14020 vsize=13868332 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14031/stat : 14031 (java) S 14020 14020 7411 0 -1 1077944384 1694 0 0 0 39 31 0 0 20 0 28 0 3801069 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788280056720 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14032] ppid=14020 vsize=13868332 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14032/stat : 14032 (java) S 14020 14020 7411 0 -1 1077944384 3881 0 0 0 5 7 0 0 20 0 28 0 3801070 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787881593072 139788687764098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14033] ppid=14020 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14033/stat : 14033 (java) S 14020 14020 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3801071 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787880539360 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14034] ppid=14020 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14034/stat : 14034 (java) S 14020 14020 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3801071 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787879486208 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14035] ppid=14020 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14035/stat : 14035 (java) S 14020 14020 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3801074 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787878434768 139788687771547 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14036] ppid=14020 vsize=13868332 CPUtime=4.4 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14036/stat : 14036 (java) S 14020 14020 7411 0 -1 1077944384 11487 0 0 0 437 3 0 0 20 0 28 0 3801074 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787877382896 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14037] ppid=14020 vsize=13868332 CPUtime=4.11 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14037/stat : 14037 (java) S 14020 14020 7411 0 -1 1077944384 9405 0 0 0 407 4 0 0 20 0 28 0 3801074 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787876330352 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14038] ppid=14020 vsize=13868332 CPUtime=4.43 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14038/stat : 14038 (java) S 14020 14020 7411 0 -1 1077944384 14885 0 0 0 440 3 0 0 20 0 28 0 3801074 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787875277296 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14039] ppid=14020 vsize=13868332 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14039/stat : 14039 (java) S 14020 14020 7411 0 -1 1077944384 6343 0 0 0 113 2 0 0 20 0 28 0 3801074 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787874224752 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14040] ppid=14020 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14040/stat : 14040 (java) S 14020 14020 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3801075 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787873171936 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14041] ppid=14020 vsize=13868332 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14041/stat : 14041 (java) S 14020 14020 7411 0 -1 1077944384 1887 0 0 0 7 8 0 0 20 0 28 0 3801075 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787872119472 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14323] ppid=14020 vsize=13868332 CPUtime=292.12 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14323/stat : 14323 (java) R 14020 14020 7411 0 -1 4202560 3884 0 0 0 29204 8 0 0 20 0 28 0 3802052 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787863050624 139788318867097 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14324] ppid=14020 vsize=13868332 CPUtime=291.59 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14324/stat : 14324 (java) R 14020 14020 7411 0 -1 4202560 3988 0 0 0 29153 6 0 0 20 0 28 0 3802052 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787864104696 139788325931468 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14325] ppid=14020 vsize=13868332 CPUtime=292.95 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14325/stat : 14325 (java) R 14020 14020 7411 0 -1 4202560 3167 0 0 0 29288 7 0 0 20 0 28 0 3802052 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787859894824 139788325931358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14326] ppid=14020 vsize=13868332 CPUtime=292.79 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14326/stat : 14326 (java) R 14020 14020 7411 0 -1 4202560 3560 0 0 0 29270 9 0 0 20 0 28 0 3802052 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787856736808 139788322643299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14327] ppid=14020 vsize=13868332 CPUtime=292.99 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14327/stat : 14327 (java) R 14020 14020 7411 0 -1 4202560 3208 0 0 0 29295 4 0 0 20 0 28 0 3802052 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787860947320 139788322643295 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14328] ppid=14020 vsize=13868332 CPUtime=291.92 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14328/stat : 14328 (java) R 14020 14020 7411 0 -1 4202560 526 0 0 0 29192 0 0 0 20 0 28 0 3802052 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787858841848 139788325840385 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14329] ppid=14020 vsize=13868332 CPUtime=291.62 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14329/stat : 14329 (java) R 14020 14020 7411 0 -1 4202560 2008 0 0 0 29160 2 0 0 20 0 28 0 3802052 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787855683448 139788325931629 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14330] ppid=14020 vsize=13868332 CPUtime=291.58 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14330/stat : 14330 (java) R 14020 14020 7411 0 -1 4202560 3536 0 0 0 29145 13 0 0 20 0 28 0 3802052 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787857791392 139788325107263 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
Current children cumulated CPU time (s) 2400.31
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 14021 sig 9
??? kill 14020 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.902 s]
/proc/loadavg: 16.06 13.24 13.27 17/300 14486
/proc/meminfo: memFree=25077168/32770624 swapFree=5860/236544
[pid=14020] ppid=14017 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14020/stat : 14020 (xcsp3-exec) S 14017 14020 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3801067 9740288 345 33554432000 4194304 5098028 140737317785632 140737317783736 140349209260668 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29233152 140737317786766 140737317786976 140737317786976 140737317789675 0
/proc/14020/statm: 2378 345 289 221 0 87 0
[pid=14021] ppid=14020 vsize=13868332 CPUtime=2400.31 cores=0,2,4,6,8,10,12,14
/proc/14021/stat : 14021 (java) S 14020 14020 7411 0 -1 1077944320 93384 0 0 0 239686 345 0 0 20 0 28 0 3801067 14201171968 788113 33554432000 4194304 4196468 140725536433312 140725536415856 139788687752951 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
/proc/14021/statm: 3467083 788113 3291 1 0 3454316 0
[pid=14021/tid=14022] ppid=14020 vsize=13868332 CPUtime=3.25 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14022/stat : 14022 (java) S 14020 14020 7411 0 -1 1077944384 7371 0 0 0 316 9 0 0 20 0 28 0 3801068 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788691993728 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14024] ppid=14020 vsize=13868332 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14024/stat : 14024 (java) S 14020 14020 7411 0 -1 1077944384 781 0 0 0 34 31 0 0 20 0 28 0 3801069 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788640373264 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14025] ppid=14020 vsize=13868332 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14025/stat : 14025 (java) S 14020 14020 7411 0 -1 1077944384 989 0 0 0 37 30 0 0 20 0 28 0 3801069 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788639320720 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14026] ppid=14020 vsize=13868332 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14026/stat : 14026 (java) S 14020 14020 7411 0 -1 1077944384 1423 0 0 0 37 27 0 0 20 0 28 0 3801069 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788638267664 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14027] ppid=14020 vsize=13868332 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14027/stat : 14027 (java) S 14020 14020 7411 0 -1 1077944384 677 0 0 0 35 31 0 0 20 0 28 0 3801069 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788637215120 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14028] ppid=14020 vsize=13868332 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14028/stat : 14028 (java) S 14020 14020 7411 0 -1 1077944384 1408 0 0 0 40 31 0 0 20 0 28 0 3801069 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788283214864 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14029] ppid=14020 vsize=13868332 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14029/stat : 14029 (java) S 14020 14020 7411 0 -1 1077944384 744 0 0 0 38 30 0 0 20 0 28 0 3801069 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788282162320 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14030] ppid=14020 vsize=13868332 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14030/stat : 14030 (java) S 14020 14020 7411 0 -1 1077944384 1250 0 0 0 36 31 0 0 20 0 28 0 3801069 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788281109264 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14031] ppid=14020 vsize=13868332 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14031/stat : 14031 (java) S 14020 14020 7411 0 -1 1077944384 1694 0 0 0 39 31 0 0 20 0 28 0 3801069 14201171968 788113 33554432000 4194304 4196468 140725536433312 139788280056720 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14032] ppid=14020 vsize=13868332 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14032/stat : 14032 (java) S 14020 14020 7411 0 -1 1077944384 3881 0 0 0 5 7 0 0 20 0 28 0 3801070 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787881593072 139788687764098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14033] ppid=14020 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14033/stat : 14033 (java) S 14020 14020 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3801071 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787880539360 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14034] ppid=14020 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14034/stat : 14034 (java) S 14020 14020 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3801071 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787879486208 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14035] ppid=14020 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14035/stat : 14035 (java) S 14020 14020 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3801074 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787878434768 139788687771547 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14036] ppid=14020 vsize=13868332 CPUtime=4.4 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14036/stat : 14036 (java) S 14020 14020 7411 0 -1 1077944384 11487 0 0 0 437 3 0 0 20 0 28 0 3801074 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787877382896 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14037] ppid=14020 vsize=13868332 CPUtime=4.11 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14037/stat : 14037 (java) S 14020 14020 7411 0 -1 1077944384 9405 0 0 0 407 4 0 0 20 0 28 0 3801074 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787876330352 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14038] ppid=14020 vsize=13868332 CPUtime=4.43 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14038/stat : 14038 (java) S 14020 14020 7411 0 -1 1077944384 14885 0 0 0 440 3 0 0 20 0 28 0 3801074 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787875277296 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14039] ppid=14020 vsize=13868332 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14039/stat : 14039 (java) S 14020 14020 7411 0 -1 1077944384 6343 0 0 0 113 2 0 0 20 0 28 0 3801074 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787874224752 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14040] ppid=14020 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14040/stat : 14040 (java) S 14020 14020 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3801075 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787873171936 139788687763157 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14041] ppid=14020 vsize=13868332 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14041/stat : 14041 (java) S 14020 14020 7411 0 -1 1077944384 1887 0 0 0 7 8 0 0 20 0 28 0 3801075 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787872119472 139788687764098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14323] ppid=14020 vsize=13868332 CPUtime=292.12 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14323/stat : 14323 (java) R 14020 14020 7411 0 -1 4202560 3884 0 0 0 29204 8 0 0 20 0 28 0 3802052 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787863050624 139788318867097 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14324] ppid=14020 vsize=13868332 CPUtime=291.59 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14324/stat : 14324 (java) R 14020 14020 7411 0 -1 4202560 3988 0 0 0 29153 6 0 0 20 0 28 0 3802052 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787864104696 139788325931468 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14325] ppid=14020 vsize=13868332 CPUtime=292.95 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14325/stat : 14325 (java) R 14020 14020 7411 0 -1 4202560 3167 0 0 0 29288 7 0 0 20 0 28 0 3802052 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787859894824 139788325931358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14326] ppid=14020 vsize=13868332 CPUtime=292.79 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14326/stat : 14326 (java) R 14020 14020 7411 0 -1 4202560 3560 0 0 0 29270 9 0 0 20 0 28 0 3802052 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787856736808 139788322643299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14327] ppid=14020 vsize=13868332 CPUtime=292.99 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14327/stat : 14327 (java) R 14020 14020 7411 0 -1 4202560 3208 0 0 0 29295 4 0 0 20 0 28 0 3802052 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787860947320 139788322643295 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14328] ppid=14020 vsize=13868332 CPUtime=291.92 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14328/stat : 14328 (java) R 14020 14020 7411 0 -1 4202560 526 0 0 0 29192 0 0 0 20 0 28 0 3802052 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787858841848 139788325840385 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14329] ppid=14020 vsize=13868332 CPUtime=291.62 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14329/stat : 14329 (java) R 14020 14020 7411 0 -1 4202560 2008 0 0 0 29160 2 0 0 20 0 28 0 3802052 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787855683448 139788325931629 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
[pid=14021/tid=14330] ppid=14020 vsize=13868332 CPUtime=291.58 cores=0,2,4,6,8,10,12,14
/proc/14021/task/14330/stat : 14330 (java) R 14020 14020 7411 0 -1 4202560 3536 0 0 0 29145 13 0 0 20 0 28 0 3802052 14201171968 788113 33554432000 4194304 4196468 140725536433312 139787857791392 139788325107263 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13946880 140725536437436 140725536437612 140725536437612 140725536440271 0
Current children cumulated CPU time (s) 2400.31
Current children cumulated vsize (KiB) 13877844
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14020 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1125
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1125
# CPU time returned by wait4() is 0.00225
# while last known CPU time is 2400.31
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.912
CPU time (s): 2400.31
CPU user time (s): 2396.86
CPU system time (s): 3.45
CPU usage (%): 789.804
Max. virtual memory (cumulated for all children) (KiB): 13882392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001125
system time used= 0.001125
maximum resident set size= 1384
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.9616 second user time and 4.30014 second system time
The end