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-4245897-1500686714/watcher-4245897-1500686714 -o /tmp/evaluation-result-4245897-1500686714/solver-4245897-1500686714 -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 953792168 HOME/instance-4245897-1500686714.xml
pid=17863
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: 5.66 9.99 11.94 3/262 17866
/proc/meminfo: memFree=24309244/32770624 swapFree=5860/270568
[pid=17866] ppid=17863 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17866/stat : 17866 (xcsp3-exec) S 17863 17866 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3938797 9740288 346 33554432000 4194304 5098028 140728792604624 140728792602728 140450192159356 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20168704 140728792609935 140728792610144 140728792610144 140728792612843 0
/proc/17866/statm: 2378 346 289 221 0 87 0
[startup+0.100123 s]
/proc/loadavg: 5.66 9.99 11.94 3/262 17866
/proc/meminfo: memFree=24309244/32770624 swapFree=5860/270568
[pid=17866] ppid=17863 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17866/stat : 17866 (xcsp3-exec) S 17863 17866 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3938797 9740288 346 33554432000 4194304 5098028 140728792604624 140728792602728 140450192159356 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20168704 140728792609935 140728792610144 140728792610144 140728792612843 0
/proc/17866/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200381 s]
/proc/loadavg: 5.66 9.99 11.94 3/262 17866
/proc/meminfo: memFree=24309244/32770624 swapFree=5860/270568
[pid=17866] ppid=17863 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17866/stat : 17866 (xcsp3-exec) S 17863 17866 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3938797 9740288 346 33554432000 4194304 5098028 140728792604624 140728792602728 140450192159356 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20168704 140728792609935 140728792610144 140728792610144 140728792612843 0
/proc/17866/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300317 s]
/proc/loadavg: 5.66 9.99 11.94 3/262 17866
/proc/meminfo: memFree=24309244/32770624 swapFree=5860/270568
[pid=17866] ppid=17863 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17866/stat : 17866 (xcsp3-exec) S 17863 17866 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3938797 9740288 346 33554432000 4194304 5098028 140728792604624 140728792602728 140450192159356 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20168704 140728792609935 140728792610144 140728792610144 140728792612843 0
/proc/17866/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700211 s]
/proc/loadavg: 5.66 9.99 11.94 3/262 17866
/proc/meminfo: memFree=24309244/32770624 swapFree=5860/270568
[pid=17866] ppid=17863 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17866/stat : 17866 (xcsp3-exec) S 17863 17866 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3938797 9740288 346 33554432000 4194304 5098028 140728792604624 140728792602728 140450192159356 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20168704 140728792609935 140728792610144 140728792610144 140728792612843 0
/proc/17866/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50109 s]
/proc/loadavg: 5.66 9.99 11.94 4/283 17887
/proc/meminfo: memFree=24126756/32770624 swapFree=5860/270656
[pid=17866] ppid=17863 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17866/stat : 17866 (xcsp3-exec) S 17863 17866 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3938797 9740288 346 33554432000 4194304 5098028 140728792604624 140728792602728 140450192159356 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20168704 140728792609935 140728792610144 140728792610144 140728792612843 0
/proc/17866/statm: 2378 346 289 221 0 87 0
[pid=17867] ppid=17866 vsize=13269256 CPUtime=5.55 cores=0,2,4,6,8,10,12,14
/proc/17867/stat : 17867 (java) S 17866 17866 7411 0 -1 1077944320 24336 0 0 0 530 25 0 0 20 0 20 0 3938797 13587718144 62785 33554432000 4194304 4196468 140722671180336 140722671162880 140104881958647 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
/proc/17867/statm: 3317314 62785 3246 1 0 3304547 0
[pid=17867/tid=17868] ppid=17866 vsize=13269256 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17868/stat : 17868 (java) R 17866 17866 7411 0 -1 4202560 6833 0 0 0 135 6 0 0 20 0 20 0 3938798 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104886194312 140104520339147 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17870] ppid=17866 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17870/stat : 17870 (java) S 17866 17866 7411 0 -1 1077944384 50 0 0 0 2 2 0 0 20 0 20 0 3938798 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104480959248 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17871] ppid=17866 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17871/stat : 17871 (java) S 17866 17866 7411 0 -1 1077944384 37 0 0 0 2 1 0 0 20 0 20 0 3938798 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104479906704 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17872] ppid=17866 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17872/stat : 17872 (java) S 17866 17866 7411 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 20 0 3938798 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104478854160 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17873] ppid=17866 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17873/stat : 17873 (java) S 17866 17866 7411 0 -1 1077944384 83 0 0 0 2 2 0 0 20 0 20 0 3938798 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104477801616 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17874] ppid=17866 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17874/stat : 17874 (java) S 17866 17866 7411 0 -1 1077944384 229 0 0 0 2 1 0 0 20 0 20 0 3938798 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104476748048 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17875] ppid=17866 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17875/stat : 17875 (java) S 17866 17866 7411 0 -1 1077944384 75 0 0 0 2 1 0 0 20 0 20 0 3938798 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104475695504 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17876] ppid=17866 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17876/stat : 17876 (java) S 17866 17866 7411 0 -1 1077944384 36 0 0 0 2 1 0 0 20 0 20 0 3938798 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104474642960 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17877] ppid=17866 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17877/stat : 17877 (java) S 17866 17866 7411 0 -1 1077944384 78 0 0 0 2 2 0 0 20 0 20 0 3938799 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104473590416 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17878] ppid=17866 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17878/stat : 17878 (java) S 17866 17866 7411 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 20 0 3938800 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104075872752 140104881969794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17879] ppid=17866 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17879/stat : 17879 (java) S 17866 17866 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 3938801 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104074819040 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17880] ppid=17866 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17880/stat : 17880 (java) S 17866 17866 7411 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3938801 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104073766400 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17881] ppid=17866 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17881/stat : 17881 (java) S 17866 17866 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3938805 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104072714960 140104881977243 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17882] ppid=17866 vsize=13269256 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17882/stat : 17882 (java) R 17866 17866 7411 0 -1 4202560 3925 0 0 0 103 0 0 0 20 0 20 0 3938805 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104071641240 140104865490138 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17883] ppid=17866 vsize=13269256 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17883/stat : 17883 (java) R 17866 17866 7411 0 -1 4202560 3476 0 0 0 103 1 0 0 20 0 20 0 3938805 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104070601496 140104865459016 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17884] ppid=17866 vsize=13269256 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17884/stat : 17884 (java) R 17866 17866 7411 0 -1 4202560 4209 0 0 0 107 1 0 0 20 0 20 0 3938805 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104069542480 140104861129683 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17885] ppid=17866 vsize=13269256 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17885/stat : 17885 (java) S 17866 17866 7411 0 -1 1077944384 3750 0 0 0 60 0 0 0 20 0 20 0 3938805 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104068503920 140104881969794 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17886] ppid=17866 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17886/stat : 17886 (java) S 17866 17866 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3938805 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104067451616 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17887] ppid=17866 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17887/stat : 17887 (java) S 17866 17866 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3938806 13587718144 62785 33554432000 4194304 4196468 140722671180336 140104066399152 140104881969794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 13278768
[startup+3.10117 s]
/proc/loadavg: 5.66 9.99 11.94 10/283 17887
/proc/meminfo: memFree=23870584/32770624 swapFree=5860/270656
[pid=17866] ppid=17863 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17866/stat : 17866 (xcsp3-exec) S 17863 17866 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3938797 9740288 346 33554432000 4194304 5098028 140728792604624 140728792602728 140450192159356 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20168704 140728792609935 140728792610144 140728792610144 140728792612843 0
/proc/17866/statm: 2378 346 289 221 0 87 0
[pid=17867] ppid=17866 vsize=13801768 CPUtime=12.51 cores=0,2,4,6,8,10,12,14
/proc/17867/stat : 17867 (java) S 17866 17866 7411 0 -1 1077944320 29526 0 0 0 1160 91 0 0 20 0 28 0 3938797 14133010432 142891 33554432000 4194304 4196468 140722671180336 140722671162880 140104881958647 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
/proc/17867/statm: 3450442 142891 3250 1 0 3437675 0
[pid=17867/tid=17868] ppid=17866 vsize=13801768 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17868/stat : 17868 (java) S 17866 17866 7411 0 -1 1077944384 8102 0 0 0 231 9 0 0 20 0 28 0 3938798 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104886199424 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17870] ppid=17866 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17870/stat : 17870 (java) S 17866 17866 7411 0 -1 1077944384 124 0 0 0 9 9 0 0 20 0 28 0 3938798 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104480959248 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17871] ppid=17866 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17871/stat : 17871 (java) S 17866 17866 7411 0 -1 1077944384 659 0 0 0 10 10 0 0 20 0 28 0 3938798 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104479906704 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17872] ppid=17866 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17872/stat : 17872 (java) S 17866 17866 7411 0 -1 1077944384 273 0 0 0 9 9 0 0 20 0 28 0 3938798 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104478854160 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17873] ppid=17866 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17873/stat : 17873 (java) S 17866 17866 7411 0 -1 1077944384 169 0 0 0 9 8 0 0 20 0 28 0 3938798 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104477801616 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17874] ppid=17866 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17874/stat : 17874 (java) S 17866 17866 7411 0 -1 1077944384 315 0 0 0 10 9 0 0 20 0 28 0 3938798 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104476748048 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17875] ppid=17866 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17875/stat : 17875 (java) S 17866 17866 7411 0 -1 1077944384 198 0 0 0 10 9 0 0 20 0 28 0 3938798 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104475695504 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17876] ppid=17866 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17876/stat : 17876 (java) S 17866 17866 7411 0 -1 1077944384 103 0 0 0 10 10 0 0 20 0 28 0 3938798 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104474642960 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17877] ppid=17866 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17877/stat : 17877 (java) S 17866 17866 7411 0 -1 1077944384 179 0 0 0 10 8 0 0 20 0 28 0 3938799 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104473590416 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17878] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17878/stat : 17878 (java) S 17866 17866 7411 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 28 0 3938800 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104075872752 140104881969794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17879] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17879/stat : 17879 (java) S 17866 17866 7411 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3938801 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104074819040 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17880] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17880/stat : 17880 (java) S 17866 17866 7411 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3938801 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104073766400 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17881] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17881/stat : 17881 (java) S 17866 17866 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3938805 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104072714960 140104881977243 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17882] ppid=17866 vsize=13801768 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17882/stat : 17882 (java) R 17866 17866 7411 0 -1 4202560 4145 0 0 0 180 0 0 0 20 0 28 0 3938805 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104071649632 140104866839972 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17883] ppid=17866 vsize=13801768 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17883/stat : 17883 (java) R 17866 17866 7411 0 -1 4202560 4520 0 0 0 184 1 0 0 20 0 28 0 3938805 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104070595032 140104863481562 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17884] ppid=17866 vsize=13801768 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17884/stat : 17884 (java) R 17866 17866 7411 0 -1 4202560 4395 0 0 0 186 1 0 0 20 0 28 0 3938805 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104069544032 140104865455173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17885] ppid=17866 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17885/stat : 17885 (java) S 17866 17866 7411 0 -1 1077944384 4151 0 0 0 81 1 0 0 20 0 28 0 3938805 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104068503920 140104881969794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17886] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17886/stat : 17886 (java) S 17866 17866 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3938805 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104067451616 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17887] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17887/stat : 17887 (java) S 17866 17866 7411 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3938806 14133010432 142891 33554432000 4194304 4196468 140722671180336 140104066399152 140104881969794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17867 sig 9
??? kill 17866 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2015 s]
/proc/loadavg: 5.66 9.99 11.94 10/283 17887
/proc/meminfo: memFree=23870584/32770624 swapFree=5860/270656
[pid=17866] ppid=17863 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17866/stat : 17866 (xcsp3-exec) S 17863 17866 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3938797 9740288 346 33554432000 4194304 5098028 140728792604624 140728792602728 140450192159356 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20168704 140728792609935 140728792610144 140728792610144 140728792612843 0
/proc/17866/statm: 2378 346 289 221 0 87 0
[pid=17867] ppid=17866 vsize=13801768 CPUtime=13.31 cores=0,2,4,6,8,10,12,14
/proc/17867/stat : 17867 (java) S 17866 17866 7411 0 -1 1077944320 29849 0 0 0 1240 91 0 0 20 0 28 0 3938797 14133010432 143187 33554432000 4194304 4196468 140722671180336 140722671162880 140104881958647 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
/proc/17867/statm: 3450442 143187 3250 1 0 3437675 0
[pid=17867/tid=17868] ppid=17866 vsize=13801768 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17868/stat : 17868 (java) S 17866 17866 7411 0 -1 1077944384 8102 0 0 0 231 9 0 0 20 0 28 0 3938798 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104886199424 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17870] ppid=17866 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17870/stat : 17870 (java) S 17866 17866 7411 0 -1 1077944384 124 0 0 0 9 9 0 0 20 0 28 0 3938798 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104480959248 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17871] ppid=17866 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17871/stat : 17871 (java) S 17866 17866 7411 0 -1 1077944384 659 0 0 0 10 10 0 0 20 0 28 0 3938798 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104479906704 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17872] ppid=17866 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17872/stat : 17872 (java) S 17866 17866 7411 0 -1 1077944384 273 0 0 0 9 9 0 0 20 0 28 0 3938798 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104478854160 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17873] ppid=17866 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17873/stat : 17873 (java) S 17866 17866 7411 0 -1 1077944384 169 0 0 0 9 8 0 0 20 0 28 0 3938798 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104477801616 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17874] ppid=17866 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17874/stat : 17874 (java) S 17866 17866 7411 0 -1 1077944384 315 0 0 0 10 9 0 0 20 0 28 0 3938798 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104476748048 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17875] ppid=17866 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17875/stat : 17875 (java) S 17866 17866 7411 0 -1 1077944384 198 0 0 0 10 9 0 0 20 0 28 0 3938798 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104475695504 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17876] ppid=17866 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17876/stat : 17876 (java) S 17866 17866 7411 0 -1 1077944384 103 0 0 0 10 10 0 0 20 0 28 0 3938798 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104474642960 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17877] ppid=17866 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17877/stat : 17877 (java) S 17866 17866 7411 0 -1 1077944384 179 0 0 0 10 8 0 0 20 0 28 0 3938799 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104473590416 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17878] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17878/stat : 17878 (java) S 17866 17866 7411 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 28 0 3938800 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104075872752 140104881969794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17879] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17879/stat : 17879 (java) S 17866 17866 7411 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3938801 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104074819040 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17880] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17880/stat : 17880 (java) S 17866 17866 7411 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3938801 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104073766400 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17881] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17881/stat : 17881 (java) S 17866 17866 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3938805 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104072714960 140104881977243 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17882] ppid=17866 vsize=13801768 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17882/stat : 17882 (java) R 17866 17866 7411 0 -1 4202560 4157 0 0 0 187 0 0 0 20 0 28 0 3938805 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104071643920 140104859553440 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17883] ppid=17866 vsize=13801768 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17883/stat : 17883 (java) R 17866 17866 7411 0 -1 4202560 4817 0 0 0 194 1 0 0 20 0 28 0 3938805 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104070595032 140104863482085 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17884] ppid=17866 vsize=13801768 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17884/stat : 17884 (java) R 17866 17866 7411 0 -1 4202560 4395 0 0 0 191 1 0 0 20 0 28 0 3938805 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104069543008 140104863481937 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17885] ppid=17866 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17885/stat : 17885 (java) S 17866 17866 7411 0 -1 1077944384 4164 0 0 0 82 1 0 0 20 0 28 0 3938805 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104068503920 140104881969794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17886] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17886/stat : 17886 (java) S 17866 17866 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3938805 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104067451616 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17887] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17887/stat : 17887 (java) S 17866 17866 7411 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3938806 14133010432 143187 33554432000 4194304 4196468 140722671180336 140104066399152 140104881969794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
Current children cumulated CPU time (s) 13.31
Current children cumulated vsize (KiB) 13811280
[startup+3.60152 s]
/proc/loadavg: 5.66 9.99 11.94 13/291 17895
/proc/meminfo: memFree=23746536/32770624 swapFree=5860/270656
[pid=17866] ppid=17863 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17866/stat : 17866 (xcsp3-exec) S 17863 17866 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3938797 9740288 346 33554432000 4194304 5098028 140728792604624 140728792602728 140450192159356 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20168704 140728792609935 140728792610144 140728792610144 140728792612843 0
/proc/17866/statm: 2378 346 289 221 0 87 0
[pid=17867] ppid=17866 vsize=13801768 CPUtime=16.48 cores=0,2,4,6,8,10,12,14
/proc/17867/stat : 17867 (java) S 17866 17866 7411 0 -1 1077944320 30431 0 0 0 1557 91 0 0 20 0 28 0 3938797 14133010432 143676 33554432000 4194304 4196468 140722671180336 140722671162880 140104881958647 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
/proc/17867/statm: 3450442 143676 3268 1 0 3437675 0
[pid=17867/tid=17868] ppid=17866 vsize=13801768 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17868/stat : 17868 (java) S 17866 17866 7411 0 -1 1077944384 8102 0 0 0 231 9 0 0 20 0 28 0 3938798 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104886199424 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17870] ppid=17866 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17870/stat : 17870 (java) S 17866 17866 7411 0 -1 1077944384 124 0 0 0 9 9 0 0 20 0 28 0 3938798 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104480959248 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17871] ppid=17866 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17871/stat : 17871 (java) S 17866 17866 7411 0 -1 1077944384 659 0 0 0 10 10 0 0 20 0 28 0 3938798 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104479906704 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17872] ppid=17866 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17872/stat : 17872 (java) S 17866 17866 7411 0 -1 1077944384 273 0 0 0 9 9 0 0 20 0 28 0 3938798 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104478854160 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17873] ppid=17866 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17873/stat : 17873 (java) S 17866 17866 7411 0 -1 1077944384 169 0 0 0 9 8 0 0 20 0 28 0 3938798 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104477801616 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17874] ppid=17866 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17874/stat : 17874 (java) S 17866 17866 7411 0 -1 1077944384 315 0 0 0 10 9 0 0 20 0 28 0 3938798 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104476748048 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17875] ppid=17866 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17875/stat : 17875 (java) S 17866 17866 7411 0 -1 1077944384 198 0 0 0 10 9 0 0 20 0 28 0 3938798 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104475695504 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17876] ppid=17866 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17876/stat : 17876 (java) S 17866 17866 7411 0 -1 1077944384 103 0 0 0 10 10 0 0 20 0 28 0 3938798 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104474642960 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17877] ppid=17866 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17877/stat : 17877 (java) S 17866 17866 7411 0 -1 1077944384 179 0 0 0 10 8 0 0 20 0 28 0 3938799 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104473590416 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17878] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17878/stat : 17878 (java) S 17866 17866 7411 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 28 0 3938800 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104075872752 140104881969794 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17879] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17879/stat : 17879 (java) S 17866 17866 7411 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3938801 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104074819040 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17880] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17880/stat : 17880 (java) S 17866 17866 7411 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3938801 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104073766400 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17881] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17881/stat : 17881 (java) S 17866 17866 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3938805 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104072714960 140104881977243 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17882] ppid=17866 vsize=13801768 CPUtime=2.05 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17882/stat : 17882 (java) S 17866 17866 7411 0 -1 1077944384 4255 0 0 0 205 0 0 0 20 0 28 0 3938805 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104071661552 140104881969794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17883] ppid=17866 vsize=13801768 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17883/stat : 17883 (java) S 17866 17866 7411 0 -1 1077944384 4893 0 0 0 214 1 0 0 20 0 28 0 3938805 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104070609008 140104881969794 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17884] ppid=17866 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17884/stat : 17884 (java) S 17866 17866 7411 0 -1 1077944384 4604 0 0 0 211 1 0 0 20 0 28 0 3938805 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104069556464 140104881969794 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17885] ppid=17866 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17885/stat : 17885 (java) S 17866 17866 7411 0 -1 1077944384 4355 0 0 0 88 1 0 0 20 0 28 0 3938805 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104068503920 140104881969794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17886] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17886/stat : 17886 (java) S 17866 17866 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3938805 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104067451616 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17887] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17887/stat : 17887 (java) S 17866 17866 7411 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3938806 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104066399152 140104881969794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17888] ppid=17866 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17888/stat : 17888 (java) R 17866 17866 7411 0 -1 4202560 70 0 0 0 71 0 0 0 20 0 28 0 3939063 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104058383112 140104526392406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17889] ppid=17866 vsize=13801768 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17889/stat : 17889 (java) R 17866 17866 7411 0 -1 4202560 43 0 0 0 69 0 0 0 20 0 28 0 3939063 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104057334824 140104526223026 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17890] ppid=17866 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17890/stat : 17890 (java) R 17866 17866 7411 0 -1 4202560 54 0 0 0 72 0 0 0 20 0 28 0 3939063 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104056280936 140104526223380 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17891] ppid=17866 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17891/stat : 17891 (java) R 17866 17866 7411 0 -1 4202560 67 0 0 0 64 0 0 0 20 0 28 0 3939063 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104055228584 140104874779518 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17892] ppid=17866 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17892/stat : 17892 (java) R 17866 17866 7411 0 -1 4202560 40 0 0 0 61 0 0 0 20 0 28 0 3939063 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104054173880 140104526222785 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17893] ppid=17866 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17893/stat : 17893 (java) R 17866 17866 7411 0 -1 4202560 34 0 0 0 60 0 0 0 20 0 28 0 3939063 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104053123248 140104527044960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17894] ppid=17866 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17894/stat : 17894 (java) R 17866 17866 7411 0 -1 4202560 52 0 0 0 68 0 0 0 20 0 28 0 3939063 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104052071000 140104526223076 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17895] ppid=17866 vsize=13801768 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17895/stat : 17895 (java) R 17866 17866 7411 0 -1 4202560 36 0 0 0 55 0 0 0 20 0 28 0 3939063 14133010432 143676 33554432000 4194304 4196468 140722671180336 140104051015944 140104526713108 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
Current children cumulated CPU time (s) 16.48
Current children cumulated vsize (KiB) 13811280
[startup+3.70153 s]
/proc/loadavg: 5.66 9.99 11.94 13/291 17895
/proc/meminfo: memFree=23746536/32770624 swapFree=5860/270656
[pid=17866] ppid=17863 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17866/stat : 17866 (xcsp3-exec) S 17863 17866 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3938797 9740288 346 33554432000 4194304 5098028 140728792604624 140728792602728 140450192159356 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20168704 140728792609935 140728792610144 140728792610144 140728792612843 0
/proc/17866/statm: 2378 346 289 221 0 87 0
[pid=17867] ppid=17866 vsize=13801768 CPUtime=17.23 cores=0,2,4,6,8,10,12,14
/proc/17867/stat : 17867 (java) S 17866 17866 7411 0 -1 1077944320 30484 0 0 0 1632 91 0 0 20 0 20 0 3938797 14133010432 145283 33554432000 4194304 4196468 140722671180336 140722671162880 140104881958647 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
/proc/17867/statm: 3450442 145283 3272 1 0 3437675 0
[pid=17867/tid=17868] ppid=17866 vsize=13801768 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17868/stat : 17868 (java) R 17866 17866 7411 0 -1 4202560 8103 0 0 0 232 9 0 0 20 0 20 0 3938798 14133010432 145283 33554432000 4194304 4196468 140722671180336 140104886189296 140104881980477 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17870] ppid=17866 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17870/stat : 17870 (java) S 17866 17866 7411 0 -1 1077944384 124 0 0 0 9 9 0 0 20 0 20 0 3938798 14133010432 145283 33554432000 4194304 4196468 140722671180336 140104480959248 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17871] ppid=17866 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17871/stat : 17871 (java) S 17866 17866 7411 0 -1 1077944384 659 0 0 0 10 10 0 0 20 0 20 0 3938798 14133010432 145283 33554432000 4194304 4196468 140722671180336 140104479906704 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17872] ppid=17866 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17872/stat : 17872 (java) S 17866 17866 7411 0 -1 1077944384 273 0 0 0 9 9 0 0 20 0 20 0 3938798 14133010432 145283 33554432000 4194304 4196468 140722671180336 140104478854160 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17873] ppid=17866 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17873/stat : 17873 (java) S 17866 17866 7411 0 -1 1077944384 169 0 0 0 9 8 0 0 20 0 20 0 3938798 14133010432 145283 33554432000 4194304 4196468 140722671180336 140104477801616 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17874] ppid=17866 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17874/stat : 17874 (java) S 17866 17866 7411 0 -1 1077944384 315 0 0 0 10 9 0 0 20 0 20 0 3938798 14133010432 145283 33554432000 4194304 4196468 140722671180336 140104476748048 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17875] ppid=17866 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17875/stat : 17875 (java) S 17866 17866 7411 0 -1 1077944384 198 0 0 0 10 9 0 0 20 0 20 0 3938798 14133010432 145283 33554432000 4194304 4196468 140722671180336 140104475695504 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17876] ppid=17866 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17876/stat : 17876 (java) S 17866 17866 7411 0 -1 1077944384 103 0 0 0 10 10 0 0 20 0 20 0 3938798 14133010432 145283 33554432000 4194304 4196468 140722671180336 140104474642960 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17877] ppid=17866 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17877/stat : 17877 (java) S 17866 17866 7411 0 -1 1077944384 179 0 0 0 10 8 0 0 20 0 20 0 3938799 14133010432 145283 33554432000 4194304 4196468 140722671180336 140104473590416 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17878] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17878/stat : 17878 (java) S 17866 17866 7411 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 20 0 3938800 14133010432 145283 33554432000 4194304 4196468 140722671180336 140104075872752 140104881969794 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17879] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17879/stat : 17879 (java) S 17866 17866 7411 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 3938801 14133010432 145283 33554432000 4194304 4196468 140722671180336 140104074819040 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17880] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17880/stat : 17880 (java) S 17866 17866 7411 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 3938801 14133010432 145283 33554432000 4194304 4196468 140722671180336 140104073766400 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17881] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17881/stat : 17881 (java) S 17866 17866 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3938805 14133010432 145283 33554432000 4194304 4196468 140722671180336 140104072714960 140104881977243 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17882] ppid=17866 vsize=13801768 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17882/stat : 17882 (java) R 17866 17866 7411 0 -1 4202560 4260 0 0 0 208 0 0 0 20 0 20 0 3938805 14133010432 145283 33554432000 4194304 4196468 140722671180336 140104071661848 140104867973839 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17883] ppid=17866 vsize=13801768 CPUtime=2.19 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17883/stat : 17883 (java) R 17866 17866 7411 0 -1 4202560 4902 0 0 0 218 1 0 0 20 0 20 0 3938805 14133010432 145283 33554432000 4194304 4196468 140722671180336 140104070600336 140104865457801 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17884] ppid=17866 vsize=13801768 CPUtime=2.17 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17884/stat : 17884 (java) R 17866 17866 7411 0 -1 4202560 4612 0 0 0 216 1 0 0 20 0 20 0 3938805 14133010432 145283 33554432000 4194304 4196468 140722671180336 140104069545344 140104867972948 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17885] ppid=17866 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17885/stat : 17885 (java) S 17866 17866 7411 0 -1 1077944384 4365 0 0 0 88 1 0 0 20 0 20 0 3938805 14133010432 145290 33554432000 4194304 4196468 140722671180336 140104068503920 140104881969794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17886] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17886/stat : 17886 (java) S 17866 17866 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3938805 14133010432 145290 33554432000 4194304 4196468 140722671180336 140104067451616 140104881968853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
[pid=17867/tid=17887] ppid=17866 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17867/task/17887/stat : 17887 (java) S 17866 17866 7411 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 3938806 14133010432 145290 33554432000 4194304 4196468 140722671180336 140104066399152 140104881969794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33546240 140722671183036 140722671183212 140722671183212 140722671185871 0
Current children cumulated CPU time (s) 17.23
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 3.72058
CPU time (s): 17.2629
CPU user time (s): 16.3373
CPU system time (s): 0.925609
CPU usage (%): 463.985
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.3373
system time used= 0.925609
maximum resident set size= 583828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31076
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3585
involuntary context switches= 1529
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031147 second user time and 0.057272 second system time
The end