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-4249861-1500695981/watcher-4249861-1500695981 -o /tmp/evaluation-result-4249861-1500695981/solver-4249861-1500695981 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8602 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 313251094 HOME/instance-4249861-1500695981.xml
pid=4788
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: 13.13 14.22 13.96 4/262 4791
/proc/meminfo: memFree=31797704/32770624 swapFree=5884/293028
[pid=4791] ppid=4788 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4865916 9740288 346 33554432000 4194304 5098028 140722780582448 140722780580552 140476415701628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32722944 140722780591247 140722780591456 140722780591456 140722780594155 0
/proc/4791/statm: 2378 346 289 221 0 87 0
[startup+0.100128 s]
/proc/loadavg: 13.13 14.22 13.96 4/262 4791
/proc/meminfo: memFree=31797704/32770624 swapFree=5884/293028
[pid=4791] ppid=4788 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4865916 9740288 346 33554432000 4194304 5098028 140722780582448 140722780580552 140476415701628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32722944 140722780591247 140722780591456 140722780591456 140722780594155 0
/proc/4791/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20035 s]
/proc/loadavg: 13.13 14.22 13.96 4/262 4791
/proc/meminfo: memFree=31797704/32770624 swapFree=5884/293028
[pid=4791] ppid=4788 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4865916 9740288 346 33554432000 4194304 5098028 140722780582448 140722780580552 140476415701628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32722944 140722780591247 140722780591456 140722780591456 140722780594155 0
/proc/4791/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300245 s]
/proc/loadavg: 13.13 14.22 13.96 4/262 4791
/proc/meminfo: memFree=31797704/32770624 swapFree=5884/293028
[pid=4791] ppid=4788 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4865916 9740288 346 33554432000 4194304 5098028 140722780582448 140722780580552 140476415701628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32722944 140722780591247 140722780591456 140722780591456 140722780594155 0
/proc/4791/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700162 s]
/proc/loadavg: 13.13 14.22 13.96 4/262 4791
/proc/meminfo: memFree=31797704/32770624 swapFree=5884/293028
[pid=4791] ppid=4788 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4865916 9740288 346 33554432000 4194304 5098028 140722780582448 140722780580552 140476415701628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32722944 140722780591247 140722780591456 140722780591456 140722780594155 0
/proc/4791/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50169 s]
/proc/loadavg: 13.44 14.27 13.98 9/260 4902
/proc/meminfo: memFree=31488688/32770624 swapFree=5884/293380
[pid=4791] ppid=4788 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4865916 9740288 346 33554432000 4194304 5098028 140722780582448 140722780580552 140476415701628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32722944 140722780591247 140722780591456 140722780591456 140722780594155 0
/proc/4791/statm: 2378 346 289 221 0 87 0
[pid=4792] ppid=4791 vsize=13269256 CPUtime=5.82 cores=0,2,4,6,8,10,12,14
/proc/4792/stat : 4792 (java) S 4791 4791 8571 0 -1 1077944320 16060 0 0 0 422 160 0 0 20 0 20 0 4865916 13587718144 143431 33554432000 4194304 4196468 140736071670192 140736071652736 140192855641847 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
/proc/4792/statm: 3317314 143431 3246 1 0 3304547 0
[pid=4792/tid=4793] ppid=4791 vsize=13269256 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4793/stat : 4793 (java) S 4791 4791 8571 0 -1 1077944384 6503 0 0 0 101 6 0 0 20 0 20 0 4865917 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192859878352 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4795] ppid=4791 vsize=13269256 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4795/stat : 4795 (java) D 4791 4791 8571 0 -1 4202560 162 0 0 0 8 19 0 0 20 0 20 0 4865917 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192774122528 140192848745449 0 4 0 16800975 18446744071582151416 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4796] ppid=4791 vsize=13269256 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4796/stat : 4796 (java) D 4791 4791 8571 0 -1 4202560 140 0 0 0 9 19 0 0 20 0 20 0 4865917 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192773070040 140192848745449 0 4 0 16800975 18446744071582151416 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4797] ppid=4791 vsize=13269256 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4797/stat : 4797 (java) D 4791 4791 8571 0 -1 4202560 125 0 0 0 8 17 0 0 20 0 20 0 4865917 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192772017240 140192840669730 0 4 0 16800975 18446744071582151416 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4798] ppid=4791 vsize=13269256 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4798/stat : 4798 (java) D 4791 4791 8571 0 -1 4202560 146 0 0 0 9 19 0 0 20 0 20 0 4865917 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192770964440 140192848745449 0 4 0 16800975 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4799] ppid=4791 vsize=13269256 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4799/stat : 4799 (java) D 4791 4791 8571 0 -1 4202560 131 0 0 0 10 18 0 0 20 0 20 0 4865917 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192769911640 140192840669730 0 4 0 16800975 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4800] ppid=4791 vsize=13269256 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4800/stat : 4800 (java) D 4791 4791 8571 0 -1 4202560 113 0 0 0 8 16 0 0 20 0 20 0 4865917 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192768858840 140192848745459 0 4 0 16800975 18446744071582151416 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4801] ppid=4791 vsize=13269256 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4801/stat : 4801 (java) D 4791 4791 8571 0 -1 4202560 131 0 0 0 9 18 0 0 20 0 20 0 4865917 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192767806040 140192834836039 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4802] ppid=4791 vsize=13269256 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4802/stat : 4802 (java) D 4791 4791 8571 0 -1 4202560 173 0 0 0 9 19 0 0 20 0 20 0 4865917 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192766753240 140192848745459 0 4 0 16800975 18446744071582151416 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4803] ppid=4791 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4803/stat : 4803 (java) S 4791 4791 8571 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4865920 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192317949344 140192855652053 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4804] ppid=4791 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4804/stat : 4804 (java) S 4791 4791 8571 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4865920 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192316896864 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4805] ppid=4791 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4805/stat : 4805 (java) S 4791 4791 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4865921 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192315843968 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4806] ppid=4791 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4806/stat : 4806 (java) S 4791 4791 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4865924 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192314792272 140192855660443 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4807] ppid=4791 vsize=13269256 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4807/stat : 4807 (java) S 4791 4791 8571 0 -1 1077944384 1216 0 0 0 56 0 0 0 20 0 20 0 4865924 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192313730912 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4808] ppid=4791 vsize=13269256 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4808/stat : 4808 (java) S 4791 4791 8571 0 -1 1077944384 1964 0 0 0 69 0 0 0 20 0 20 0 4865924 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192312678112 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4809] ppid=4791 vsize=13269256 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4809/stat : 4809 (java) D 4791 4791 8571 0 -1 4202560 1434 0 0 0 60 0 0 0 20 0 20 0 4865924 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192311620056 140192848358999 0 4 0 16800975 18446744071582151463 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4810] ppid=4791 vsize=13269256 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4810/stat : 4810 (java) S 4791 4791 8571 0 -1 1077944384 2442 0 0 0 58 1 0 0 20 0 20 0 4865924 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192310581232 140192855652994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4811] ppid=4791 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4811/stat : 4811 (java) S 4791 4791 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4865925 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192309529696 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4812] ppid=4791 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4812/stat : 4812 (java) D 4791 4791 8571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4865925 13587718144 143431 33554432000 4194304 4196468 140736071670192 140192308476896 140192840497934 0 4 0 16800975 18446744072100666501 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 13278768
[startup+3.1012 s]
/proc/loadavg: 13.44 14.27 13.98 12/283 4954
/proc/meminfo: memFree=30962088/32770624 swapFree=5884/293472
[pid=4791] ppid=4788 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4865916 9740288 346 33554432000 4194304 5098028 140722780582448 140722780580552 140476415701628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32722944 140722780591247 140722780591456 140722780591456 140722780594155 0
/proc/4791/statm: 2378 346 289 221 0 87 0
[pid=4792] ppid=4791 vsize=13269256 CPUtime=17.36 cores=0,2,4,6,8,10,12,14
/proc/4792/stat : 4792 (java) S 4791 4791 8571 0 -1 1077944320 53386 0 0 0 1372 364 0 0 20 0 20 0 4865916 13587718144 278568 33554432000 4194304 4196468 140736071670192 140736071652736 140192855641847 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
/proc/4792/statm: 3317314 278568 3274 1 0 3304547 0
[pid=4792/tid=4793] ppid=4791 vsize=13269256 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4793/stat : 4793 (java) S 4791 4791 8571 0 -1 1077944384 6801 0 0 0 114 6 0 0 20 0 20 0 4865917 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192859878416 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4795] ppid=4791 vsize=13269256 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4795/stat : 4795 (java) R 4791 4791 8571 0 -1 4202560 3847 0 0 0 116 47 0 0 20 0 20 0 4865917 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192774122760 140192840631405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4796] ppid=4791 vsize=13269256 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4796/stat : 4796 (java) R 4791 4791 8571 0 -1 4202560 5642 0 0 0 121 42 0 0 20 0 20 0 4865917 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192773069960 140192848270055 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4797] ppid=4791 vsize=13269256 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4797/stat : 4797 (java) R 4791 4791 8571 0 -1 4202560 4258 0 0 0 115 41 0 0 20 0 20 0 4865917 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192772017160 140192841400664 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4798] ppid=4791 vsize=13269256 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4798/stat : 4798 (java) R 4791 4791 8571 0 -1 4202560 3867 0 0 0 120 43 0 0 20 0 20 0 4865917 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192770964360 140192848270055 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4799] ppid=4791 vsize=13269256 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4799/stat : 4799 (java) R 4791 4791 8571 0 -1 4202560 4495 0 0 0 115 42 0 0 20 0 20 0 4865917 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192769911560 140192848270055 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4800] ppid=4791 vsize=13269256 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4800/stat : 4800 (java) R 4791 4791 8571 0 -1 4202560 3932 0 0 0 117 43 0 0 20 0 20 0 4865917 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192768858760 140192848270055 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4801] ppid=4791 vsize=13269256 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4801/stat : 4801 (java) R 4791 4791 8571 0 -1 4202560 3797 0 0 0 117 43 0 0 20 0 20 0 4865917 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192767805960 140192848270055 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4802] ppid=4791 vsize=13269256 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4802/stat : 4802 (java) R 4791 4791 8571 0 -1 4202560 6234 0 0 0 119 49 0 0 20 0 20 0 4865917 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192766753160 140192848270055 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4803] ppid=4791 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4803/stat : 4803 (java) S 4791 4791 8571 0 -1 1077944384 1285 0 0 0 2 0 0 0 20 0 20 0 4865920 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192317949376 140192855652053 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4804] ppid=4791 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4804/stat : 4804 (java) S 4791 4791 8571 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4865920 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192316896864 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4805] ppid=4791 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4805/stat : 4805 (java) S 4791 4791 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4865921 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192315843968 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4806] ppid=4791 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4806/stat : 4806 (java) S 4791 4791 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4865924 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192314792272 140192855660443 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4807] ppid=4791 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4807/stat : 4807 (java) S 4791 4791 8571 0 -1 1077944384 1228 0 0 0 64 0 0 0 20 0 20 0 4865924 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192313730912 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4808] ppid=4791 vsize=13269256 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4808/stat : 4808 (java) S 4791 4791 8571 0 -1 1077944384 2323 0 0 0 96 0 0 0 20 0 20 0 4865924 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192312671824 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4809] ppid=4791 vsize=13269256 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4809/stat : 4809 (java) S 4791 4791 8571 0 -1 1077944384 1899 0 0 0 86 1 0 0 20 0 20 0 4865924 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192311625312 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4810] ppid=4791 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4810/stat : 4810 (java) S 4791 4791 8571 0 -1 1077944384 2479 0 0 0 62 1 0 0 20 0 20 0 4865924 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192310581232 140192855652994 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4811] ppid=4791 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4811/stat : 4811 (java) S 4791 4791 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4865925 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192309529696 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4812] ppid=4791 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4812/stat : 4812 (java) S 4791 4791 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4865925 13587718144 278568 33554432000 4194304 4196468 140736071670192 140192308476976 140192855652994 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 11 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
Current children cumulated CPU time (s) 17.36
Current children cumulated vsize (KiB) 13278768
[startup+6.3022 s]
/proc/loadavg: 13.44 14.27 13.98 23/299 5206
/proc/meminfo: memFree=29992496/32770624 swapFree=5884/293480
[pid=4791] ppid=4788 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4865916 9740288 346 33554432000 4194304 5098028 140722780582448 140722780580552 140476415701628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32722944 140722780591247 140722780591456 140722780591456 140722780594155 0
/proc/4791/statm: 2378 346 289 221 0 87 0
[pid=4792] ppid=4791 vsize=14134588 CPUtime=40.55 cores=0,2,4,6,8,10,12,14
/proc/4792/stat : 4792 (java) S 4791 4791 8571 0 -1 1077944320 70973 0 0 0 3273 782 0 0 20 0 21 0 4865916 14473818112 509915 33554432000 4194304 4196468 140736071670192 140736071652736 140192855641847 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
/proc/4792/statm: 3533647 509915 3279 1 0 3520880 0
[pid=4792/tid=4793] ppid=4791 vsize=14134588 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4793/stat : 4793 (java) S 4791 4791 8571 0 -1 1077944384 8583 0 0 0 155 9 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192859882624 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4795] ppid=4791 vsize=14134588 CPUtime=3.83 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4795/stat : 4795 (java) R 4791 4791 8571 0 -1 4202560 4299 0 0 0 284 99 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192774122840 140192840669730 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4796] ppid=4791 vsize=14134588 CPUtime=3.81 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4796/stat : 4796 (java) R 4791 4791 8571 0 -1 4202560 6528 0 0 0 287 94 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192773070040 140192848747529 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4797] ppid=4791 vsize=14134588 CPUtime=3.72 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4797/stat : 4797 (java) R 4791 4791 8571 0 -1 4202560 4653 0 0 0 280 92 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192772017240 140192837289360 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4798] ppid=4791 vsize=14134588 CPUtime=3.8 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4798/stat : 4798 (java) R 4791 4791 8571 0 -1 4202560 4283 0 0 0 285 95 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192770964128 140192848747529 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4799] ppid=4791 vsize=14134588 CPUtime=3.68 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4799/stat : 4799 (java) R 4791 4791 8571 0 -1 4202560 5016 0 0 0 278 90 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192769911640 140192840669694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4800] ppid=4791 vsize=14134588 CPUtime=3.79 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4800/stat : 4800 (java) R 4791 4791 8571 0 -1 4202560 4526 0 0 0 285 94 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192768858840 140192848748413 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4801] ppid=4791 vsize=14134588 CPUtime=3.76 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4801/stat : 4801 (java) R 4791 4791 8571 0 -1 4202560 4245 0 0 0 280 96 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192767806040 140192840669730 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4802] ppid=4791 vsize=14134588 CPUtime=3.83 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4802/stat : 4802 (java) R 4791 4791 8571 0 -1 4202560 6961 0 0 0 282 101 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192766753240 140192834836042 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4803] ppid=4791 vsize=14134588 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4803/stat : 4803 (java) S 4791 4791 8571 0 -1 1077944384 4143 0 0 0 5 1 0 0 20 0 21 0 4865920 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192317949344 140192855652053 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4804] ppid=4791 vsize=14134588 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4804/stat : 4804 (java) S 4791 4791 8571 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 4865920 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192316896864 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4805] ppid=4791 vsize=14134588 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4805/stat : 4805 (java) S 4791 4791 8571 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 21 0 4865921 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192315843968 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4806] ppid=4791 vsize=14134588 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4806/stat : 4806 (java) S 4791 4791 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4865924 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192314792272 140192855660443 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4807] ppid=4791 vsize=14134588 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4807/stat : 4807 (java) S 4791 4791 8571 0 -1 1077944384 3064 0 0 0 144 0 0 0 20 0 21 0 4865924 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192313728240 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4808] ppid=4791 vsize=14134588 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4808/stat : 4808 (java) S 4791 4791 8571 0 -1 1077944384 5099 0 0 0 179 1 0 0 20 0 21 0 4865924 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192312666640 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4809] ppid=4791 vsize=14134588 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4809/stat : 4809 (java) S 4791 4791 8571 0 -1 1077944384 4022 0 0 0 182 1 0 0 20 0 21 0 4865924 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192311619024 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4810] ppid=4791 vsize=14134588 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4810/stat : 4810 (java) S 4791 4791 8571 0 -1 1077944384 3273 0 0 0 82 1 0 0 20 0 21 0 4865924 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192310581232 140192855652994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4811] ppid=4791 vsize=14134588 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4811/stat : 4811 (java) S 4791 4791 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4865925 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192309529696 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4812] ppid=4791 vsize=14134588 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4812/stat : 4812 (java) S 4791 4791 8571 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 21 0 4865925 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192308476976 140192855652994 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 11 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
Current children cumulated CPU time (s) 40.55
Current children cumulated vsize (KiB) 14144100
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4792 sig 9
??? kill 4791 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.3022 s]
/proc/loadavg: 13.44 14.27 13.98 23/299 5206
/proc/meminfo: memFree=29992496/32770624 swapFree=5884/293480
[pid=4791] ppid=4788 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4865916 9740288 346 33554432000 4194304 5098028 140722780582448 140722780580552 140476415701628 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32722944 140722780591247 140722780591456 140722780591456 140722780594155 0
/proc/4791/statm: 2378 346 289 221 0 87 0
[pid=4792] ppid=4791 vsize=14134588 CPUtime=40.55 cores=0,2,4,6,8,10,12,14
/proc/4792/stat : 4792 (java) S 4791 4791 8571 0 -1 1077944320 70973 0 0 0 3273 782 0 0 20 0 21 0 4865916 14473818112 509915 33554432000 4194304 4196468 140736071670192 140736071652736 140192855641847 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
/proc/4792/statm: 3533647 509915 3279 1 0 3520880 0
[pid=4792/tid=4793] ppid=4791 vsize=14134588 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4793/stat : 4793 (java) S 4791 4791 8571 0 -1 1077944384 8583 0 0 0 155 9 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192859882624 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4795] ppid=4791 vsize=14134588 CPUtime=3.83 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4795/stat : 4795 (java) R 4791 4791 8571 0 -1 4202560 4299 0 0 0 284 99 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192774122840 140192840669730 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4796] ppid=4791 vsize=14134588 CPUtime=3.81 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4796/stat : 4796 (java) R 4791 4791 8571 0 -1 4202560 6528 0 0 0 287 94 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192773070040 140192848747529 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4797] ppid=4791 vsize=14134588 CPUtime=3.72 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4797/stat : 4797 (java) R 4791 4791 8571 0 -1 4202560 4653 0 0 0 280 92 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192772017240 140192837289360 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4798] ppid=4791 vsize=14134588 CPUtime=3.8 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4798/stat : 4798 (java) R 4791 4791 8571 0 -1 4202560 4283 0 0 0 285 95 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192770964128 140192848747529 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4799] ppid=4791 vsize=14134588 CPUtime=3.68 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4799/stat : 4799 (java) R 4791 4791 8571 0 -1 4202560 5016 0 0 0 278 90 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192769911640 140192840669694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4800] ppid=4791 vsize=14134588 CPUtime=3.79 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4800/stat : 4800 (java) R 4791 4791 8571 0 -1 4202560 4526 0 0 0 285 94 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192768858840 140192848748413 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4801] ppid=4791 vsize=14134588 CPUtime=3.76 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4801/stat : 4801 (java) R 4791 4791 8571 0 -1 4202560 4245 0 0 0 280 96 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192767806040 140192840669730 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4802] ppid=4791 vsize=14134588 CPUtime=3.83 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4802/stat : 4802 (java) R 4791 4791 8571 0 -1 4202560 6961 0 0 0 282 101 0 0 20 0 21 0 4865917 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192766753240 140192834836042 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4803] ppid=4791 vsize=14134588 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4803/stat : 4803 (java) S 4791 4791 8571 0 -1 1077944384 4143 0 0 0 5 1 0 0 20 0 21 0 4865920 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192317949344 140192855652053 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4804] ppid=4791 vsize=14134588 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4804/stat : 4804 (java) S 4791 4791 8571 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 4865920 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192316896864 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4805] ppid=4791 vsize=14134588 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4805/stat : 4805 (java) S 4791 4791 8571 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 21 0 4865921 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192315843968 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4806] ppid=4791 vsize=14134588 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4806/stat : 4806 (java) S 4791 4791 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4865924 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192314792272 140192855660443 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4807] ppid=4791 vsize=14134588 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4807/stat : 4807 (java) S 4791 4791 8571 0 -1 1077944384 3064 0 0 0 144 0 0 0 20 0 21 0 4865924 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192313728240 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4808] ppid=4791 vsize=14134588 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4808/stat : 4808 (java) S 4791 4791 8571 0 -1 1077944384 5099 0 0 0 179 1 0 0 20 0 21 0 4865924 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192312666640 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4809] ppid=4791 vsize=14134588 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4809/stat : 4809 (java) S 4791 4791 8571 0 -1 1077944384 4022 0 0 0 182 1 0 0 20 0 21 0 4865924 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192311619024 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4810] ppid=4791 vsize=14134588 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4810/stat : 4810 (java) S 4791 4791 8571 0 -1 1077944384 3273 0 0 0 82 1 0 0 20 0 21 0 4865924 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192310581232 140192855652994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4811] ppid=4791 vsize=14134588 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4811/stat : 4811 (java) S 4791 4791 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4865925 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192309529696 140192855652053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
[pid=4792/tid=4812] ppid=4791 vsize=14134588 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4792/task/4812/stat : 4812 (java) S 4791 4791 8571 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 21 0 4865925 14473818112 509915 33554432000 4194304 4196468 140736071670192 140192308476976 140192855652994 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 11 0 0 6293624 6294260 27054080 140736071677116 140736071677292 140736071677292 140736071679951 0
Current children cumulated CPU time (s) 40.55
Current children cumulated vsize (KiB) 14144100
Child status: 0
Real time (s): 6.37425
CPU time (s): 40.8272
CPU user time (s): 32.9689
CPU system time (s): 7.85837
CPU usage (%): 640.503
Max. virtual memory (cumulated for all children) (KiB): 14144100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.9689
system time used= 7.85837
maximum resident set size= 2042944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72957
page faults= 0
swaps= 0
block input operations= 48
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5492
involuntary context switches= 2963
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064124 second user time and 0.083463 second system time
The end