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-4254082-1501614993/watcher-4254082-1501614993 -o /tmp/evaluation-result-4254082-1501614993/solver-4254082-1501614993 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5151 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 551075768 HOME/instance-4254082-1501614993.xml
pid=8189
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.99 2.00 1.88 4/198 8192
/proc/meminfo: memFree=31733020/32770624 swapFree=0/183900
[pid=8192] ppid=8189 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/8192/stat : 8192 (runsolver) D 8189 8192 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10122368 24240128 106 18446744073709551615 4194304 4338465 140728771533664 140728771531304 140262834574039 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 33292288 140728771534942 140728771535430 140728771535430 140728771538890 0
/proc/8192/statm: 5918 106 53 36 0 2156 0
[startup+0.100064 s]
/proc/loadavg: 1.99 2.00 1.88 4/198 8192
/proc/meminfo: memFree=31733020/32770624 swapFree=0/183900
[pid=8192] ppid=8189 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8192/stat : 8192 (xcsp3-exec) S 8189 8192 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10122368 9740288 344 18446744073709551615 4194304 5098028 140730357619472 140730357617576 139849803600508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 40157184 140730357625244 140730357625447 140730357625447 140730357628907 0
/proc/8192/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.201032 s]
/proc/loadavg: 1.99 2.00 1.88 4/198 8192
/proc/meminfo: memFree=31733020/32770624 swapFree=0/183900
[pid=8192] ppid=8189 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8192/stat : 8192 (xcsp3-exec) S 8189 8192 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10122368 9740288 344 18446744073709551615 4194304 5098028 140730357619472 140730357617576 139849803600508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 40157184 140730357625244 140730357625447 140730357625447 140730357628907 0
/proc/8192/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300272 s]
/proc/loadavg: 1.99 2.00 1.88 4/198 8192
/proc/meminfo: memFree=31733020/32770624 swapFree=0/183900
[pid=8192] ppid=8189 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8192/stat : 8192 (xcsp3-exec) S 8189 8192 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10122368 9740288 344 18446744073709551615 4194304 5098028 140730357619472 140730357617576 139849803600508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 40157184 140730357625244 140730357625447 140730357625447 140730357628907 0
/proc/8192/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700691 s]
/proc/loadavg: 1.99 2.00 1.88 4/198 8192
/proc/meminfo: memFree=31733020/32770624 swapFree=0/183900
[pid=8192] ppid=8189 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8192/stat : 8192 (xcsp3-exec) S 8189 8192 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10122368 9740288 344 18446744073709551615 4194304 5098028 140730357619472 140730357617576 139849803600508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 40157184 140730357625244 140730357625447 140730357625447 140730357628907 0
/proc/8192/statm: 2378 344 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.99 2.00 1.88 5/214 8208
/proc/meminfo: memFree=31672740/32770624 swapFree=0/183940
[pid=8192] ppid=8189 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8192/stat : 8192 (xcsp3-exec) S 8189 8192 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10122368 9740288 344 18446744073709551615 4194304 5098028 140730357619472 140730357617576 139849803600508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 40157184 140730357625244 140730357625447 140730357625447 140730357628907 0
/proc/8192/statm: 2378 344 289 221 0 87 0
[pid=8194] ppid=8192 vsize=13982388 CPUtime=3.43 cores=0,2,4,6
/proc/8194/stat : 8194 (java) S 8192 8192 5091 0 -1 1077944320 23755 0 0 0 336 7 0 0 20 0 15 0 10122373 14317965312 25937 18446744073709551615 4194304 4196468 140728270657168 140728270639712 140135600975607 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
/proc/8194/statm: 3495597 25937 3179 1 0 3483898 0
[pid=8194/tid=8195] ppid=8192 vsize=13982388 CPUtime=1.4 cores=0,2,4,6
/proc/8194/task/8195/stat : 8195 (java) R 8192 8192 5091 0 -1 4202560 8958 0 0 0 136 4 0 0 20 0 15 0 10122373 14317965312 25937 18446744073709551615 4194304 4196468 140728270657168 140135605213872 140135208063120 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8196] ppid=8192 vsize=13982388 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8196/stat : 8196 (java) S 8192 8192 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10122374 14317965312 25937 18446744073709551615 4194304 4196468 140728270657168 140135535410064 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8197] ppid=8192 vsize=13982388 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8197/stat : 8197 (java) S 8192 8192 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10122374 14317965312 25937 18446744073709551615 4194304 4196468 140728270657168 140135534357264 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8198] ppid=8192 vsize=13982388 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8198/stat : 8198 (java) S 8192 8192 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10122374 14317965312 25937 18446744073709551615 4194304 4196468 140728270657168 140135533304976 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8199] ppid=8192 vsize=13982388 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8199/stat : 8199 (java) S 8192 8192 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10122374 14317965312 25937 18446744073709551615 4194304 4196468 140728270657168 140135532252176 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8200] ppid=8192 vsize=13982388 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8200/stat : 8200 (java) S 8192 8192 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10122375 14317965312 25937 18446744073709551615 4194304 4196468 140728270657168 140134786189424 140135600986754 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8201] ppid=8192 vsize=13982388 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8201/stat : 8201 (java) S 8192 8192 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10122376 14317965312 25937 18446744073709551615 4194304 4196468 140728270657168 140134785135392 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8202] ppid=8192 vsize=13982388 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8202/stat : 8202 (java) S 8192 8192 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10122376 14317965312 25937 18446744073709551615 4194304 4196468 140728270657168 140134380987504 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8203] ppid=8192 vsize=13982388 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8203/stat : 8203 (java) S 8192 8192 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10122378 14317965312 25937 18446744073709551615 4194304 4196468 140728270657168 140134379935824 140135600994203 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8204] ppid=8192 vsize=13982388 CPUtime=0.76 cores=0,2,4,6
/proc/8194/task/8204/stat : 8204 (java) R 8192 8192 5091 0 -1 4202560 5355 0 0 0 75 1 0 0 20 0 15 0 10122378 14317965312 25937 18446744073709551615 4194304 4196468 140728270657168 140134378869880 140135582499927 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8205] ppid=8192 vsize=13982388 CPUtime=0.77 cores=0,2,4,6
/proc/8194/task/8205/stat : 8205 (java) R 8192 8192 5091 0 -1 4202560 5909 0 0 0 77 0 0 0 20 0 15 0 10122378 14317965312 25937 18446744073709551615 4194304 4196468 140728270657168 140134377815512 140135586099186 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8206] ppid=8192 vsize=13982388 CPUtime=0.46 cores=0,2,4,6
/proc/8194/task/8206/stat : 8206 (java) S 8192 8192 5091 0 -1 1077944384 2225 0 0 0 46 0 0 0 20 0 15 0 10122378 14317965312 25937 18446744073709551615 4194304 4196468 140728270657168 140134376778608 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8207] ppid=8192 vsize=13982388 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8207/stat : 8207 (java) S 8192 8192 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10122379 14317965312 25937 18446744073709551615 4194304 4196468 140728270657168 140134375726048 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8208] ppid=8192 vsize=13982388 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8208/stat : 8208 (java) S 8192 8192 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10122383 14317965312 25937 18446744073709551615 4194304 4196468 140728270657168 140134374672816 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 13991900
[startup+3.10057 s]
/proc/loadavg: 2.15 2.03 1.89 5/214 8208
/proc/meminfo: memFree=31625176/32770624 swapFree=0/183940
[pid=8192] ppid=8189 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8192/stat : 8192 (xcsp3-exec) S 8189 8192 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10122368 9740288 344 18446744073709551615 4194304 5098028 140730357619472 140730357617576 139849803600508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 40157184 140730357625244 140730357625447 140730357625447 140730357628907 0
/proc/8192/statm: 2378 344 289 221 0 87 0
[pid=8194] ppid=8192 vsize=13980732 CPUtime=6.28 cores=0,2,4,6
/proc/8194/stat : 8194 (java) S 8192 8192 5091 0 -1 1077944320 30730 0 0 0 620 8 0 0 20 0 15 0 10122373 14316269568 30772 18446744073709551615 4194304 4196468 140728270657168 140728270639712 140135600975607 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
/proc/8194/statm: 3495183 30772 3181 1 0 3483484 0
[pid=8194/tid=8195] ppid=8192 vsize=13980732 CPUtime=3 cores=0,2,4,6
/proc/8194/task/8195/stat : 8195 (java) R 8192 8192 5091 0 -1 4202560 9390 0 0 0 296 4 0 0 20 0 15 0 10122373 14316269568 30772 18446744073709551615 4194304 4196468 140728270657168 140135605214568 140135207421411 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8196] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8196/stat : 8196 (java) S 8192 8192 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10122374 14316269568 30772 18446744073709551615 4194304 4196468 140728270657168 140135535410064 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8197] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8197/stat : 8197 (java) S 8192 8192 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10122374 14316269568 30772 18446744073709551615 4194304 4196468 140728270657168 140135534357264 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8198] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8198/stat : 8198 (java) S 8192 8192 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10122374 14316269568 30772 18446744073709551615 4194304 4196468 140728270657168 140135533304976 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8199] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8199/stat : 8199 (java) S 8192 8192 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10122374 14316269568 30772 18446744073709551615 4194304 4196468 140728270657168 140135532252176 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8200] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8200/stat : 8200 (java) S 8192 8192 5091 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 10122375 14316269568 30772 18446744073709551615 4194304 4196468 140728270657168 140134786189424 140135600986754 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8201] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8201/stat : 8201 (java) S 8192 8192 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10122376 14316269568 30772 18446744073709551615 4194304 4196468 140728270657168 140134785135392 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8202] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8202/stat : 8202 (java) S 8192 8192 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10122376 14316269568 30772 18446744073709551615 4194304 4196468 140728270657168 140134380987504 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8203] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8203/stat : 8203 (java) S 8192 8192 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10122378 14316269568 30772 18446744073709551615 4194304 4196468 140728270657168 140134379935824 140135600994203 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8204] ppid=8192 vsize=13980732 CPUtime=1.43 cores=0,2,4,6
/proc/8194/task/8204/stat : 8204 (java) S 8192 8192 5091 0 -1 1077944384 8675 0 0 0 142 1 0 0 20 0 15 0 10122378 14316269568 30772 18446744073709551615 4194304 4196468 140728270657168 140134378883696 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8205] ppid=8192 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/8194/task/8205/stat : 8205 (java) S 8192 8192 5091 0 -1 1077944384 8831 0 0 0 133 1 0 0 20 0 15 0 10122378 14316269568 30772 18446744073709551615 4194304 4196468 140728270657168 140134377830896 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8206] ppid=8192 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/8194/task/8206/stat : 8206 (java) S 8192 8192 5091 0 -1 1077944384 2477 0 0 0 48 0 0 0 20 0 15 0 10122378 14316269568 30772 18446744073709551615 4194304 4196468 140728270657168 140134376778608 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8207] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8207/stat : 8207 (java) S 8192 8192 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10122379 14316269568 30772 18446744073709551615 4194304 4196468 140728270657168 140134375726048 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8208] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8208/stat : 8208 (java) S 8192 8192 5091 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 10122383 14316269568 30772 18446744073709551615 4194304 4196468 140728270657168 140134374672816 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13990244
[startup+6.30069 s]
/proc/loadavg: 2.15 2.03 1.89 3/214 8208
/proc/meminfo: memFree=31625880/32770624 swapFree=0/183940
[pid=8192] ppid=8189 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8192/stat : 8192 (xcsp3-exec) S 8189 8192 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10122368 9740288 344 18446744073709551615 4194304 5098028 140730357619472 140730357617576 139849803600508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 40157184 140730357625244 140730357625447 140730357625447 140730357628907 0
/proc/8192/statm: 2378 344 289 221 0 87 0
[pid=8194] ppid=8192 vsize=13980732 CPUtime=9.52 cores=0,2,4,6
/proc/8194/stat : 8194 (java) S 8192 8192 5091 0 -1 1077944320 34124 0 0 0 944 8 0 0 20 0 15 0 10122373 14316269568 30221 18446744073709551615 4194304 4196468 140728270657168 140728270639712 140135600975607 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
/proc/8194/statm: 3495183 30221 3186 1 0 3483484 0
[pid=8194/tid=8195] ppid=8192 vsize=13980732 CPUtime=6.19 cores=0,2,4,6
/proc/8194/task/8195/stat : 8195 (java) R 8192 8192 5091 0 -1 4202560 9941 0 0 0 615 4 0 0 20 0 15 0 10122373 14316269568 30221 18446744073709551615 4194304 4196468 140728270657168 140135605212320 140135208045247 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8196] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8196/stat : 8196 (java) S 8192 8192 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10122374 14316269568 30221 18446744073709551615 4194304 4196468 140728270657168 140135535410064 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8197] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8197/stat : 8197 (java) S 8192 8192 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10122374 14316269568 30221 18446744073709551615 4194304 4196468 140728270657168 140135534357264 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8198] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8198/stat : 8198 (java) S 8192 8192 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10122374 14316269568 30221 18446744073709551615 4194304 4196468 140728270657168 140135533304976 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8199] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8199/stat : 8199 (java) S 8192 8192 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10122374 14316269568 30221 18446744073709551615 4194304 4196468 140728270657168 140135532252176 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8200] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8200/stat : 8200 (java) S 8192 8192 5091 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 10122375 14316269568 30221 18446744073709551615 4194304 4196468 140728270657168 140134786189424 140135600986754 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8201] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8201/stat : 8201 (java) S 8192 8192 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10122376 14316269568 30221 18446744073709551615 4194304 4196468 140728270657168 140134785135392 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8202] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8202/stat : 8202 (java) S 8192 8192 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10122376 14316269568 30221 18446744073709551615 4194304 4196468 140728270657168 140134380987504 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8203] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8203/stat : 8203 (java) S 8192 8192 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10122378 14316269568 30221 18446744073709551615 4194304 4196468 140728270657168 140134379935824 140135600994203 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8204] ppid=8192 vsize=13980732 CPUtime=1.44 cores=0,2,4,6
/proc/8194/task/8204/stat : 8204 (java) S 8192 8192 5091 0 -1 1077944384 8772 0 0 0 143 1 0 0 20 0 15 0 10122378 14316269568 30221 18446744073709551615 4194304 4196468 140728270657168 140134378883696 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8205] ppid=8192 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/8194/task/8205/stat : 8205 (java) S 8192 8192 5091 0 -1 1077944384 9542 0 0 0 136 1 0 0 20 0 15 0 10122378 14316269568 30221 18446744073709551615 4194304 4196468 140728270657168 140134377830896 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8206] ppid=8192 vsize=13980732 CPUtime=0.49 cores=0,2,4,6
/proc/8194/task/8206/stat : 8206 (java) S 8192 8192 5091 0 -1 1077944384 3049 0 0 0 49 0 0 0 20 0 15 0 10122378 14316269568 30221 18446744073709551615 4194304 4196468 140728270657168 140134376778608 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8207] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8207/stat : 8207 (java) S 8192 8192 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10122379 14316269568 30221 18446744073709551615 4194304 4196468 140728270657168 140134375726048 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8208] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8208/stat : 8208 (java) S 8192 8192 5091 0 -1 1077944384 1166 0 0 0 0 0 0 0 20 0 15 0 10122383 14316269568 30221 18446744073709551615 4194304 4196468 140728270657168 140134374672816 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
Current children cumulated CPU time (s) 9.52
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.13 2.03 1.90 3/212 8208
/proc/meminfo: memFree=31602608/32770624 swapFree=0/183944
[pid=8192] ppid=8189 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8192/stat : 8192 (xcsp3-exec) S 8189 8192 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10122368 9740288 344 18446744073709551615 4194304 5098028 140730357619472 140730357617576 139849803600508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 40157184 140730357625244 140730357625447 140730357625447 140730357628907 0
/proc/8192/statm: 2378 344 289 221 0 87 0
[pid=8194] ppid=8192 vsize=13980732 CPUtime=16.15 cores=0,2,4,6
/proc/8194/stat : 8194 (java) S 8192 8192 5091 0 -1 1077944320 38984 0 0 0 1606 9 0 0 20 0 15 0 10122373 14316269568 36406 18446744073709551615 4194304 4196468 140728270657168 140728270639712 140135600975607 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
/proc/8194/statm: 3495183 36406 3186 1 0 3483484 0
[pid=8194/tid=8195] ppid=8192 vsize=13980732 CPUtime=12.59 cores=0,2,4,6
/proc/8194/task/8195/stat : 8195 (java) R 8192 8192 5091 0 -1 4202560 10876 0 0 0 1255 4 0 0 20 0 15 0 10122373 14316269568 36406 18446744073709551615 4194304 4196468 140728270657168 140135605212696 140135209055599 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8196] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8196/stat : 8196 (java) S 8192 8192 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10122374 14316269568 36406 18446744073709551615 4194304 4196468 140728270657168 140135535410064 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8197] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8197/stat : 8197 (java) S 8192 8192 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10122374 14316269568 36406 18446744073709551615 4194304 4196468 140728270657168 140135534357264 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
################
# More data... #
################
[pid=8194/tid=8201] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8201/stat : 8201 (java) S 8192 8192 5091 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10122376 14316269568 55578 18446744073709551615 4194304 4196468 140728270657168 140134785135392 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8202] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8202/stat : 8202 (java) S 8192 8192 5091 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10122376 14316269568 55578 18446744073709551615 4194304 4196468 140728270657168 140134380987504 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8203] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8203/stat : 8203 (java) S 8192 8192 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10122378 14316269568 55578 18446744073709551615 4194304 4196468 140728270657168 140134379935824 140135600994203 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8204] ppid=8192 vsize=13980732 CPUtime=1.54 cores=0,2,4,6
/proc/8194/task/8204/stat : 8204 (java) S 8192 8192 5091 0 -1 1077944384 10956 0 0 0 153 1 0 0 20 0 15 0 10122378 14316269568 55578 18446744073709551615 4194304 4196468 140728270657168 140134378883696 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8205] ppid=8192 vsize=13980732 CPUtime=1.54 cores=0,2,4,6
/proc/8194/task/8205/stat : 8205 (java) S 8192 8192 5091 0 -1 1077944384 12453 0 0 0 153 1 0 0 20 0 15 0 10122378 14316269568 55578 18446744073709551615 4194304 4196468 140728270657168 140134377830896 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8206] ppid=8192 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/8194/task/8206/stat : 8206 (java) S 8192 8192 5091 0 -1 1077944384 6712 0 0 0 52 1 0 0 20 0 15 0 10122378 14316269568 55578 18446744073709551615 4194304 4196468 140728270657168 140134376778608 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8207] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8207/stat : 8207 (java) S 8192 8192 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10122379 14316269568 55578 18446744073709551615 4194304 4196468 140728270657168 140134375726048 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8208] ppid=8192 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/8194/task/8208/stat : 8208 (java) S 8192 8192 5091 0 -1 1077944384 1588 0 0 0 1 1 0 0 20 0 15 0 10122383 14316269568 55578 18446744073709551615 4194304 4196468 140728270657168 140134374672816 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
Current children cumulated CPU time (s) 105.93
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.78 1.95 1.89 3/211 8213
/proc/meminfo: memFree=31526864/32770624 swapFree=0/184040
[pid=8192] ppid=8189 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8192/stat : 8192 (xcsp3-exec) S 8189 8192 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10122368 9740288 344 18446744073709551615 4194304 5098028 140730357619472 140730357617576 139849803600508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 40157184 140730357625244 140730357625447 140730357625447 140730357628907 0
/proc/8192/statm: 2378 344 289 221 0 87 0
[pid=8194] ppid=8192 vsize=13980732 CPUtime=165.99 cores=0,2,4,6
/proc/8194/stat : 8194 (java) S 8192 8192 5091 0 -1 1077944320 52126 0 0 0 16585 14 0 0 20 0 15 0 10122373 14316269568 54805 18446744073709551615 4194304 4196468 140728270657168 140728270639712 140135600975607 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
/proc/8194/statm: 3495183 54805 3210 1 0 3483484 0
[pid=8194/tid=8195] ppid=8192 vsize=13980732 CPUtime=162.14 cores=0,2,4,6
/proc/8194/task/8195/stat : 8195 (java) R 8192 8192 5091 0 -1 4202560 13832 0 0 0 16209 5 0 0 20 0 15 0 10122373 14316269568 54805 18446744073709551615 4194304 4196468 140728270657168 140135605214752 140135206921664 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8196] ppid=8192 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/8194/task/8196/stat : 8196 (java) S 8192 8192 5091 0 -1 1077944384 1137 0 0 0 1 0 0 0 20 0 15 0 10122374 14316269568 54805 18446744073709551615 4194304 4196468 140728270657168 140135535410064 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8197] ppid=8192 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/8194/task/8197/stat : 8197 (java) S 8192 8192 5091 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 15 0 10122374 14316269568 54805 18446744073709551615 4194304 4196468 140728270657168 140135534357264 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8198] ppid=8192 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/8194/task/8198/stat : 8198 (java) S 8192 8192 5091 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 15 0 10122374 14316269568 54805 18446744073709551615 4194304 4196468 140728270657168 140135533304976 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8199] ppid=8192 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/8194/task/8199/stat : 8199 (java) S 8192 8192 5091 0 -1 1077944384 1078 0 0 0 2 0 0 0 20 0 15 0 10122374 14316269568 54805 18446744073709551615 4194304 4196468 140728270657168 140135532252176 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8200] ppid=8192 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/8194/task/8200/stat : 8200 (java) S 8192 8192 5091 0 -1 1077944384 803 0 0 0 2 0 0 0 20 0 15 0 10122375 14316269568 54805 18446744073709551615 4194304 4196468 140728270657168 140134786189424 140135600986754 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8201] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8201/stat : 8201 (java) S 8192 8192 5091 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10122376 14316269568 54805 18446744073709551615 4194304 4196468 140728270657168 140134785135392 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8202] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8202/stat : 8202 (java) S 8192 8192 5091 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10122376 14316269568 54805 18446744073709551615 4194304 4196468 140728270657168 140134380987504 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8203] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8203/stat : 8203 (java) S 8192 8192 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10122378 14316269568 54805 18446744073709551615 4194304 4196468 140728270657168 140134379935824 140135600994203 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8204] ppid=8192 vsize=13980732 CPUtime=1.55 cores=0,2,4,6
/proc/8194/task/8204/stat : 8204 (java) S 8192 8192 5091 0 -1 1077944384 11323 0 0 0 154 1 0 0 20 0 15 0 10122378 14316269568 54805 18446744073709551615 4194304 4196468 140728270657168 140134378883696 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8205] ppid=8192 vsize=13980732 CPUtime=1.54 cores=0,2,4,6
/proc/8194/task/8205/stat : 8205 (java) S 8192 8192 5091 0 -1 1077944384 12809 0 0 0 153 1 0 0 20 0 15 0 10122378 14316269568 54805 18446744073709551615 4194304 4196468 140728270657168 140134377830896 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8206] ppid=8192 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/8194/task/8206/stat : 8206 (java) S 8192 8192 5091 0 -1 1077944384 7348 0 0 0 52 1 0 0 20 0 15 0 10122378 14316269568 54805 18446744073709551615 4194304 4196468 140728270657168 140134376778608 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8207] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8207/stat : 8207 (java) S 8192 8192 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10122379 14316269568 54805 18446744073709551615 4194304 4196468 140728270657168 140134375726048 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8208] ppid=8192 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/8194/task/8208/stat : 8208 (java) S 8192 8192 5091 0 -1 1077944384 1619 0 0 0 2 2 0 0 20 0 15 0 10122383 14316269568 54805 18446744073709551615 4194304 4196468 140728270657168 140134374672816 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
Current children cumulated CPU time (s) 165.99
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.97 1.98 1.90 3/211 8293
/proc/meminfo: memFree=31640736/32770624 swapFree=0/184140
[pid=8192] ppid=8189 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8192/stat : 8192 (xcsp3-exec) S 8189 8192 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10122368 9740288 344 18446744073709551615 4194304 5098028 140730357619472 140730357617576 139849803600508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 40157184 140730357625244 140730357625447 140730357625447 140730357628907 0
/proc/8192/statm: 2378 344 289 221 0 87 0
[pid=8194] ppid=8192 vsize=13980732 CPUtime=226.07 cores=0,2,4,6
/proc/8194/stat : 8194 (java) S 8192 8192 5091 0 -1 1077944320 53721 0 0 0 22592 15 0 0 20 0 15 0 10122373 14316269568 50458 18446744073709551615 4194304 4196468 140728270657168 140728270639712 140135600975607 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
/proc/8194/statm: 3495183 50458 3210 1 0 3483484 0
[pid=8194/tid=8195] ppid=8192 vsize=13980732 CPUtime=222.13 cores=0,2,4,6
/proc/8194/task/8195/stat : 8195 (java) R 8192 8192 5091 0 -1 4202560 13905 0 0 0 22207 6 0 0 20 0 15 0 10122373 14316269568 50458 18446744073709551615 4194304 4196468 140728270657168 140135605214288 140135207599534 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8196] ppid=8192 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/8194/task/8196/stat : 8196 (java) S 8192 8192 5091 0 -1 1077944384 1143 0 0 0 2 0 0 0 20 0 15 0 10122374 14316269568 50458 18446744073709551615 4194304 4196468 140728270657168 140135535410064 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8197] ppid=8192 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/8194/task/8197/stat : 8197 (java) S 8192 8192 5091 0 -1 1077944384 414 0 0 0 2 0 0 0 20 0 15 0 10122374 14316269568 50458 18446744073709551615 4194304 4196468 140728270657168 140135534357264 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8198] ppid=8192 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/8194/task/8198/stat : 8198 (java) S 8192 8192 5091 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 15 0 10122374 14316269568 50458 18446744073709551615 4194304 4196468 140728270657168 140135533304976 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8199] ppid=8192 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/8194/task/8199/stat : 8199 (java) S 8192 8192 5091 0 -1 1077944384 1081 0 0 0 2 0 0 0 20 0 15 0 10122374 14316269568 50458 18446744073709551615 4194304 4196468 140728270657168 140135532252176 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8200] ppid=8192 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/8194/task/8200/stat : 8200 (java) S 8192 8192 5091 0 -1 1077944384 803 0 0 0 2 0 0 0 20 0 15 0 10122375 14316269568 50458 18446744073709551615 4194304 4196468 140728270657168 140134786189424 140135600986754 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8201] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8201/stat : 8201 (java) S 8192 8192 5091 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10122376 14316269568 50458 18446744073709551615 4194304 4196468 140728270657168 140134785135392 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8202] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8202/stat : 8202 (java) S 8192 8192 5091 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10122376 14316269568 50458 18446744073709551615 4194304 4196468 140728270657168 140134380987504 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8203] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8203/stat : 8203 (java) S 8192 8192 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10122378 14316269568 50458 18446744073709551615 4194304 4196468 140728270657168 140134379935824 140135600994203 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8204] ppid=8192 vsize=13980732 CPUtime=1.6 cores=0,2,4,6
/proc/8194/task/8204/stat : 8204 (java) S 8192 8192 5091 0 -1 1077944384 12282 0 0 0 159 1 0 0 20 0 15 0 10122378 14316269568 50458 18446744073709551615 4194304 4196468 140728270657168 140134378883696 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8205] ppid=8192 vsize=13980732 CPUtime=1.55 cores=0,2,4,6
/proc/8194/task/8205/stat : 8205 (java) S 8192 8192 5091 0 -1 1077944384 13054 0 0 0 154 1 0 0 20 0 15 0 10122378 14316269568 50458 18446744073709551615 4194304 4196468 140728270657168 140134377830896 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8206] ppid=8192 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/8194/task/8206/stat : 8206 (java) S 8192 8192 5091 0 -1 1077944384 7641 0 0 0 53 1 0 0 20 0 15 0 10122378 14316269568 50458 18446744073709551615 4194304 4196468 140728270657168 140134376778608 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8207] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8207/stat : 8207 (java) S 8192 8192 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10122379 14316269568 50458 18446744073709551615 4194304 4196468 140728270657168 140134375726048 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8208] ppid=8192 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/8194/task/8208/stat : 8208 (java) S 8192 8192 5091 0 -1 1077944384 1625 0 0 0 3 3 0 0 20 0 15 0 10122383 14316269568 50458 18446744073709551615 4194304 4196468 140728270657168 140134374672816 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
Current children cumulated CPU time (s) 226.07
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.98 1.98 1.90 3/211 8293
/proc/meminfo: memFree=31639308/32770624 swapFree=0/184148
[pid=8192] ppid=8189 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8192/stat : 8192 (xcsp3-exec) S 8189 8192 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10122368 9740288 344 18446744073709551615 4194304 5098028 140730357619472 140730357617576 139849803600508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 40157184 140730357625244 140730357625447 140730357625447 140730357628907 0
/proc/8192/statm: 2378 344 289 221 0 87 0
[pid=8194] ppid=8192 vsize=13980732 CPUtime=243.77 cores=0,2,4,6
/proc/8194/stat : 8194 (java) S 8192 8192 5091 0 -1 1077944320 53725 0 0 0 24362 15 0 0 20 0 15 0 10122373 14316269568 49560 18446744073709551615 4194304 4196468 140728270657168 140728270639712 140135600975607 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
/proc/8194/statm: 3495183 49560 3210 1 0 3483484 0
[pid=8194/tid=8195] ppid=8192 vsize=13980732 CPUtime=239.82 cores=0,2,4,6
/proc/8194/task/8195/stat : 8195 (java) R 8192 8192 5091 0 -1 4202560 13906 0 0 0 23976 6 0 0 20 0 15 0 10122373 14316269568 49560 18446744073709551615 4194304 4196468 140728270657168 140135605215264 140135208947304 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8196] ppid=8192 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/8194/task/8196/stat : 8196 (java) S 8192 8192 5091 0 -1 1077944384 1144 0 0 0 2 0 0 0 20 0 15 0 10122374 14316269568 49560 18446744073709551615 4194304 4196468 140728270657168 140135535410064 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8197] ppid=8192 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/8194/task/8197/stat : 8197 (java) S 8192 8192 5091 0 -1 1077944384 414 0 0 0 2 0 0 0 20 0 15 0 10122374 14316269568 49560 18446744073709551615 4194304 4196468 140728270657168 140135534357264 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8198] ppid=8192 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/8194/task/8198/stat : 8198 (java) S 8192 8192 5091 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 15 0 10122374 14316269568 49560 18446744073709551615 4194304 4196468 140728270657168 140135533304976 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8199] ppid=8192 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/8194/task/8199/stat : 8199 (java) S 8192 8192 5091 0 -1 1077944384 1082 0 0 0 2 0 0 0 20 0 15 0 10122374 14316269568 49560 18446744073709551615 4194304 4196468 140728270657168 140135532252176 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8200] ppid=8192 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/8194/task/8200/stat : 8200 (java) S 8192 8192 5091 0 -1 1077944384 804 0 0 0 2 0 0 0 20 0 15 0 10122375 14316269568 49560 18446744073709551615 4194304 4196468 140728270657168 140134786189424 140135600986754 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8201] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8201/stat : 8201 (java) S 8192 8192 5091 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10122376 14316269568 49560 18446744073709551615 4194304 4196468 140728270657168 140134785135392 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8202] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8202/stat : 8202 (java) S 8192 8192 5091 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10122376 14316269568 49560 18446744073709551615 4194304 4196468 140728270657168 140134380987504 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8203] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8203/stat : 8203 (java) S 8192 8192 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10122378 14316269568 49560 18446744073709551615 4194304 4196468 140728270657168 140134379935824 140135600994203 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8204] ppid=8192 vsize=13980732 CPUtime=1.6 cores=0,2,4,6
/proc/8194/task/8204/stat : 8204 (java) S 8192 8192 5091 0 -1 1077944384 12282 0 0 0 159 1 0 0 20 0 15 0 10122378 14316269568 49560 18446744073709551615 4194304 4196468 140728270657168 140134378883696 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8205] ppid=8192 vsize=13980732 CPUtime=1.55 cores=0,2,4,6
/proc/8194/task/8205/stat : 8205 (java) S 8192 8192 5091 0 -1 1077944384 13054 0 0 0 154 1 0 0 20 0 15 0 10122378 14316269568 49560 18446744073709551615 4194304 4196468 140728270657168 140134377830896 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8206] ppid=8192 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/8194/task/8206/stat : 8206 (java) S 8192 8192 5091 0 -1 1077944384 7641 0 0 0 53 1 0 0 20 0 15 0 10122378 14316269568 49560 18446744073709551615 4194304 4196468 140728270657168 140134376778608 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8207] ppid=8192 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8194/task/8207/stat : 8207 (java) S 8192 8192 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10122379 14316269568 49560 18446744073709551615 4194304 4196468 140728270657168 140134375726048 140135600985813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
[pid=8194/tid=8208] ppid=8192 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/8194/task/8208/stat : 8208 (java) S 8192 8192 5091 0 -1 1077944384 1625 0 0 0 3 3 0 0 20 0 15 0 10122383 14316269568 49560 18446744073709551615 4194304 4196468 140728270657168 140134374672816 140135600986754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20189184 140728270660052 140728270660227 140728270660227 140728270663631 0
Current children cumulated CPU time (s) 243.77
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 8194 sig 9
??? kill 8192 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 8192 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1783
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=146
# CPU time returned by wait4() is 0.001929
# while last known CPU time is 243.77
#
# 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): 243.77
CPU user time (s): 243.62
CPU system time (s): 0.15
CPU usage (%): 101.567
Max. virtual memory (cumulated for all children) (KiB): 13992412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001783
system time used= 0.000146
maximum resident set size= 1380
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 1.03407 second user time and 1.37764 second system time
The end