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-4255074-1501620873/watcher-4255074-1501620873 -o /tmp/evaluation-result-4255074-1501620873/solver-4255074-1501620873 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9377 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 903059482 HOME/instance-4255074-1501620873.xml
pid=14937
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 1.96 1.89 1.81 3/200 14940
/proc/meminfo: memFree=31755508/32770624 swapFree=0/169572
[pid=14940] ppid=14937 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/14940/stat : 14940 (runsolver) D 14937 14940 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 3997931 24240128 106 18446744073709551615 4194304 4338465 140727232273312 140727232270952 139743953011415 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 12066816 140727232278623 140727232279111 140727232279111 140727232282570 0
/proc/14940/statm: 5918 106 53 36 0 2156 0
[startup+0.103716 s]
/proc/loadavg: 1.96 1.89 1.81 3/200 14940
/proc/meminfo: memFree=31755508/32770624 swapFree=0/169572
[pid=14940] ppid=14937 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14940/stat : 14940 (xcsp3-exec) S 14937 14940 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3997931 9740288 344 18446744073709551615 4194304 5098028 140721970465744 140721970463848 140546821059196 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 8224768 140721970467229 140721970467432 140721970467432 140721970470891 0
/proc/14940/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200311 s]
/proc/loadavg: 1.96 1.89 1.81 3/200 14940
/proc/meminfo: memFree=31755508/32770624 swapFree=0/169572
[pid=14940] ppid=14937 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14940/stat : 14940 (xcsp3-exec) S 14937 14940 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3997931 9740288 344 18446744073709551615 4194304 5098028 140721970465744 140721970463848 140546821059196 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 8224768 140721970467229 140721970467432 140721970467432 140721970470891 0
/proc/14940/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30269 s]
/proc/loadavg: 1.96 1.89 1.81 3/200 14940
/proc/meminfo: memFree=31755508/32770624 swapFree=0/169572
[pid=14940] ppid=14937 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14940/stat : 14940 (xcsp3-exec) S 14937 14940 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3997931 9740288 344 18446744073709551615 4194304 5098028 140721970465744 140721970463848 140546821059196 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 8224768 140721970467229 140721970467432 140721970467432 140721970470891 0
/proc/14940/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701898 s]
/proc/loadavg: 1.96 1.89 1.81 3/200 14940
/proc/meminfo: memFree=31755508/32770624 swapFree=0/169572
[pid=14940] ppid=14937 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14940/stat : 14940 (xcsp3-exec) S 14937 14940 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3997931 9740288 344 18446744073709551615 4194304 5098028 140721970465744 140721970463848 140546821059196 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 8224768 140721970467229 140721970467432 140721970467432 140721970470891 0
/proc/14940/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 1.96 1.89 1.81 5/216 14956
/proc/meminfo: memFree=31642880/32770624 swapFree=0/169588
[pid=14940] ppid=14937 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14940/stat : 14940 (xcsp3-exec) S 14937 14940 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3997931 9740288 344 18446744073709551615 4194304 5098028 140721970465744 140721970463848 140546821059196 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 8224768 140721970467229 140721970467432 140721970467432 140721970470891 0
/proc/14940/statm: 2378 344 289 221 0 87 0
[pid=14942] ppid=14940 vsize=13980732 CPUtime=3.77 cores=0,2,4,6
/proc/14942/stat : 14942 (java) S 14940 14940 3187 0 -1 1077944320 26675 0 0 0 369 8 0 0 20 0 15 0 3997937 14316269568 28195 18446744073709551615 4194304 4196468 140722104634704 140722104617248 139692421324535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
/proc/14942/statm: 3495183 28195 3190 1 0 3483484 0
[pid=14942/tid=14943] ppid=14940 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/14942/task/14943/stat : 14943 (java) R 14940 14940 3187 0 -1 4202560 9671 0 0 0 133 4 0 0 20 0 15 0 3997937 14316269568 28195 18446744073709551615 4194304 4196468 140722104634704 139692425563592 139692020066816 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14944] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14944/stat : 14944 (java) S 14940 14940 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3997938 14316269568 28195 18446744073709551615 4194304 4196468 140722104634704 139692340738448 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14945] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14945/stat : 14945 (java) S 14940 14940 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3997938 14316269568 28195 18446744073709551615 4194304 4196468 140722104634704 139692339685648 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14946] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14946/stat : 14946 (java) S 14940 14940 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3997938 14316269568 28195 18446744073709551615 4194304 4196468 140722104634704 139692338633360 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14947] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14947/stat : 14947 (java) S 14940 14940 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3997938 14316269568 28195 18446744073709551615 4194304 4196468 140722104634704 139692337580560 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14948] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14948/stat : 14948 (java) S 14940 14940 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3997939 14316269568 28195 18446744073709551615 4194304 4196468 140722104634704 139691899976304 139692421335682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14949] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14949/stat : 14949 (java) S 14940 14940 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3997940 14316269568 28195 18446744073709551615 4194304 4196468 140722104634704 139691898922272 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14950] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14950/stat : 14950 (java) S 14940 14940 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3997940 14316269568 28195 18446744073709551615 4194304 4196468 140722104634704 139691897869936 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14951] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14951/stat : 14951 (java) S 14940 14940 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3997942 14316269568 28195 18446744073709551615 4194304 4196468 140722104634704 139691896818256 139692421343131 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14952] ppid=14940 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/14942/task/14952/stat : 14952 (java) R 14940 14940 3187 0 -1 4202560 5308 0 0 0 94 0 0 0 20 0 15 0 3997942 14316269568 28195 18446744073709551615 4194304 4196468 140722104634704 139691895750904 139692406432060 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14953] ppid=14940 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/14942/task/14953/stat : 14953 (java) R 14940 14940 3187 0 -1 4202560 7090 0 0 0 89 1 0 0 20 0 15 0 3997942 14316269568 28195 18446744073709551615 4194304 4196468 140722104634704 139691894697768 139692016140395 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14954] ppid=14940 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/14942/task/14954/stat : 14954 (java) S 14940 14940 3187 0 -1 1077944384 3294 0 0 0 51 1 0 0 20 0 15 0 3997942 14316269568 28195 18446744073709551615 4194304 4196468 140722104634704 139691893660016 139692421335682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14955] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14955/stat : 14955 (java) S 14940 14940 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3997943 14316269568 28195 18446744073709551615 4194304 4196468 140722104634704 139691892607456 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14956] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14956/stat : 14956 (java) S 14940 14940 3187 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 3997947 14316269568 28195 18446744073709551615 4194304 4196468 140722104634704 139691891555248 139692421335682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14942 sig 9
??? kill 14940 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6026 s]
/proc/loadavg: 1.96 1.89 1.81 5/216 14956
/proc/meminfo: memFree=31642880/32770624 swapFree=0/169588
[pid=14940] ppid=14937 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14940/stat : 14940 (xcsp3-exec) S 14937 14940 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3997931 9740288 344 18446744073709551615 4194304 5098028 140721970465744 140721970463848 140546821059196 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 8224768 140721970467229 140721970467432 140721970467432 140721970470891 0
/proc/14940/statm: 2378 344 289 221 0 87 0
[pid=14942] ppid=14940 vsize=13980732 CPUtime=4.08 cores=0,2,4,6
/proc/14942/stat : 14942 (java) S 14940 14940 3187 0 -1 1077944320 26872 0 0 0 400 8 0 0 20 0 15 0 3997937 14316269568 29424 18446744073709551615 4194304 4196468 140722104634704 140722104617248 139692421324535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
/proc/14942/statm: 3495183 29424 3191 1 0 3483484 0
[pid=14942/tid=14943] ppid=14940 vsize=13980732 CPUtime=1.48 cores=0,2,4,6
/proc/14942/task/14943/stat : 14943 (java) R 14940 14940 3187 0 -1 4202560 9683 0 0 0 144 4 0 0 20 0 15 0 3997937 14316269568 29424 18446744073709551615 4194304 4196468 140722104634704 139692425563592 139692021770775 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14944] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14944/stat : 14944 (java) S 14940 14940 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3997938 14316269568 29424 18446744073709551615 4194304 4196468 140722104634704 139692340738448 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14945] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14945/stat : 14945 (java) S 14940 14940 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3997938 14316269568 29424 18446744073709551615 4194304 4196468 140722104634704 139692339685648 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14946] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14946/stat : 14946 (java) S 14940 14940 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3997938 14316269568 29424 18446744073709551615 4194304 4196468 140722104634704 139692338633360 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14947] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14947/stat : 14947 (java) S 14940 14940 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3997938 14316269568 29424 18446744073709551615 4194304 4196468 140722104634704 139692337580560 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14948] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14948/stat : 14948 (java) S 14940 14940 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3997939 14316269568 29424 18446744073709551615 4194304 4196468 140722104634704 139691899976304 139692421335682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14949] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14949/stat : 14949 (java) S 14940 14940 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3997940 14316269568 29424 18446744073709551615 4194304 4196468 140722104634704 139691898922272 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14950] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14950/stat : 14950 (java) S 14940 14940 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3997940 14316269568 29424 18446744073709551615 4194304 4196468 140722104634704 139691897869936 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14951] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14951/stat : 14951 (java) S 14940 14940 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3997942 14316269568 29424 18446744073709551615 4194304 4196468 140722104634704 139691896818256 139692421343131 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14952] ppid=14940 vsize=13980732 CPUtime=1.04 cores=0,2,4,6
/proc/14942/task/14952/stat : 14952 (java) R 14940 14940 3187 0 -1 4202560 5476 0 0 0 104 0 0 0 20 0 15 0 3997942 14316269568 29424 18446744073709551615 4194304 4196468 140722104634704 139691895750904 139692405719472 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14953] ppid=14940 vsize=13980732 CPUtime=1 cores=0,2,4,6
/proc/14942/task/14953/stat : 14953 (java) R 14940 14940 3187 0 -1 4202560 7106 0 0 0 99 1 0 0 20 0 15 0 3997942 14316269568 29424 18446744073709551615 4194304 4196468 140722104634704 139691894697768 139692406433143 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14954] ppid=14940 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/14942/task/14954/stat : 14954 (java) S 14940 14940 3187 0 -1 1077944384 3295 0 0 0 51 1 0 0 20 0 15 0 3997942 14316269568 29424 18446744073709551615 4194304 4196468 140722104634704 139691893660016 139692421335682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14955] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14955/stat : 14955 (java) S 14940 14940 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3997943 14316269568 29424 18446744073709551615 4194304 4196468 140722104634704 139691892607456 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14956] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14956/stat : 14956 (java) S 14940 14940 3187 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 3997947 14316269568 29424 18446744073709551615 4194304 4196468 140722104634704 139691891555248 139692421335682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 13990244
[startup+2.40065 s]
/proc/loadavg: 1.96 1.89 1.81 5/216 14956
/proc/meminfo: memFree=31586248/32770624 swapFree=0/169588
[pid=14940] ppid=14937 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14940/stat : 14940 (xcsp3-exec) S 14937 14940 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3997931 9740288 344 18446744073709551615 4194304 5098028 140721970465744 140721970463848 140546821059196 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 8224768 140721970467229 140721970467432 140721970467432 140721970470891 0
/proc/14940/statm: 2378 344 289 221 0 87 0
[pid=14942] ppid=14940 vsize=13980732 CPUtime=6.51 cores=0,2,4,6
/proc/14942/stat : 14942 (java) S 14940 14940 3187 0 -1 1077944320 28577 0 0 0 642 9 0 0 20 0 15 0 3997937 14316269568 39381 18446744073709551615 4194304 4196468 140722104634704 140722104617248 139692421324535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
/proc/14942/statm: 3495183 39381 3195 1 0 3483484 0
[pid=14942/tid=14943] ppid=14940 vsize=13980732 CPUtime=2.28 cores=0,2,4,6
/proc/14942/task/14943/stat : 14943 (java) R 14940 14940 3187 0 -1 4202560 9836 0 0 0 223 5 0 0 20 0 15 0 3997937 14316269568 39381 18446744073709551615 4194304 4196468 140722104634704 139692425561688 139692021291704 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14944] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14944/stat : 14944 (java) S 14940 14940 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3997938 14316269568 39381 18446744073709551615 4194304 4196468 140722104634704 139692340738448 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14945] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14945/stat : 14945 (java) S 14940 14940 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3997938 14316269568 39381 18446744073709551615 4194304 4196468 140722104634704 139692339685648 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14946] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14946/stat : 14946 (java) S 14940 14940 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3997938 14316269568 39381 18446744073709551615 4194304 4196468 140722104634704 139692338633360 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14947] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14947/stat : 14947 (java) S 14940 14940 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3997938 14316269568 39381 18446744073709551615 4194304 4196468 140722104634704 139692337580560 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14948] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14948/stat : 14948 (java) S 14940 14940 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3997939 14316269568 39381 18446744073709551615 4194304 4196468 140722104634704 139691899976304 139692421335682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14949] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14949/stat : 14949 (java) S 14940 14940 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3997940 14316269568 39381 18446744073709551615 4194304 4196468 140722104634704 139691898922272 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14950] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14950/stat : 14950 (java) S 14940 14940 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3997940 14316269568 39381 18446744073709551615 4194304 4196468 140722104634704 139691897869936 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14951] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14951/stat : 14951 (java) S 14940 14940 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3997942 14316269568 39381 18446744073709551615 4194304 4196468 140722104634704 139691896818256 139692421343131 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14952] ppid=14940 vsize=13980732 CPUtime=1.84 cores=0,2,4,6
/proc/14942/task/14952/stat : 14952 (java) R 14940 14940 3187 0 -1 4202560 6664 0 0 0 184 0 0 0 20 0 15 0 3997942 14316269568 39381 18446744073709551615 4194304 4196468 140722104634704 139691895750984 139692406245585 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14953] ppid=14940 vsize=13980732 CPUtime=1.78 cores=0,2,4,6
/proc/14942/task/14953/stat : 14953 (java) R 14940 14940 3187 0 -1 4202560 7357 0 0 0 177 1 0 0 20 0 15 0 3997942 14316269568 39381 18446744073709551615 4194304 4196468 140722104634704 139691894705232 139692401017635 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14954] ppid=14940 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/14942/task/14954/stat : 14954 (java) R 14940 14940 3187 0 -1 1077944384 3376 0 0 0 56 1 0 0 20 0 15 0 3997942 14316269568 39381 18446744073709551615 4194304 4196468 140722104634704 139691893660016 139692421335682 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14955] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14955/stat : 14955 (java) S 14940 14940 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3997943 14316269568 39381 18446744073709551615 4194304 4196468 140722104634704 139691892607456 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14956] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14956/stat : 14956 (java) S 14940 14940 3187 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 3997947 14316269568 39381 18446744073709551615 4194304 4196468 140722104634704 139691891555248 139692421335682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
Current children cumulated CPU time (s) 6.51
Current children cumulated vsize (KiB) 13990244
[startup+2.60076 s]
/proc/loadavg: 1.96 1.89 1.81 5/216 14956
/proc/meminfo: memFree=31586248/32770624 swapFree=0/169588
[pid=14940] ppid=14937 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14940/stat : 14940 (xcsp3-exec) S 14937 14940 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3997931 9740288 344 18446744073709551615 4194304 5098028 140721970465744 140721970463848 140546821059196 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 8224768 140721970467229 140721970467432 140721970467432 140721970470891 0
/proc/14940/statm: 2378 344 289 221 0 87 0
[pid=14942] ppid=14940 vsize=13980732 CPUtime=7.11 cores=0,2,4,6
/proc/14942/stat : 14942 (java) S 14940 14940 3187 0 -1 1077944320 28924 0 0 0 702 9 0 0 20 0 15 0 3997937 14316269568 40770 18446744073709551615 4194304 4196468 140722104634704 140722104617248 139692421324535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
/proc/14942/statm: 3495183 40770 3196 1 0 3483484 0
[pid=14942/tid=14943] ppid=14940 vsize=13980732 CPUtime=2.47 cores=0,2,4,6
/proc/14942/task/14943/stat : 14943 (java) R 14940 14940 3187 0 -1 4202560 9853 0 0 0 242 5 0 0 20 0 15 0 3997937 14316269568 40770 18446744073709551615 4194304 4196468 140722104634704 139692425560832 139692421336470 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14944] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14944/stat : 14944 (java) S 14940 14940 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3997938 14316269568 40770 18446744073709551615 4194304 4196468 140722104634704 139692340738448 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14945] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14945/stat : 14945 (java) S 14940 14940 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3997938 14316269568 40770 18446744073709551615 4194304 4196468 140722104634704 139692339685648 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14946] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14946/stat : 14946 (java) S 14940 14940 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3997938 14316269568 40770 18446744073709551615 4194304 4196468 140722104634704 139692338633360 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14947] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14947/stat : 14947 (java) S 14940 14940 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3997938 14316269568 40770 18446744073709551615 4194304 4196468 140722104634704 139692337580560 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14948] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14948/stat : 14948 (java) S 14940 14940 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3997939 14316269568 40770 18446744073709551615 4194304 4196468 140722104634704 139691899976304 139692421335682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14949] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14949/stat : 14949 (java) S 14940 14940 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3997940 14316269568 40770 18446744073709551615 4194304 4196468 140722104634704 139691898922272 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14950] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14950/stat : 14950 (java) S 14940 14940 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3997940 14316269568 40770 18446744073709551615 4194304 4196468 140722104634704 139691897869936 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14951] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14951/stat : 14951 (java) S 14940 14940 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3997942 14316269568 40770 18446744073709551615 4194304 4196468 140722104634704 139691896818256 139692421343131 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14952] ppid=14940 vsize=13980732 CPUtime=2.04 cores=0,2,4,6
/proc/14942/task/14952/stat : 14952 (java) R 14940 14940 3187 0 -1 4202560 6956 0 0 0 204 0 0 0 20 0 15 0 3997942 14316269568 40770 18446744073709551615 4194304 4196468 140722104634704 139691895746672 139692406439590 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14953] ppid=14940 vsize=13980732 CPUtime=1.98 cores=0,2,4,6
/proc/14942/task/14953/stat : 14953 (java) R 14940 14940 3187 0 -1 4202560 7381 0 0 0 197 1 0 0 20 0 15 0 3997942 14316269568 40770 18446744073709551615 4194304 4196468 140722104634704 139691894712304 139692406206343 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14954] ppid=14940 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/14942/task/14954/stat : 14954 (java) R 14940 14940 3187 0 -1 4202560 3390 0 0 0 57 1 0 0 20 0 15 0 3997942 14316269568 40770 18446744073709551615 4194304 4196468 140722104634704 139691893660016 139692421345882 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14955] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14955/stat : 14955 (java) S 14940 14940 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3997943 14316269568 40770 18446744073709551615 4194304 4196468 140722104634704 139691892607456 139692421334741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
[pid=14942/tid=14956] ppid=14940 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14942/task/14956/stat : 14956 (java) S 14940 14940 3187 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 3997947 14316269568 40770 18446744073709551615 4194304 4196468 140722104634704 139691891555248 139692421335682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140722104639957 140722104640132 140722104640132 140722104643535 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 2.62427
CPU time (s): 7.1558
CPU user time (s): 7.05176
CPU system time (s): 0.104038
CPU usage (%): 272.677
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.05176
system time used= 0.104038
maximum resident set size= 165832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29694
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2469
involuntary context switches= 21
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015493 second user time and 0.018398 second system time
The end