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-4255360-1501622179/watcher-4255360-1501622179 -o /tmp/evaluation-result-4255360-1501622179/solver-4255360-1501622179 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501617193-9963 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1991393134 HOME/instance-4255360-1501622179.xml
pid=13328
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: 2.04 1.97 1.85 2/199 13331
/proc/meminfo: memFree=31751716/32770624 swapFree=0/193908
[pid=13331] ppid=13328 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13331/stat : 13331 (runsolver) D 13328 13331 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10838194 24240128 106 18446744073709551615 4194304 4338465 140728083290544 140728083288184 140011744182999 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 20811776 140728083292253 140728083292742 140728083292742 140728083296202 0
/proc/13331/statm: 5918 106 53 36 0 2156 0
[startup+0.103836 s]
/proc/loadavg: 2.04 1.97 1.85 2/199 13331
/proc/meminfo: memFree=31751716/32770624 swapFree=0/193908
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10838194 9740288 345 18446744073709551615 4194304 5098028 140730540315840 140730540313944 140710034379388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 20799488 140730540323227 140730540323431 140730540323431 140730540326891 0
/proc/13331/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20021 s]
/proc/loadavg: 2.04 1.97 1.85 2/199 13331
/proc/meminfo: memFree=31751716/32770624 swapFree=0/193908
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10838194 9740288 345 18446744073709551615 4194304 5098028 140730540315840 140730540313944 140710034379388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 20799488 140730540323227 140730540323431 140730540323431 140730540326891 0
/proc/13331/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300271 s]
/proc/loadavg: 2.04 1.97 1.85 2/199 13331
/proc/meminfo: memFree=31751716/32770624 swapFree=0/193908
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10838194 9740288 345 18446744073709551615 4194304 5098028 140730540315840 140730540313944 140710034379388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 20799488 140730540323227 140730540323431 140730540323431 140730540326891 0
/proc/13331/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700876 s]
/proc/loadavg: 2.04 1.97 1.85 2/199 13331
/proc/meminfo: memFree=31751716/32770624 swapFree=0/193908
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10838194 9740288 345 18446744073709551615 4194304 5098028 140730540315840 140730540313944 140710034379388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 20799488 140730540323227 140730540323431 140730540323431 140730540326891 0
/proc/13331/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5047 s]
/proc/loadavg: 2.04 1.97 1.85 5/215 13347
/proc/meminfo: memFree=31667316/32770624 swapFree=0/193916
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10838194 9740288 345 18446744073709551615 4194304 5098028 140730540315840 140730540313944 140710034379388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 20799488 140730540323227 140730540323431 140730540323431 140730540326891 0
/proc/13331/statm: 2378 345 289 221 0 87 0
[pid=13333] ppid=13331 vsize=13980732 CPUtime=3.83 cores=1,3,5,7
/proc/13333/stat : 13333 (java) S 13331 13331 5131 0 -1 1077944320 34377 0 0 0 377 6 0 0 20 0 15 0 10838200 14316269568 32109 18446744073709551615 4194304 4196468 140723476853360 140723476835904 140468641832695 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
/proc/13333/statm: 3495183 32109 3176 1 0 3483484 0
[pid=13333/tid=13334] ppid=13331 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/13333/task/13334/stat : 13334 (java) R 13331 13331 5131 0 -1 4202560 9186 0 0 0 134 3 0 0 20 0 15 0 10838201 14316269568 32109 18446744073709551615 4194304 4196468 140723476853360 140468646066752 140468268322830 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13335] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13335/stat : 13335 (java) S 13331 13331 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10838201 14316269568 32109 18446744073709551615 4194304 4196468 140723476853360 140468241832464 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13336] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13336/stat : 13336 (java) S 13331 13331 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10838201 14316269568 32109 18446744073709551615 4194304 4196468 140723476853360 140468240779920 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13337] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13337/stat : 13337 (java) S 13331 13331 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10838201 14316269568 32109 18446744073709551615 4194304 4196468 140723476853360 140468239726864 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13338] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13338/stat : 13338 (java) S 13331 13331 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10838201 14316269568 32109 18446744073709551615 4194304 4196468 140723476853360 140468238674320 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13339] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13339/stat : 13339 (java) S 13331 13331 5131 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 32109 18446744073709551615 4194304 4196468 140723476853360 140468187495152 140468641843842 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13340] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13340/stat : 13340 (java) S 13331 13331 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 32109 18446744073709551615 4194304 4196468 140723476853360 140468186441376 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13341] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13341/stat : 13341 (java) S 13331 13331 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 32109 18446744073709551615 4194304 4196468 140723476853360 140468185388272 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13342] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13342/stat : 13342 (java) S 13331 13331 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10838206 14316269568 32109 18446744073709551615 4194304 4196468 140723476853360 140468184336848 140468641851291 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13343] ppid=13331 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/13333/task/13343/stat : 13343 (java) R 13331 13331 5131 0 -1 4202560 9100 0 0 0 91 0 0 0 20 0 15 0 10838206 14316269568 32109 18446744073709551615 4194304 4196468 140723476853360 140468183282640 140468623376792 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13344] ppid=13331 vsize=13980732 CPUtime=0.96 cores=1,3,5,7
/proc/13333/task/13344/stat : 13344 (java) R 13331 13331 5131 0 -1 4202560 10205 0 0 0 96 0 0 0 20 0 15 0 10838206 14316269568 32109 18446744073709551615 4194304 4196468 140723476853360 140468182223896 140468625388026 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13345] ppid=13331 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/13333/task/13345/stat : 13345 (java) S 13331 13331 5131 0 -1 1077944384 4567 0 0 0 54 1 0 0 20 0 15 0 10838206 14316269568 32109 18446744073709551615 4194304 4196468 140723476853360 140468113369072 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13346] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13346/stat : 13346 (java) S 13331 13331 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10838206 14316269568 32109 18446744073709551615 4194304 4196468 140723476853360 140468112316768 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13347] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13347/stat : 13347 (java) S 13331 13331 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10838211 14316269568 32109 18446744073709551615 4194304 4196468 140723476853360 140468111264816 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 13990244
[startup+3.10072 s]
/proc/loadavg: 2.04 1.97 1.85 5/215 13347
/proc/meminfo: memFree=31615252/32770624 swapFree=0/193916
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10838194 9740288 345 18446744073709551615 4194304 5098028 140730540315840 140730540313944 140710034379388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 20799488 140730540323227 140730540323431 140730540323431 140730540326891 0
/proc/13331/statm: 2378 345 289 221 0 87 0
[pid=13333] ppid=13331 vsize=13980732 CPUtime=8.73 cores=1,3,5,7
/proc/13333/stat : 13333 (java) S 13331 13331 5131 0 -1 1077944320 38440 0 0 0 865 8 0 0 20 0 15 0 10838200 14316269568 48217 18446744073709551615 4194304 4196468 140723476853360 140723476835904 140468641832695 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
/proc/13333/statm: 3495183 48217 3194 1 0 3483484 0
[pid=13333/tid=13334] ppid=13331 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/13333/task/13334/stat : 13334 (java) R 13331 13331 5131 0 -1 4202560 10234 0 0 0 292 4 0 0 20 0 15 0 10838201 14316269568 48217 18446744073709551615 4194304 4196468 140723476853360 140468646069344 140468269563790 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13335] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13335/stat : 13335 (java) S 13331 13331 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10838201 14316269568 48217 18446744073709551615 4194304 4196468 140723476853360 140468241832464 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13336] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13336/stat : 13336 (java) S 13331 13331 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10838201 14316269568 48217 18446744073709551615 4194304 4196468 140723476853360 140468240779920 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13337] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13337/stat : 13337 (java) S 13331 13331 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10838201 14316269568 48217 18446744073709551615 4194304 4196468 140723476853360 140468239726864 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13338] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13338/stat : 13338 (java) S 13331 13331 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10838201 14316269568 48217 18446744073709551615 4194304 4196468 140723476853360 140468238674320 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13339] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13339/stat : 13339 (java) S 13331 13331 5131 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 48217 18446744073709551615 4194304 4196468 140723476853360 140468187495152 140468641843842 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13340] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13340/stat : 13340 (java) S 13331 13331 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 48217 18446744073709551615 4194304 4196468 140723476853360 140468186441376 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13341] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13341/stat : 13341 (java) S 13331 13331 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 48217 18446744073709551615 4194304 4196468 140723476853360 140468185388272 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13342] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13342/stat : 13342 (java) S 13331 13331 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10838206 14316269568 48217 18446744073709551615 4194304 4196468 140723476853360 140468184336848 140468641851291 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13343] ppid=13331 vsize=13980732 CPUtime=2.52 cores=1,3,5,7
/proc/13333/task/13343/stat : 13343 (java) R 13331 13331 5131 0 -1 4202560 10371 0 0 0 251 1 0 0 20 0 15 0 10838206 14316269568 48217 18446744073709551615 4194304 4196468 140723476853360 140468183274784 140468623377993 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13344] ppid=13331 vsize=13980732 CPUtime=2.56 cores=1,3,5,7
/proc/13333/task/13344/stat : 13344 (java) R 13331 13331 5131 0 -1 4202560 11331 0 0 0 256 0 0 0 20 0 15 0 10838206 14316269568 48217 18446744073709551615 4194304 4196468 140723476853360 140468182221520 140468623353801 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13345] ppid=13331 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/13333/task/13345/stat : 13345 (java) S 13331 13331 5131 0 -1 1077944384 5154 0 0 0 65 1 0 0 20 0 15 0 10838206 14316269568 48217 18446744073709551615 4194304 4196468 140723476853360 140468113369072 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13346] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13346/stat : 13346 (java) S 13331 13331 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10838206 14316269568 48217 18446744073709551615 4194304 4196468 140723476853360 140468112316768 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13347] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13347/stat : 13347 (java) S 13331 13331 5131 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 10838211 14316269568 48217 18446744073709551615 4194304 4196468 140723476853360 140468111264816 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
Current children cumulated CPU time (s) 8.73
Current children cumulated vsize (KiB) 13990244
[startup+6.30071 s]
/proc/loadavg: 2.03 1.97 1.85 3/215 13347
/proc/meminfo: memFree=31529752/32770624 swapFree=0/193928
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10838194 9740288 345 18446744073709551615 4194304 5098028 140730540315840 140730540313944 140710034379388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 20799488 140730540323227 140730540323431 140730540323431 140730540326891 0
/proc/13331/statm: 2378 345 289 221 0 87 0
[pid=13333] ppid=13331 vsize=13980732 CPUtime=13.65 cores=1,3,5,7
/proc/13333/stat : 13333 (java) S 13331 13331 5131 0 -1 1077944320 49361 0 0 0 1353 12 0 0 20 0 15 0 10838200 14316269568 63082 18446744073709551615 4194304 4196468 140723476853360 140723476835904 140468641832695 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
/proc/13333/statm: 3495183 63082 3222 1 0 3483484 0
[pid=13333/tid=13334] ppid=13331 vsize=13980732 CPUtime=6.13 cores=1,3,5,7
/proc/13333/task/13334/stat : 13334 (java) R 13331 13331 5131 0 -1 4202560 10648 0 0 0 608 5 0 0 20 0 15 0 10838201 14316269568 63082 18446744073709551615 4194304 4196468 140723476853360 140468646071304 140468270590230 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13335] ppid=13331 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/13333/task/13335/stat : 13335 (java) S 13331 13331 5131 0 -1 1077944384 74 0 0 0 2 0 0 0 20 0 15 0 10838201 14316269568 63082 18446744073709551615 4194304 4196468 140723476853360 140468241832464 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13336] ppid=13331 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/13333/task/13336/stat : 13336 (java) S 13331 13331 5131 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 10838201 14316269568 63082 18446744073709551615 4194304 4196468 140723476853360 140468240779920 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13337] ppid=13331 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/13333/task/13337/stat : 13337 (java) S 13331 13331 5131 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 10838201 14316269568 63082 18446744073709551615 4194304 4196468 140723476853360 140468239726864 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13338] ppid=13331 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/13333/task/13338/stat : 13338 (java) S 13331 13331 5131 0 -1 1077944384 430 0 0 0 2 0 0 0 20 0 15 0 10838201 14316269568 63082 18446744073709551615 4194304 4196468 140723476853360 140468238674320 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13339] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13339/stat : 13339 (java) S 13331 13331 5131 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 63082 18446744073709551615 4194304 4196468 140723476853360 140468187495152 140468641843842 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13340] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13340/stat : 13340 (java) S 13331 13331 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 63082 18446744073709551615 4194304 4196468 140723476853360 140468186441376 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13341] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13341/stat : 13341 (java) S 13331 13331 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 63082 18446744073709551615 4194304 4196468 140723476853360 140468185388272 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13342] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13342/stat : 13342 (java) S 13331 13331 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10838206 14316269568 63082 18446744073709551615 4194304 4196468 140723476853360 140468184336848 140468641851291 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13343] ppid=13331 vsize=13980732 CPUtime=3.37 cores=1,3,5,7
/proc/13333/task/13343/stat : 13343 (java) S 13331 13331 5131 0 -1 1077944384 14681 0 0 0 336 1 0 0 20 0 15 0 10838206 14316269568 63082 18446744073709551615 4194304 4196468 140723476853360 140468183283952 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13344] ppid=13331 vsize=13980732 CPUtime=3.27 cores=1,3,5,7
/proc/13333/task/13344/stat : 13344 (java) S 13331 13331 5131 0 -1 1077944384 15132 0 0 0 326 1 0 0 20 0 15 0 10838206 14316269568 63082 18446744073709551615 4194304 4196468 140723476853360 140468182231408 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13345] ppid=13331 vsize=13980732 CPUtime=0.74 cores=1,3,5,7
/proc/13333/task/13345/stat : 13345 (java) S 13331 13331 5131 0 -1 1077944384 6187 0 0 0 73 1 0 0 20 0 15 0 10838206 14316269568 63082 18446744073709551615 4194304 4196468 140723476853360 140468113369072 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13346] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13346/stat : 13346 (java) S 13331 13331 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10838206 14316269568 63082 18446744073709551615 4194304 4196468 140723476853360 140468112316768 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13347] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13347/stat : 13347 (java) S 13331 13331 5131 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 15 0 10838211 14316269568 63082 18446744073709551615 4194304 4196468 140723476853360 140468111264816 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
Current children cumulated CPU time (s) 13.65
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.95 1.95 1.85 3/215 13347
/proc/meminfo: memFree=31514828/32770624 swapFree=0/193932
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10838194 9740288 345 18446744073709551615 4194304 5098028 140730540315840 140730540313944 140710034379388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 20799488 140730540323227 140730540323431 140730540323431 140730540326891 0
/proc/13331/statm: 2378 345 289 221 0 87 0
[pid=13333] ppid=13331 vsize=13980732 CPUtime=20.71 cores=1,3,5,7
/proc/13333/stat : 13333 (java) S 13331 13331 5131 0 -1 1077944320 52056 0 0 0 2059 12 0 0 20 0 15 0 10838200 14316269568 63181 18446744073709551615 4194304 4196468 140723476853360 140723476835904 140468641832695 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
/proc/13333/statm: 3495183 63181 3231 1 0 3483484 0
[pid=13333/tid=13334] ppid=13331 vsize=13980732 CPUtime=12.51 cores=1,3,5,7
/proc/13333/task/13334/stat : 13334 (java) R 13331 13331 5131 0 -1 4202560 11219 0 0 0 1246 5 0 0 20 0 15 0 10838201 14316269568 63181 18446744073709551615 4194304 4196468 140723476853360 140468646069928 140468272298838 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13335] ppid=13331 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13333/task/13335/stat : 13335 (java) S 13331 13331 5131 0 -1 1077944384 941 0 0 0 3 0 0 0 20 0 15 0 10838201 14316269568 63181 18446744073709551615 4194304 4196468 140723476853360 140468241832464 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13336] ppid=13331 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/13333/task/13336/stat : 13336 (java) S 13331 13331 5131 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 15 0 10838201 14316269568 63181 18446744073709551615 4194304 4196468 140723476853360 140468240779920 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
################
# More data... #
################
[pid=13333/tid=13340] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13340/stat : 13340 (java) S 13331 13331 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 76854 18446744073709551615 4194304 4196468 140723476853360 140468186441376 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13341] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13341/stat : 13341 (java) S 13331 13331 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 76854 18446744073709551615 4194304 4196468 140723476853360 140468185388272 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13342] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13342/stat : 13342 (java) S 13331 13331 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10838206 14316269568 76854 18446744073709551615 4194304 4196468 140723476853360 140468184336848 140468641851291 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13343] ppid=13331 vsize=13980732 CPUtime=4.63 cores=1,3,5,7
/proc/13333/task/13343/stat : 13343 (java) S 13331 13331 5131 0 -1 1077944384 25306 0 0 0 461 2 0 0 20 0 15 0 10838206 14316269568 76854 18446744073709551615 4194304 4196468 140723476853360 140468183283952 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13344] ppid=13331 vsize=13980732 CPUtime=4.09 cores=1,3,5,7
/proc/13333/task/13344/stat : 13344 (java) S 13331 13331 5131 0 -1 1077944384 24017 0 0 0 407 2 0 0 20 0 15 0 10838206 14316269568 76854 18446744073709551615 4194304 4196468 140723476853360 140468182231408 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13345] ppid=13331 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/13333/task/13345/stat : 13345 (java) S 13331 13331 5131 0 -1 1077944384 9621 0 0 0 79 1 0 0 20 0 15 0 10838206 14316269568 76854 18446744073709551615 4194304 4196468 140723476853360 140468113369072 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13346] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13346/stat : 13346 (java) S 13331 13331 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10838206 14316269568 76854 18446744073709551615 4194304 4196468 140723476853360 140468112316768 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13347] ppid=13331 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13333/task/13347/stat : 13347 (java) S 13331 13331 5131 0 -1 1077944384 537 0 0 0 1 2 0 0 20 0 15 0 10838211 14316269568 76854 18446744073709551615 4194304 4196468 140723476853360 140468111264816 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
Current children cumulated CPU time (s) 113.15
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.44 1.76 1.79 3/211 13352
/proc/meminfo: memFree=31281828/32770624 swapFree=0/194032
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10838194 9740288 345 18446744073709551615 4194304 5098028 140730540315840 140730540313944 140710034379388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 20799488 140730540323227 140730540323431 140730540323431 140730540326891 0
/proc/13331/statm: 2378 345 289 221 0 87 0
[pid=13333] ppid=13331 vsize=13980732 CPUtime=174.7 cores=1,3,5,7
/proc/13333/stat : 13333 (java) S 13331 13331 5131 0 -1 1077944320 90739 0 0 0 17410 60 0 0 20 0 15 0 10838200 14316269568 118506 18446744073709551615 4194304 4196468 140723476853360 140723476835904 140468641832695 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
/proc/13333/statm: 3495183 118506 3233 1 0 3483484 0
[pid=13333/tid=13334] ppid=13331 vsize=13980732 CPUtime=161.08 cores=1,3,5,7
/proc/13333/task/13334/stat : 13334 (java) R 13331 13331 5131 0 -1 4202560 16106 0 0 0 16102 6 0 0 20 0 15 0 10838201 14316269568 118506 18446744073709551615 4194304 4196468 140723476853360 140468646072384 140468270362637 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13335] ppid=13331 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/13333/task/13335/stat : 13335 (java) S 13331 13331 5131 0 -1 1077944384 2343 0 0 0 82 11 0 0 20 0 15 0 10838201 14316269568 118506 18446744073709551615 4194304 4196468 140723476853360 140468241832464 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13336] ppid=13331 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/13333/task/13336/stat : 13336 (java) S 13331 13331 5131 0 -1 1077944384 1471 0 0 0 82 10 0 0 20 0 15 0 10838201 14316269568 118506 18446744073709551615 4194304 4196468 140723476853360 140468240779920 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13337] ppid=13331 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/13333/task/13337/stat : 13337 (java) S 13331 13331 5131 0 -1 1077944384 2518 0 0 0 82 11 0 0 20 0 15 0 10838201 14316269568 118506 18446744073709551615 4194304 4196468 140723476853360 140468239726864 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13338] ppid=13331 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/13333/task/13338/stat : 13338 (java) S 13331 13331 5131 0 -1 1077944384 1922 0 0 0 83 10 0 0 20 0 15 0 10838201 14316269568 118506 18446744073709551615 4194304 4196468 140723476853360 140468238674320 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13339] ppid=13331 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/13333/task/13339/stat : 13339 (java) S 13331 13331 5131 0 -1 1077944384 1421 0 0 0 8 2 0 0 20 0 15 0 10838203 14316269568 118506 18446744073709551615 4194304 4196468 140723476853360 140468187495152 140468641843842 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13340] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13340/stat : 13340 (java) S 13331 13331 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 118506 18446744073709551615 4194304 4196468 140723476853360 140468186441376 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13341] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13341/stat : 13341 (java) S 13331 13331 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 118506 18446744073709551615 4194304 4196468 140723476853360 140468185388272 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13342] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13342/stat : 13342 (java) S 13331 13331 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10838206 14316269568 118506 18446744073709551615 4194304 4196468 140723476853360 140468184336848 140468641851291 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13343] ppid=13331 vsize=13980732 CPUtime=4.67 cores=1,3,5,7
/proc/13333/task/13343/stat : 13343 (java) S 13331 13331 5131 0 -1 1077944384 26647 0 0 0 465 2 0 0 20 0 15 0 10838206 14316269568 118506 18446744073709551615 4194304 4196468 140723476853360 140468183283952 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13344] ppid=13331 vsize=13980732 CPUtime=4.18 cores=1,3,5,7
/proc/13333/task/13344/stat : 13344 (java) S 13331 13331 5131 0 -1 1077944384 25936 0 0 0 416 2 0 0 20 0 15 0 10838206 14316269568 118506 18446744073709551615 4194304 4196468 140723476853360 140468182231408 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13345] ppid=13331 vsize=13980732 CPUtime=0.82 cores=1,3,5,7
/proc/13333/task/13345/stat : 13345 (java) S 13331 13331 5131 0 -1 1077944384 10390 0 0 0 80 2 0 0 20 0 15 0 10838206 14316269568 118506 18446744073709551615 4194304 4196468 140723476853360 140468113369072 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13346] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13346/stat : 13346 (java) S 13331 13331 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10838206 14316269568 118506 18446744073709551615 4194304 4196468 140723476853360 140468112316768 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13347] ppid=13331 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/13333/task/13347/stat : 13347 (java) S 13331 13331 5131 0 -1 1077944384 636 0 0 0 3 3 0 0 20 0 15 0 10838211 14316269568 118506 18446744073709551615 4194304 4196468 140723476853360 140468111264816 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
Current children cumulated CPU time (s) 174.7
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.51 1.71 1.77 3/211 13435
/proc/meminfo: memFree=31490636/32770624 swapFree=0/194100
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10838194 9740288 345 18446744073709551615 4194304 5098028 140730540315840 140730540313944 140710034379388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 20799488 140730540323227 140730540323431 140730540323431 140730540326891 0
/proc/13331/statm: 2378 345 289 221 0 87 0
[pid=13333] ppid=13331 vsize=13980732 CPUtime=236.31 cores=1,3,5,7
/proc/13333/stat : 13333 (java) S 13331 13331 5131 0 -1 1077944320 100731 0 0 0 23563 68 0 0 20 0 15 0 10838200 14316269568 80161 18446744073709551615 4194304 4196468 140723476853360 140723476835904 140468641832695 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
/proc/13333/statm: 3495183 80161 3248 1 0 3483484 0
[pid=13333/tid=13334] ppid=13331 vsize=13980732 CPUtime=220.48 cores=1,3,5,7
/proc/13333/task/13334/stat : 13334 (java) R 13331 13331 5131 0 -1 4202560 17214 0 0 0 22042 6 0 0 20 0 15 0 10838201 14316269568 80161 18446744073709551615 4194304 4196468 140723476853360 140468646072352 140468272323561 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13335] ppid=13331 vsize=13980732 CPUtime=1.44 cores=1,3,5,7
/proc/13333/task/13335/stat : 13335 (java) S 13331 13331 5131 0 -1 1077944384 3193 0 0 0 132 12 0 0 20 0 15 0 10838201 14316269568 80161 18446744073709551615 4194304 4196468 140723476853360 140468241832464 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13336] ppid=13331 vsize=13980732 CPUtime=1.44 cores=1,3,5,7
/proc/13333/task/13336/stat : 13336 (java) S 13331 13331 5131 0 -1 1077944384 2421 0 0 0 133 11 0 0 20 0 15 0 10838201 14316269568 80161 18446744073709551615 4194304 4196468 140723476853360 140468240779920 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13337] ppid=13331 vsize=13980732 CPUtime=1.45 cores=1,3,5,7
/proc/13333/task/13337/stat : 13337 (java) S 13331 13331 5131 0 -1 1077944384 3273 0 0 0 133 12 0 0 20 0 15 0 10838201 14316269568 80161 18446744073709551615 4194304 4196468 140723476853360 140468239726864 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13338] ppid=13331 vsize=13980732 CPUtime=1.45 cores=1,3,5,7
/proc/13333/task/13338/stat : 13338 (java) S 13331 13331 5131 0 -1 1077944384 2747 0 0 0 133 12 0 0 20 0 15 0 10838201 14316269568 80161 18446744073709551615 4194304 4196468 140723476853360 140468238674320 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13339] ppid=13331 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/13333/task/13339/stat : 13339 (java) S 13331 13331 5131 0 -1 1077944384 5392 0 0 0 12 3 0 0 20 0 15 0 10838203 14316269568 80161 18446744073709551615 4194304 4196468 140723476853360 140468187495152 140468641843842 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13340] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13340/stat : 13340 (java) S 13331 13331 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 80161 18446744073709551615 4194304 4196468 140723476853360 140468186441376 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13341] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13341/stat : 13341 (java) S 13331 13331 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 80161 18446744073709551615 4194304 4196468 140723476853360 140468185388272 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13342] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13342/stat : 13342 (java) S 13331 13331 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10838206 14316269568 80161 18446744073709551615 4194304 4196468 140723476853360 140468184336848 140468641851291 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13343] ppid=13331 vsize=13980732 CPUtime=4.68 cores=1,3,5,7
/proc/13333/task/13343/stat : 13343 (java) S 13331 13331 5131 0 -1 1077944384 26771 0 0 0 466 2 0 0 20 0 15 0 10838206 14316269568 80161 18446744073709551615 4194304 4196468 140723476853360 140468183283952 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13344] ppid=13331 vsize=13980732 CPUtime=4.22 cores=1,3,5,7
/proc/13333/task/13344/stat : 13344 (java) S 13331 13331 5131 0 -1 1077944384 27230 0 0 0 420 2 0 0 20 0 15 0 10838206 14316269568 80161 18446744073709551615 4194304 4196468 140723476853360 140468182231408 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13345] ppid=13331 vsize=13980732 CPUtime=0.82 cores=1,3,5,7
/proc/13333/task/13345/stat : 13345 (java) S 13331 13331 5131 0 -1 1077944384 10436 0 0 0 80 2 0 0 20 0 15 0 10838206 14316269568 80161 18446744073709551615 4194304 4196468 140723476853360 140468113369072 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13346] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13346/stat : 13346 (java) S 13331 13331 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10838206 14316269568 80161 18446744073709551615 4194304 4196468 140723476853360 140468112316768 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13347] ppid=13331 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/13333/task/13347/stat : 13347 (java) S 13331 13331 5131 0 -1 1077944384 705 0 0 0 4 5 0 0 20 0 15 0 10838211 14316269568 80161 18446744073709551615 4194304 4196468 140723476853360 140468111264816 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
Current children cumulated CPU time (s) 236.31
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.51 1.70 1.77 3/211 13435
/proc/meminfo: memFree=31382788/32770624 swapFree=0/194116
[pid=13331] ppid=13328 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13331/stat : 13331 (xcsp3-exec) S 13328 13331 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10838194 9740288 345 18446744073709551615 4194304 5098028 140730540315840 140730540313944 140710034379388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 20799488 140730540323227 140730540323431 140730540323431 140730540326891 0
/proc/13331/statm: 2378 345 289 221 0 87 0
[pid=13333] ppid=13331 vsize=13980732 CPUtime=254.44 cores=1,3,5,7
/proc/13333/stat : 13333 (java) S 13331 13331 5131 0 -1 1077944320 104397 0 0 0 25372 72 0 0 20 0 15 0 10838200 14316269568 92361 18446744073709551615 4194304 4196468 140723476853360 140723476835904 140468641832695 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
/proc/13333/statm: 3495183 92361 3248 1 0 3483484 0
[pid=13333/tid=13334] ppid=13331 vsize=13980732 CPUtime=237.99 cores=1,3,5,7
/proc/13333/task/13334/stat : 13334 (java) R 13331 13331 5131 0 -1 4202560 18080 0 0 0 23793 6 0 0 20 0 15 0 10838201 14316269568 92361 18446744073709551615 4194304 4196468 140723476853360 140468646072496 140468270779523 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13335] ppid=13331 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/13333/task/13335/stat : 13335 (java) S 13331 13331 5131 0 -1 1077944384 3705 0 0 0 146 13 0 0 20 0 15 0 10838201 14316269568 92361 18446744073709551615 4194304 4196468 140723476853360 140468241832464 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13336] ppid=13331 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/13333/task/13336/stat : 13336 (java) S 13331 13331 5131 0 -1 1077944384 3020 0 0 0 147 12 0 0 20 0 15 0 10838201 14316269568 92361 18446744073709551615 4194304 4196468 140723476853360 140468240779920 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13337] ppid=13331 vsize=13980732 CPUtime=1.6 cores=1,3,5,7
/proc/13333/task/13337/stat : 13337 (java) S 13331 13331 5131 0 -1 1077944384 4038 0 0 0 147 13 0 0 20 0 15 0 10838201 14316269568 92361 18446744073709551615 4194304 4196468 140723476853360 140468239726864 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13338] ppid=13331 vsize=13980732 CPUtime=1.6 cores=1,3,5,7
/proc/13333/task/13338/stat : 13338 (java) S 13331 13331 5131 0 -1 1077944384 3271 0 0 0 147 13 0 0 20 0 15 0 10838201 14316269568 92361 18446744073709551615 4194304 4196468 140723476853360 140468238674320 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13339] ppid=13331 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/13333/task/13339/stat : 13339 (java) S 13331 13331 5131 0 -1 1077944384 5507 0 0 0 13 3 0 0 20 0 15 0 10838203 14316269568 92361 18446744073709551615 4194304 4196468 140723476853360 140468187495152 140468641843842 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13340] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13340/stat : 13340 (java) S 13331 13331 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 92361 18446744073709551615 4194304 4196468 140723476853360 140468186441376 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13341] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13341/stat : 13341 (java) S 13331 13331 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10838203 14316269568 92361 18446744073709551615 4194304 4196468 140723476853360 140468185388272 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13342] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13342/stat : 13342 (java) S 13331 13331 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10838206 14316269568 92361 18446744073709551615 4194304 4196468 140723476853360 140468184336848 140468641851291 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13343] ppid=13331 vsize=13980732 CPUtime=4.68 cores=1,3,5,7
/proc/13333/task/13343/stat : 13343 (java) S 13331 13331 5131 0 -1 1077944384 26814 0 0 0 466 2 0 0 20 0 15 0 10838206 14316269568 92361 18446744073709551615 4194304 4196468 140723476853360 140468183283952 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13344] ppid=13331 vsize=13980732 CPUtime=4.22 cores=1,3,5,7
/proc/13333/task/13344/stat : 13344 (java) S 13331 13331 5131 0 -1 1077944384 27230 0 0 0 420 2 0 0 20 0 15 0 10838206 14316269568 92361 18446744073709551615 4194304 4196468 140723476853360 140468182231408 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13345] ppid=13331 vsize=13980732 CPUtime=0.83 cores=1,3,5,7
/proc/13333/task/13345/stat : 13345 (java) S 13331 13331 5131 0 -1 1077944384 10661 0 0 0 81 2 0 0 20 0 15 0 10838206 14316269568 92361 18446744073709551615 4194304 4196468 140723476853360 140468113369072 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13346] ppid=13331 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13333/task/13346/stat : 13346 (java) S 13331 13331 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10838206 14316269568 92361 18446744073709551615 4194304 4196468 140723476853360 140468112316768 140468641842901 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
[pid=13333/tid=13347] ppid=13331 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/13333/task/13347/stat : 13347 (java) S 13331 13331 5131 0 -1 1077944384 722 0 0 0 4 6 0 0 20 0 15 0 10838211 14316269568 92361 18446744073709551615 4194304 4196468 140723476853360 140468111264816 140468641843842 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7667712 140723476861396 140723476861571 140723476861571 140723476864975 0
Current children cumulated CPU time (s) 254.44
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 13333 sig 9
??? kill 13331 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 13331 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=940
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=940
# CPU time returned by wait4() is 0.00188
# while last known CPU time is 254.44
#
# 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): 254.44
CPU user time (s): 253.72
CPU system time (s): 0.72
CPU usage (%): 106.012
Max. virtual memory (cumulated for all children) (KiB): 13992000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00094
system time used= 0.00094
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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.955231 second user time and 1.63857 second system time
The end