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-4255269-1501618464/watcher-4255269-1501618464 -o /tmp/evaluation-result-4255269-1501618464/solver-4255269-1501618464 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10653 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 735308633 HOME/instance-4255269-1501618464.xml
pid=11116
running on 4 cores: 1,3,5,7
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.87 1.80 1.85 5/200 11119
/proc/meminfo: memFree=31788100/32770624 swapFree=0/186356
[pid=11119] ppid=11116 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/11119/stat : 11119 (runsolver) D 11116 11119 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9661705 24240128 108 18446744073709551615 4194304 4338465 140726486175232 140726486172872 140038321644247 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 16764928 140726486179933 140726486180422 140726486180422 140726486183882 0
/proc/11119/statm: 5918 108 54 36 0 2156 0
[startup+0.100132 s]
/proc/loadavg: 1.87 1.80 1.85 5/200 11119
/proc/meminfo: memFree=31788100/32770624 swapFree=0/186356
[pid=11119] ppid=11116 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11119/stat : 11119 (xcsp3-exec) S 11116 11119 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9661705 9740288 345 18446744073709551615 4194304 5098028 140721745764368 140721745762472 139709868601980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21889024 140721745768860 140721745769063 140721745769063 140721745772523 0
/proc/11119/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200328 s]
/proc/loadavg: 1.87 1.80 1.85 5/200 11119
/proc/meminfo: memFree=31788100/32770624 swapFree=0/186356
[pid=11119] ppid=11116 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11119/stat : 11119 (xcsp3-exec) S 11116 11119 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9661705 9740288 345 18446744073709551615 4194304 5098028 140721745764368 140721745762472 139709868601980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21889024 140721745768860 140721745769063 140721745769063 140721745772523 0
/proc/11119/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.303331 s]
/proc/loadavg: 1.87 1.80 1.85 5/200 11119
/proc/meminfo: memFree=31788100/32770624 swapFree=0/186356
[pid=11119] ppid=11116 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11119/stat : 11119 (xcsp3-exec) S 11116 11119 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9661705 9740288 345 18446744073709551615 4194304 5098028 140721745764368 140721745762472 139709868601980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21889024 140721745768860 140721745769063 140721745769063 140721745772523 0
/proc/11119/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.706771 s]
/proc/loadavg: 1.87 1.80 1.85 5/200 11119
/proc/meminfo: memFree=31788100/32770624 swapFree=0/186356
[pid=11119] ppid=11116 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11119/stat : 11119 (xcsp3-exec) S 11116 11119 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9661705 9740288 345 18446744073709551615 4194304 5098028 140721745764368 140721745762472 139709868601980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21889024 140721745768860 140721745769063 140721745769063 140721745772523 0
/proc/11119/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 1.87 1.80 1.85 5/216 11135
/proc/meminfo: memFree=31667944/32770624 swapFree=0/186360
[pid=11119] ppid=11116 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11119/stat : 11119 (xcsp3-exec) S 11116 11119 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9661705 9740288 345 18446744073709551615 4194304 5098028 140721745764368 140721745762472 139709868601980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21889024 140721745768860 140721745769063 140721745769063 140721745772523 0
/proc/11119/statm: 2378 345 289 221 0 87 0
[pid=11121] ppid=11119 vsize=13980732 CPUtime=3.65 cores=1,3,5,7
/proc/11121/stat : 11121 (java) S 11119 11119 5228 0 -1 1077944320 36606 0 0 0 358 7 0 0 20 0 15 0 9661713 14316269568 29562 18446744073709551615 4194304 4196468 140736421498112 140736421480656 140541152386807 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
/proc/11121/statm: 3495183 29562 3173 1 0 3483484 0
[pid=11121/tid=11122] ppid=11119 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/11121/task/11122/stat : 11122 (java) R 11119 11119 5228 0 -1 4202560 8830 0 0 0 133 4 0 0 20 0 15 0 9661713 14316269568 29562 18446744073709551615 4194304 4196468 140736421498112 140541156622528 140540742048711 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11123] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11123/stat : 11123 (java) S 11119 11119 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9661714 14316269568 29562 18446744073709551615 4194304 4196468 140736421498112 140541071801360 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11124] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11124/stat : 11124 (java) S 11119 11119 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9661714 14316269568 29562 18446744073709551615 4194304 4196468 140736421498112 140541070748816 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11125] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11125/stat : 11125 (java) S 11119 11119 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9661714 14316269568 29562 18446744073709551615 4194304 4196468 140736421498112 140541069695760 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11126] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11126/stat : 11126 (java) S 11119 11119 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9661714 14316269568 29562 18446744073709551615 4194304 4196468 140736421498112 140541068643216 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11127] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11127/stat : 11127 (java) S 11119 11119 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9661715 14316269568 29562 18446744073709551615 4194304 4196468 140736421498112 140540630259952 140541152397954 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11128] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11128/stat : 11128 (java) S 11119 11119 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9661716 14316269568 29562 18446744073709551615 4194304 4196468 140736421498112 140540629206176 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11129] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11129/stat : 11129 (java) S 11119 11119 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9661716 14316269568 29562 18446744073709551615 4194304 4196468 140736421498112 140540628153072 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11130] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11130/stat : 11130 (java) S 11119 11119 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661718 14316269568 29562 18446744073709551615 4194304 4196468 140736421498112 140540627101648 140541152405403 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11131] ppid=11119 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/11121/task/11131/stat : 11131 (java) R 11119 11119 5228 0 -1 4202560 10439 0 0 0 92 1 0 0 20 0 15 0 9661718 14316269568 29562 18446744073709551615 4194304 4196468 140736421498112 140540626034120 140541135883547 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11132] ppid=11119 vsize=13980732 CPUtime=0.9 cores=1,3,5,7
/proc/11121/task/11132/stat : 11132 (java) R 11119 11119 5228 0 -1 4202560 13942 0 0 0 89 1 0 0 20 0 15 0 9661718 14316269568 29562 18446744073709551615 4194304 4196468 140736421498112 140540624983256 140541135885672 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11133] ppid=11119 vsize=13980732 CPUtime=0.41 cores=1,3,5,7
/proc/11121/task/11133/stat : 11133 (java) S 11119 11119 5228 0 -1 1077944384 2085 0 0 0 41 0 0 0 20 0 15 0 9661718 14316269568 29562 18446744073709551615 4194304 4196468 140736421498112 140540623944176 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11134] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11134/stat : 11134 (java) S 11119 11119 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661719 14316269568 29562 18446744073709551615 4194304 4196468 140736421498112 140540622891872 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11135] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11135/stat : 11135 (java) S 11119 11119 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661722 14316269568 29562 18446744073709551615 4194304 4196468 140736421498112 140540621838896 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 13990244
[startup+3.10077 s]
/proc/loadavg: 1.87 1.80 1.85 5/216 11135
/proc/meminfo: memFree=31612552/32770624 swapFree=0/186360
[pid=11119] ppid=11116 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11119/stat : 11119 (xcsp3-exec) S 11116 11119 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9661705 9740288 345 18446744073709551615 4194304 5098028 140721745764368 140721745762472 139709868601980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21889024 140721745768860 140721745769063 140721745769063 140721745772523 0
/proc/11119/statm: 2378 345 289 221 0 87 0
[pid=11121] ppid=11119 vsize=13980732 CPUtime=8.49 cores=1,3,5,7
/proc/11121/stat : 11121 (java) S 11119 11119 5228 0 -1 1077944320 45983 0 0 0 840 9 0 0 20 0 15 0 9661713 14316269568 37595 18446744073709551615 4194304 4196468 140736421498112 140736421480656 140541152386807 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
/proc/11121/statm: 3495183 37595 3187 1 0 3483484 0
[pid=11121/tid=11122] ppid=11119 vsize=13980732 CPUtime=2.97 cores=1,3,5,7
/proc/11121/task/11122/stat : 11122 (java) R 11119 11119 5228 0 -1 4202560 9163 0 0 0 293 4 0 0 20 0 15 0 9661713 14316269568 37595 18446744073709551615 4194304 4196468 140736421498112 140541156622016 140540747770170 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11123] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11123/stat : 11123 (java) S 11119 11119 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9661714 14316269568 37595 18446744073709551615 4194304 4196468 140736421498112 140541071801360 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11124] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11124/stat : 11124 (java) S 11119 11119 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9661714 14316269568 37595 18446744073709551615 4194304 4196468 140736421498112 140541070748816 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11125] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11125/stat : 11125 (java) S 11119 11119 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9661714 14316269568 37595 18446744073709551615 4194304 4196468 140736421498112 140541069695760 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11126] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11126/stat : 11126 (java) S 11119 11119 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9661714 14316269568 37595 18446744073709551615 4194304 4196468 140736421498112 140541068643216 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11127] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11127/stat : 11127 (java) S 11119 11119 5228 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 9661715 14316269568 37595 18446744073709551615 4194304 4196468 140736421498112 140540630259952 140541152397954 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11128] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11128/stat : 11128 (java) S 11119 11119 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9661716 14316269568 37595 18446744073709551615 4194304 4196468 140736421498112 140540629206176 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11129] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11129/stat : 11129 (java) S 11119 11119 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9661716 14316269568 37595 18446744073709551615 4194304 4196468 140736421498112 140540628153072 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11130] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11130/stat : 11130 (java) S 11119 11119 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661718 14316269568 37595 18446744073709551615 4194304 4196468 140736421498112 140540627101648 140541152405403 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11131] ppid=11119 vsize=13980732 CPUtime=2.54 cores=1,3,5,7
/proc/11121/task/11131/stat : 11131 (java) R 11119 11119 5228 0 -1 4202560 15697 0 0 0 252 2 0 0 20 0 15 0 9661718 14316269568 37595 18446744073709551615 4194304 4196468 140736421498112 140540626035120 140541131632650 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11132] ppid=11119 vsize=13980732 CPUtime=2.49 cores=1,3,5,7
/proc/11121/task/11132/stat : 11132 (java) R 11119 11119 5228 0 -1 4202560 17462 0 0 0 248 1 0 0 20 0 15 0 9661718 14316269568 37595 18446744073709551615 4194304 4196468 140736421498112 140540624982048 140541136779036 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11133] ppid=11119 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/11121/task/11133/stat : 11133 (java) S 11119 11119 5228 0 -1 1077944384 2302 0 0 0 45 0 0 0 20 0 15 0 9661718 14316269568 37595 18446744073709551615 4194304 4196468 140736421498112 140540623944176 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11134] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11134/stat : 11134 (java) S 11119 11119 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661719 14316269568 37595 18446744073709551615 4194304 4196468 140736421498112 140540622891872 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11135] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11135/stat : 11135 (java) S 11119 11119 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9661722 14316269568 37595 18446744073709551615 4194304 4196468 140736421498112 140540621838896 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
Current children cumulated CPU time (s) 8.49
Current children cumulated vsize (KiB) 13990244
[startup+6.30067 s]
/proc/loadavg: 2.12 1.85 1.87 3/216 11135
/proc/meminfo: memFree=31563016/32770624 swapFree=0/186368
[pid=11119] ppid=11116 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11119/stat : 11119 (xcsp3-exec) S 11116 11119 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9661705 9740288 345 18446744073709551615 4194304 5098028 140721745764368 140721745762472 139709868601980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21889024 140721745768860 140721745769063 140721745769063 140721745772523 0
/proc/11119/statm: 2378 345 289 221 0 87 0
[pid=11121] ppid=11119 vsize=13980732 CPUtime=16.23 cores=1,3,5,7
/proc/11121/stat : 11121 (java) S 11119 11119 5228 0 -1 1077944320 68289 0 0 0 1612 11 0 0 20 0 15 0 9661713 14316269568 43437 18446744073709551615 4194304 4196468 140736421498112 140736421480656 140541152386807 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
/proc/11121/statm: 3495183 43437 3195 1 0 3483484 0
[pid=11121/tid=11122] ppid=11119 vsize=13980732 CPUtime=6.17 cores=1,3,5,7
/proc/11121/task/11122/stat : 11122 (java) R 11119 11119 5228 0 -1 4202560 10765 0 0 0 612 5 0 0 20 0 15 0 9661713 14316269568 43437 18446744073709551615 4194304 4196468 140736421498112 140541156622304 140540748537142 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11123] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11123/stat : 11123 (java) S 11119 11119 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9661714 14316269568 43437 18446744073709551615 4194304 4196468 140736421498112 140541071801360 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11124] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11124/stat : 11124 (java) S 11119 11119 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9661714 14316269568 43437 18446744073709551615 4194304 4196468 140736421498112 140541070748816 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11125] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11125/stat : 11125 (java) S 11119 11119 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9661714 14316269568 43437 18446744073709551615 4194304 4196468 140736421498112 140541069695760 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11126] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11126/stat : 11126 (java) S 11119 11119 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9661714 14316269568 43437 18446744073709551615 4194304 4196468 140736421498112 140541068643216 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11127] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11127/stat : 11127 (java) S 11119 11119 5228 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 15 0 9661715 14316269568 43437 18446744073709551615 4194304 4196468 140736421498112 140540630259952 140541152397954 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11128] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11128/stat : 11128 (java) S 11119 11119 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9661716 14316269568 43437 18446744073709551615 4194304 4196468 140736421498112 140540629206176 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11129] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11129/stat : 11129 (java) S 11119 11119 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9661716 14316269568 43437 18446744073709551615 4194304 4196468 140736421498112 140540628153072 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11130] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11130/stat : 11130 (java) S 11119 11119 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661718 14316269568 43437 18446744073709551615 4194304 4196468 140736421498112 140540627101648 140541152405403 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11131] ppid=11119 vsize=13980732 CPUtime=4.72 cores=1,3,5,7
/proc/11121/task/11131/stat : 11131 (java) R 11119 11119 5228 0 -1 4202560 24629 0 0 0 470 2 0 0 20 0 15 0 9661718 14316269568 43437 18446744073709551615 4194304 4196468 140736421498112 140540626049776 140541137266403 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11132] ppid=11119 vsize=13980732 CPUtime=4.75 cores=1,3,5,7
/proc/11121/task/11132/stat : 11132 (java) S 11119 11119 5228 0 -1 1077944384 28565 0 0 0 473 2 0 0 20 0 15 0 9661718 14316269568 43437 18446744073709551615 4194304 4196468 140736421498112 140540624997232 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11133] ppid=11119 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/11121/task/11133/stat : 11133 (java) S 11119 11119 5228 0 -1 1077944384 2595 0 0 0 55 0 0 0 20 0 15 0 9661718 14316269568 43437 18446744073709551615 4194304 4196468 140736421498112 140540623944176 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11134] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11134/stat : 11134 (java) S 11119 11119 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661719 14316269568 43437 18446744073709551615 4194304 4196468 140736421498112 140540622891872 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11135] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11135/stat : 11135 (java) S 11119 11119 5228 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 9661722 14316269568 43437 18446744073709551615 4194304 4196468 140736421498112 140540621838896 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
Current children cumulated CPU time (s) 16.23
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.19 1.87 1.87 3/215 11135
/proc/meminfo: memFree=31474544/32770624 swapFree=0/186376
[pid=11119] ppid=11116 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11119/stat : 11119 (xcsp3-exec) S 11116 11119 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9661705 9740288 345 18446744073709551615 4194304 5098028 140721745764368 140721745762472 139709868601980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21889024 140721745768860 140721745769063 140721745769063 140721745772523 0
/proc/11119/statm: 2378 345 289 221 0 87 0
[pid=11121] ppid=11119 vsize=13980732 CPUtime=26.73 cores=1,3,5,7
/proc/11121/stat : 11121 (java) S 11119 11119 5228 0 -1 1077944320 98703 0 0 0 2657 16 0 0 20 0 15 0 9661713 14316269568 64131 18446744073709551615 4194304 4196468 140736421498112 140736421480656 140541152386807 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
/proc/11121/statm: 3495183 64131 3213 1 0 3483484 0
[pid=11121/tid=11122] ppid=11119 vsize=13980732 CPUtime=12.56 cores=1,3,5,7
/proc/11121/task/11122/stat : 11122 (java) R 11119 11119 5228 0 -1 4202560 11832 0 0 0 1250 6 0 0 20 0 15 0 9661713 14316269568 64131 18446744073709551615 4194304 4196468 140736421498112 140541156624584 140540747470752 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11123] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11123/stat : 11123 (java) S 11119 11119 5228 0 -1 1077944384 813 0 0 0 0 0 0 0 20 0 15 0 9661714 14316269568 64131 18446744073709551615 4194304 4196468 140736421498112 140541071801360 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11124] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11124/stat : 11124 (java) S 11119 11119 5228 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 9661714 14316269568 64131 18446744073709551615 4194304 4196468 140736421498112 140541070748816 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
################
# More data... #
################
[pid=11121/tid=11128] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11128/stat : 11128 (java) S 11119 11119 5228 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9661716 14316269568 74729 18446744073709551615 4194304 4196468 140736421498112 140540629206240 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11129] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11129/stat : 11129 (java) S 11119 11119 5228 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 9661716 14316269568 74729 18446744073709551615 4194304 4196468 140736421498112 140540628153088 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11130] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11130/stat : 11130 (java) S 11119 11119 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661718 14316269568 74729 18446744073709551615 4194304 4196468 140736421498112 140540627101648 140541152405403 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11131] ppid=11119 vsize=13980732 CPUtime=8.98 cores=1,3,5,7
/proc/11121/task/11131/stat : 11131 (java) S 11119 11119 5228 0 -1 1077944384 53142 0 0 0 893 5 0 0 20 0 15 0 9661718 14316269568 74729 18446744073709551615 4194304 4196468 140736421498112 140540626049776 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11132] ppid=11119 vsize=13980732 CPUtime=8.36 cores=1,3,5,7
/proc/11121/task/11132/stat : 11132 (java) S 11119 11119 5228 0 -1 1077944384 45553 0 0 0 832 4 0 0 20 0 15 0 9661718 14316269568 74729 18446744073709551615 4194304 4196468 140736421498112 140540624997232 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11133] ppid=11119 vsize=13980732 CPUtime=0.79 cores=1,3,5,7
/proc/11121/task/11133/stat : 11133 (java) S 11119 11119 5228 0 -1 1077944384 7941 0 0 0 78 1 0 0 20 0 15 0 9661718 14316269568 74729 18446744073709551615 4194304 4196468 140736421498112 140540623944176 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11134] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11134/stat : 11134 (java) S 11119 11119 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661719 14316269568 74729 18446744073709551615 4194304 4196468 140736421498112 140540622891872 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11135] ppid=11119 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11121/task/11135/stat : 11135 (java) S 11119 11119 5228 0 -1 1077944384 796 0 0 0 0 2 0 0 20 0 15 0 9661722 14316269568 74729 18446744073709551615 4194304 4196468 140736421498112 140540621838896 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
Current children cumulated CPU time (s) 120.7
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.87 1.85 1.86 3/217 11168
/proc/meminfo: memFree=31403432/32770624 swapFree=0/186520
[pid=11119] ppid=11116 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11119/stat : 11119 (xcsp3-exec) S 11116 11119 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9661705 9740288 345 18446744073709551615 4194304 5098028 140721745764368 140721745762472 139709868601980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21889024 140721745768860 140721745769063 140721745769063 140721745772523 0
/proc/11119/statm: 2378 345 289 221 0 87 0
[pid=11121] ppid=11119 vsize=13980732 CPUtime=181.03 cores=1,3,5,7
/proc/11121/stat : 11121 (java) S 11119 11119 5228 0 -1 1077944320 135562 0 0 0 18074 29 0 0 20 0 15 0 9661713 14316269568 72957 18446744073709551615 4194304 4196468 140736421498112 140736421480656 140541152386807 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
/proc/11121/statm: 3495183 72957 3230 1 0 3483484 0
[pid=11121/tid=11122] ppid=11119 vsize=13980732 CPUtime=162 cores=1,3,5,7
/proc/11121/task/11122/stat : 11122 (java) R 11119 11119 5228 0 -1 4202560 16262 0 0 0 16193 7 0 0 20 0 15 0 9661713 14316269568 72957 18446744073709551615 4194304 4196468 140736421498112 140541156623688 140540746907197 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11123] ppid=11119 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/11121/task/11123/stat : 11123 (java) S 11119 11119 5228 0 -1 1077944384 2057 0 0 0 10 2 0 0 20 0 15 0 9661714 14316269568 72957 18446744073709551615 4194304 4196468 140736421498112 140541071801360 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11124] ppid=11119 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/11121/task/11124/stat : 11124 (java) S 11119 11119 5228 0 -1 1077944384 521 0 0 0 11 1 0 0 20 0 15 0 9661714 14316269568 72957 18446744073709551615 4194304 4196468 140736421498112 140541070748816 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11125] ppid=11119 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/11121/task/11125/stat : 11125 (java) S 11119 11119 5228 0 -1 1077944384 618 0 0 0 11 1 0 0 20 0 15 0 9661714 14316269568 72957 18446744073709551615 4194304 4196468 140736421498112 140541069695760 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11126] ppid=11119 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/11121/task/11126/stat : 11126 (java) S 11119 11119 5228 0 -1 1077944384 724 0 0 0 10 2 0 0 20 0 15 0 9661714 14316269568 72957 18446744073709551615 4194304 4196468 140736421498112 140541068643216 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11127] ppid=11119 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11121/task/11127/stat : 11127 (java) S 11119 11119 5228 0 -1 1077944384 1347 0 0 0 3 0 0 0 20 0 15 0 9661715 14316269568 72957 18446744073709551615 4194304 4196468 140736421498112 140540630259952 140541152397954 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11128] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11128/stat : 11128 (java) S 11119 11119 5228 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9661716 14316269568 72957 18446744073709551615 4194304 4196468 140736421498112 140540629206240 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11129] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11129/stat : 11129 (java) S 11119 11119 5228 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 9661716 14316269568 72957 18446744073709551615 4194304 4196468 140736421498112 140540628153088 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11130] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11130/stat : 11130 (java) S 11119 11119 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661718 14316269568 72957 18446744073709551615 4194304 4196468 140736421498112 140540627101648 140541152405403 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11131] ppid=11119 vsize=13980732 CPUtime=9.12 cores=1,3,5,7
/proc/11121/task/11131/stat : 11131 (java) S 11119 11119 5228 0 -1 1077944384 55352 0 0 0 907 5 0 0 20 0 15 0 9661718 14316269568 72957 18446744073709551615 4194304 4196468 140736421498112 140540626049776 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11132] ppid=11119 vsize=13980732 CPUtime=8.48 cores=1,3,5,7
/proc/11121/task/11132/stat : 11132 (java) S 11119 11119 5228 0 -1 1077944384 48138 0 0 0 844 4 0 0 20 0 15 0 9661718 14316269568 72957 18446744073709551615 4194304 4196468 140736421498112 140540624997232 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11133] ppid=11119 vsize=13980732 CPUtime=0.81 cores=1,3,5,7
/proc/11121/task/11133/stat : 11133 (java) S 11119 11119 5228 0 -1 1077944384 8352 0 0 0 79 2 0 0 20 0 15 0 9661718 14316269568 72957 18446744073709551615 4194304 4196468 140736421498112 140540623944176 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11134] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11134/stat : 11134 (java) S 11119 11119 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661719 14316269568 72957 18446744073709551615 4194304 4196468 140736421498112 140540622891872 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11135] ppid=11119 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11121/task/11135/stat : 11135 (java) S 11119 11119 5228 0 -1 1077944384 817 0 0 0 1 2 0 0 20 0 15 0 9661722 14316269568 72957 18446744073709551615 4194304 4196468 140736421498112 140540621838896 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
Current children cumulated CPU time (s) 181.03
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.64 1.77 1.84 3/218 11171
/proc/meminfo: memFree=31416436/32770624 swapFree=0/186552
[pid=11119] ppid=11116 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11119/stat : 11119 (xcsp3-exec) S 11116 11119 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9661705 9740288 345 18446744073709551615 4194304 5098028 140721745764368 140721745762472 139709868601980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21889024 140721745768860 140721745769063 140721745769063 140721745772523 0
/proc/11119/statm: 2378 345 289 221 0 87 0
[pid=11121] ppid=11119 vsize=13980732 CPUtime=241.89 cores=1,3,5,7
/proc/11121/stat : 11121 (java) S 11119 11119 5228 0 -1 1077944320 141844 0 0 0 24157 32 0 0 20 0 15 0 9661713 14316269568 68939 18446744073709551615 4194304 4196468 140736421498112 140736421480656 140541152386807 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
/proc/11121/statm: 3495183 68939 3231 1 0 3483484 0
[pid=11121/tid=11122] ppid=11119 vsize=13980732 CPUtime=221.94 cores=1,3,5,7
/proc/11121/task/11122/stat : 11122 (java) R 11119 11119 5228 0 -1 4202560 16854 0 0 0 22187 7 0 0 20 0 15 0 9661713 14316269568 68939 18446744073709551615 4194304 4196468 140736421498112 140541156625576 140540750636445 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11123] ppid=11119 vsize=13980732 CPUtime=0.18 cores=1,3,5,7
/proc/11121/task/11123/stat : 11123 (java) S 11119 11119 5228 0 -1 1077944384 2128 0 0 0 16 2 0 0 20 0 15 0 9661714 14316269568 68939 18446744073709551615 4194304 4196468 140736421498112 140541071801360 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11124] ppid=11119 vsize=13980732 CPUtime=0.18 cores=1,3,5,7
/proc/11121/task/11124/stat : 11124 (java) S 11119 11119 5228 0 -1 1077944384 554 0 0 0 16 2 0 0 20 0 15 0 9661714 14316269568 68939 18446744073709551615 4194304 4196468 140736421498112 140541070748816 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11125] ppid=11119 vsize=13980732 CPUtime=0.18 cores=1,3,5,7
/proc/11121/task/11125/stat : 11125 (java) S 11119 11119 5228 0 -1 1077944384 680 0 0 0 16 2 0 0 20 0 15 0 9661714 14316269568 68939 18446744073709551615 4194304 4196468 140736421498112 140541069695760 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11126] ppid=11119 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/11121/task/11126/stat : 11126 (java) S 11119 11119 5228 0 -1 1077944384 1040 0 0 0 15 2 0 0 20 0 15 0 9661714 14316269568 68939 18446744073709551615 4194304 4196468 140736421498112 140541068643216 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11127] ppid=11119 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11121/task/11127/stat : 11127 (java) S 11119 11119 5228 0 -1 1077944384 1395 0 0 0 3 0 0 0 20 0 15 0 9661715 14316269568 68939 18446744073709551615 4194304 4196468 140736421498112 140540630259952 140541152397954 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11128] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11128/stat : 11128 (java) S 11119 11119 5228 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9661716 14316269568 68939 18446744073709551615 4194304 4196468 140736421498112 140540629206240 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11129] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11129/stat : 11129 (java) S 11119 11119 5228 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 9661716 14316269568 68939 18446744073709551615 4194304 4196468 140736421498112 140540628153088 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11130] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11130/stat : 11130 (java) S 11119 11119 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661718 14316269568 68939 18446744073709551615 4194304 4196468 140736421498112 140540627101648 140541152405403 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11131] ppid=11119 vsize=13980732 CPUtime=9.24 cores=1,3,5,7
/proc/11121/task/11131/stat : 11131 (java) S 11119 11119 5228 0 -1 1077944384 56587 0 0 0 918 6 0 0 20 0 15 0 9661718 14316269568 68939 18446744073709551615 4194304 4196468 140736421498112 140540626049776 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11132] ppid=11119 vsize=13980732 CPUtime=9.02 cores=1,3,5,7
/proc/11121/task/11132/stat : 11132 (java) S 11119 11119 5228 0 -1 1077944384 50676 0 0 0 898 4 0 0 20 0 15 0 9661718 14316269568 68939 18446744073709551615 4194304 4196468 140736421498112 140540624997232 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11133] ppid=11119 vsize=13980732 CPUtime=0.83 cores=1,3,5,7
/proc/11121/task/11133/stat : 11133 (java) S 11119 11119 5228 0 -1 1077944384 9652 0 0 0 81 2 0 0 20 0 15 0 9661718 14316269568 68939 18446744073709551615 4194304 4196468 140736421498112 140540623944176 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11134] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11134/stat : 11134 (java) S 11119 11119 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661719 14316269568 68939 18446744073709551615 4194304 4196468 140736421498112 140540622891872 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11135] ppid=11119 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/11121/task/11135/stat : 11135 (java) S 11119 11119 5228 0 -1 1077944384 904 0 0 0 1 3 0 0 20 0 15 0 9661722 14316269568 68939 18446744073709551615 4194304 4196468 140736421498112 140540621838896 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
Current children cumulated CPU time (s) 241.89
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.70 1.77 1.84 3/218 11250
/proc/meminfo: memFree=31560500/32770624 swapFree=0/186596
[pid=11119] ppid=11116 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11119/stat : 11119 (xcsp3-exec) S 11116 11119 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9661705 9740288 345 18446744073709551615 4194304 5098028 140721745764368 140721745762472 139709868601980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21889024 140721745768860 140721745769063 140721745769063 140721745772523 0
/proc/11119/statm: 2378 345 289 221 0 87 0
[pid=11121] ppid=11119 vsize=13980732 CPUtime=259.7 cores=1,3,5,7
/proc/11121/stat : 11121 (java) S 11119 11119 5228 0 -1 1077944320 143423 0 0 0 25937 33 0 0 20 0 15 0 9661713 14316269568 68039 18446744073709551615 4194304 4196468 140736421498112 140736421480656 140541152386807 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
/proc/11121/statm: 3495183 68039 3232 1 0 3483484 0
[pid=11121/tid=11122] ppid=11119 vsize=13980732 CPUtime=239.61 cores=1,3,5,7
/proc/11121/task/11122/stat : 11122 (java) R 11119 11119 5228 0 -1 4202560 16886 0 0 0 23954 7 0 0 20 0 15 0 9661713 14316269568 68039 18446744073709551615 4194304 4196468 140736421498112 140541156623960 140540750946467 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11123] ppid=11119 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/11121/task/11123/stat : 11123 (java) S 11119 11119 5228 0 -1 1077944384 2139 0 0 0 18 2 0 0 20 0 15 0 9661714 14316269568 68039 18446744073709551615 4194304 4196468 140736421498112 140541071801360 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11124] ppid=11119 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/11121/task/11124/stat : 11124 (java) S 11119 11119 5228 0 -1 1077944384 574 0 0 0 18 2 0 0 20 0 15 0 9661714 14316269568 68039 18446744073709551615 4194304 4196468 140736421498112 140541070748816 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11125] ppid=11119 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/11121/task/11125/stat : 11125 (java) S 11119 11119 5228 0 -1 1077944384 691 0 0 0 18 2 0 0 20 0 15 0 9661714 14316269568 68039 18446744073709551615 4194304 4196468 140736421498112 140541069695760 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11126] ppid=11119 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/11121/task/11126/stat : 11126 (java) S 11119 11119 5228 0 -1 1077944384 1046 0 0 0 17 2 0 0 20 0 15 0 9661714 14316269568 68039 18446744073709551615 4194304 4196468 140736421498112 140541068643216 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11127] ppid=11119 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11121/task/11127/stat : 11127 (java) S 11119 11119 5228 0 -1 1077944384 1397 0 0 0 3 0 0 0 20 0 15 0 9661715 14316269568 68039 18446744073709551615 4194304 4196468 140736421498112 140540630259952 140541152397954 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11128] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11128/stat : 11128 (java) S 11119 11119 5228 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9661716 14316269568 68039 18446744073709551615 4194304 4196468 140736421498112 140540629206240 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11129] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11129/stat : 11129 (java) S 11119 11119 5228 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 9661716 14316269568 68039 18446744073709551615 4194304 4196468 140736421498112 140540628153088 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11130] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11130/stat : 11130 (java) S 11119 11119 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661718 14316269568 68039 18446744073709551615 4194304 4196468 140736421498112 140540627101648 140541152405403 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11131] ppid=11119 vsize=13980732 CPUtime=9.28 cores=1,3,5,7
/proc/11121/task/11131/stat : 11131 (java) S 11119 11119 5228 0 -1 1077944384 57082 0 0 0 922 6 0 0 20 0 15 0 9661718 14316269568 68039 18446744073709551615 4194304 4196468 140736421498112 140540626049776 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11132] ppid=11119 vsize=13980732 CPUtime=9.02 cores=1,3,5,7
/proc/11121/task/11132/stat : 11132 (java) S 11119 11119 5228 0 -1 1077944384 51038 0 0 0 898 4 0 0 20 0 15 0 9661718 14316269568 68039 18446744073709551615 4194304 4196468 140736421498112 140540624997232 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11133] ppid=11119 vsize=13980732 CPUtime=0.83 cores=1,3,5,7
/proc/11121/task/11133/stat : 11133 (java) S 11119 11119 5228 0 -1 1077944384 10292 0 0 0 81 2 0 0 20 0 15 0 9661718 14316269568 68039 18446744073709551615 4194304 4196468 140736421498112 140540623944176 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11134] ppid=11119 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11121/task/11134/stat : 11134 (java) S 11119 11119 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9661719 14316269568 68039 18446744073709551615 4194304 4196468 140736421498112 140540622891872 140541152397013 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
[pid=11121/tid=11135] ppid=11119 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/11121/task/11135/stat : 11135 (java) S 11119 11119 5228 0 -1 1077944384 904 0 0 0 2 3 0 0 20 0 15 0 9661722 14316269568 68039 18446744073709551615 4194304 4196468 140736421498112 140540621838896 140541152397954 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140736421503444 140736421503619 140736421503619 140736421507023 0
Current children cumulated CPU time (s) 259.7
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11121 sig 9
??? kill 11119 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11119 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1701
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=128
# CPU time returned by wait4() is 0.001829
# while last known CPU time is 259.7
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 259.7
CPU user time (s): 259.37
CPU system time (s): 0.33
CPU usage (%): 108.204
Max. virtual memory (cumulated for all children) (KiB): 13994392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001701
system time used= 0.000128
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.992627 second user time and 1.51665 second system time
The end