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-4254344-1501612437/watcher-4254344-1501612437 -o /tmp/evaluation-result-4254344-1501612437/solver-4254344-1501612437 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3274 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1272422713 HOME/instance-4254344-1501612437.xml
pid=4342
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.86 1.86 1.43 2/199 4345
/proc/meminfo: memFree=31890928/32770624 swapFree=0/159396
[pid=4345] ppid=4342 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/4345/stat : 4345 (runsolver) D 4342 4345 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3154254 24240128 107 18446744073709551615 4194304 4338465 140720341983904 140720341981544 140627085759191 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 37658624 140720341987422 140720341987911 140720341987911 140720341991370 0
/proc/4345/statm: 5918 107 54 36 0 2156 0
[startup+0.100906 s]
/proc/loadavg: 1.86 1.86 1.43 2/199 4345
/proc/meminfo: memFree=31890928/32770624 swapFree=0/159396
[pid=4345] ppid=4342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/4345/stat : 4345 (xcsp3-exec) S 4342 4345 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3154254 9740288 345 18446744073709551615 4194304 5098028 140725491607728 140725491605832 140136116064892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 33378304 140725491614108 140725491614312 140725491614312 140725491617771 0
/proc/4345/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200299 s]
/proc/loadavg: 1.86 1.86 1.43 2/199 4345
/proc/meminfo: memFree=31890928/32770624 swapFree=0/159396
[pid=4345] ppid=4342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/4345/stat : 4345 (xcsp3-exec) S 4342 4345 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3154254 9740288 345 18446744073709551615 4194304 5098028 140725491607728 140725491605832 140136116064892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 33378304 140725491614108 140725491614312 140725491614312 140725491617771 0
/proc/4345/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.301119 s]
/proc/loadavg: 1.86 1.86 1.43 2/199 4345
/proc/meminfo: memFree=31890928/32770624 swapFree=0/159396
[pid=4345] ppid=4342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/4345/stat : 4345 (xcsp3-exec) S 4342 4345 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3154254 9740288 345 18446744073709551615 4194304 5098028 140725491607728 140725491605832 140136116064892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 33378304 140725491614108 140725491614312 140725491614312 140725491617771 0
/proc/4345/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70077 s]
/proc/loadavg: 1.86 1.86 1.43 2/199 4345
/proc/meminfo: memFree=31890928/32770624 swapFree=0/159396
[pid=4345] ppid=4342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/4345/stat : 4345 (xcsp3-exec) S 4342 4345 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3154254 9740288 345 18446744073709551615 4194304 5098028 140725491607728 140725491605832 140136116064892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 33378304 140725491614108 140725491614312 140725491614312 140725491617771 0
/proc/4345/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50071 s]
/proc/loadavg: 1.86 1.86 1.43 6/215 4361
/proc/meminfo: memFree=31809972/32770624 swapFree=0/159420
[pid=4345] ppid=4342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/4345/stat : 4345 (xcsp3-exec) S 4342 4345 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3154254 9740288 345 18446744073709551615 4194304 5098028 140725491607728 140725491605832 140136116064892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 33378304 140725491614108 140725491614312 140725491614312 140725491617771 0
/proc/4345/statm: 2378 345 289 221 0 87 0
[pid=4347] ppid=4345 vsize=13980732 CPUtime=3.54 cores=1,3,5,7
/proc/4347/stat : 4347 (java) S 4345 4345 3187 0 -1 1077944320 20506 0 0 0 348 6 0 0 20 0 15 0 3154261 14316269568 28203 18446744073709551615 4194304 4196468 140726484928160 140726484910704 139978909114103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
/proc/4347/statm: 3495183 28203 3185 1 0 3483484 0
[pid=4347/tid=4348] ppid=4345 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/4347/task/4348/stat : 4348 (java) R 4345 4345 3187 0 -1 4202560 8841 0 0 0 133 3 0 0 20 0 15 0 3154262 14316269568 28203 18446744073709551615 4194304 4196468 140726484928160 139978913354096 139978509862829 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4349] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4349/stat : 4349 (java) S 4345 4345 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3154262 14316269568 28203 18446744073709551615 4194304 4196468 140726484928160 139978828528400 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4350] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4350/stat : 4350 (java) S 4345 4345 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3154262 14316269568 28203 18446744073709551615 4194304 4196468 140726484928160 139978827475856 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4351] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4351/stat : 4351 (java) S 4345 4345 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3154262 14316269568 28203 18446744073709551615 4194304 4196468 140726484928160 139978826423312 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4352] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4352/stat : 4352 (java) S 4345 4345 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3154262 14316269568 28203 18446744073709551615 4194304 4196468 140726484928160 139978825370768 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4353] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4353/stat : 4353 (java) S 4345 4345 3187 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 28203 18446744073709551615 4194304 4196468 140726484928160 139978387716080 139978909125250 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4354] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (java) S 4345 4345 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 28203 18446744073709551615 4194304 4196468 140726484928160 139978386662304 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4355] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4355/stat : 4355 (java) S 4345 4345 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 28203 18446744073709551615 4194304 4196468 140726484928160 139978385609712 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4356] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4356/stat : 4356 (java) S 4345 4345 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3154267 14316269568 28203 18446744073709551615 4194304 4196468 140726484928160 139978384558288 139978909132699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4357] ppid=4345 vsize=13980732 CPUtime=0.82 cores=1,3,5,7
/proc/4347/task/4357/stat : 4357 (java) R 4345 4345 3187 0 -1 4202560 4255 0 0 0 82 0 0 0 20 0 15 0 3154267 14316269568 28203 18446744073709551615 4194304 4196468 140726484928160 139978383492008 139978909127990 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4358] ppid=4345 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/4347/task/4358/stat : 4358 (java) R 4345 4345 3187 0 -1 4202560 2773 0 0 0 77 1 0 0 20 0 15 0 3154267 14316269568 28203 18446744073709551615 4194304 4196468 140726484928160 139978382442960 139978892608235 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4359] ppid=4345 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/4347/task/4359/stat : 4359 (java) S 4345 4345 3187 0 -1 1077944384 3244 0 0 0 54 1 0 0 20 0 15 0 3154267 14316269568 28203 18446744073709551615 4194304 4196468 140726484928160 139978381400816 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4360] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4360/stat : 4360 (java) S 4345 4345 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3154267 14316269568 28203 18446744073709551615 4194304 4196468 140726484928160 139978380348512 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4361] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4361/stat : 4361 (java) S 4345 4345 3187 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 3154271 14316269568 28203 18446744073709551615 4194304 4196468 140726484928160 139978379295024 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 13990244
[startup+3.10112 s]
/proc/loadavg: 1.86 1.86 1.43 3/215 4361
/proc/meminfo: memFree=31783924/32770624 swapFree=0/159420
[pid=4345] ppid=4342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/4345/stat : 4345 (xcsp3-exec) S 4342 4345 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3154254 9740288 345 18446744073709551615 4194304 5098028 140725491607728 140725491605832 140136116064892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 33378304 140725491614108 140725491614312 140725491614312 140725491617771 0
/proc/4345/statm: 2378 345 289 221 0 87 0
[pid=4347] ppid=4345 vsize=13980732 CPUtime=6.41 cores=1,3,5,7
/proc/4347/stat : 4347 (java) S 4345 4345 3187 0 -1 1077944320 22971 0 0 0 634 7 0 0 20 0 15 0 3154261 14316269568 32662 18446744073709551615 4194304 4196468 140726484928160 140726484910704 139978909114103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
/proc/4347/statm: 3495183 32662 3191 1 0 3483484 0
[pid=4347/tid=4348] ppid=4345 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/4347/task/4348/stat : 4348 (java) R 4345 4345 3187 0 -1 4202560 9328 0 0 0 293 3 0 0 20 0 15 0 3154262 14316269568 32662 18446744073709551615 4194304 4196468 140726484928160 139978913351128 139978510838594 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4349] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4349/stat : 4349 (java) S 4345 4345 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3154262 14316269568 32662 18446744073709551615 4194304 4196468 140726484928160 139978828528400 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4350] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4350/stat : 4350 (java) S 4345 4345 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3154262 14316269568 32662 18446744073709551615 4194304 4196468 140726484928160 139978827475856 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4351] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4351/stat : 4351 (java) S 4345 4345 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3154262 14316269568 32662 18446744073709551615 4194304 4196468 140726484928160 139978826423312 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4352] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4352/stat : 4352 (java) S 4345 4345 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3154262 14316269568 32662 18446744073709551615 4194304 4196468 140726484928160 139978825370768 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4353] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4353/stat : 4353 (java) S 4345 4345 3187 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 32662 18446744073709551615 4194304 4196468 140726484928160 139978387716080 139978909125250 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4354] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (java) S 4345 4345 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 32662 18446744073709551615 4194304 4196468 140726484928160 139978386662304 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4355] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4355/stat : 4355 (java) S 4345 4345 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 32662 18446744073709551615 4194304 4196468 140726484928160 139978385609712 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4356] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4356/stat : 4356 (java) S 4345 4345 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3154267 14316269568 32662 18446744073709551615 4194304 4196468 140726484928160 139978384558288 139978909132699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4357] ppid=4345 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/4347/task/4357/stat : 4357 (java) R 4345 4345 3187 0 -1 4202560 4503 0 0 0 134 0 0 0 20 0 15 0 3154267 14316269568 32662 18446744073709551615 4194304 4196468 140726484928160 139978383498424 139978893522008 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4358] ppid=4345 vsize=13980732 CPUtime=1.46 cores=1,3,5,7
/proc/4347/task/4358/stat : 4358 (java) R 4345 4345 3187 0 -1 4202560 4331 0 0 0 145 1 0 0 20 0 15 0 3154267 14316269568 32662 18446744073709551615 4194304 4196468 140726484928160 139978382453360 139978890658543 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4359] ppid=4345 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/4347/task/4359/stat : 4359 (java) S 4345 4345 3187 0 -1 1077944384 3416 0 0 0 60 1 0 0 20 0 15 0 3154267 14316269568 32662 18446744073709551615 4194304 4196468 140726484928160 139978381400816 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4360] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4360/stat : 4360 (java) S 4345 4345 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3154267 14316269568 32662 18446744073709551615 4194304 4196468 140726484928160 139978380348512 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4361] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4361/stat : 4361 (java) S 4345 4345 3187 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 3154271 14316269568 32662 18446744073709551615 4194304 4196468 140726484928160 139978379295024 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 13990244
[startup+6.30072 s]
/proc/loadavg: 1.80 1.85 1.43 4/215 4367
/proc/meminfo: memFree=31741028/32770624 swapFree=0/159436
[pid=4345] ppid=4342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/4345/stat : 4345 (xcsp3-exec) S 4342 4345 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3154254 9740288 345 18446744073709551615 4194304 5098028 140725491607728 140725491605832 140136116064892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 33378304 140725491614108 140725491614312 140725491614312 140725491617771 0
/proc/4345/statm: 2378 345 289 221 0 87 0
[pid=4347] ppid=4345 vsize=13980732 CPUtime=10.29 cores=1,3,5,7
/proc/4347/stat : 4347 (java) S 4345 4345 3187 0 -1 1077944320 29801 0 0 0 1021 8 0 0 20 0 15 0 3154261 14316269568 40375 18446744073709551615 4194304 4196468 140726484928160 140726484910704 139978909114103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
/proc/4347/statm: 3495183 40375 3195 1 0 3483484 0
[pid=4347/tid=4348] ppid=4345 vsize=13980732 CPUtime=6.16 cores=1,3,5,7
/proc/4347/task/4348/stat : 4348 (java) R 4345 4345 3187 0 -1 4202560 9975 0 0 0 613 3 0 0 20 0 15 0 3154262 14316269568 40375 18446744073709551615 4194304 4196468 140726484928160 139978913350864 139978510838375 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4349] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4349/stat : 4349 (java) S 4345 4345 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3154262 14316269568 40375 18446744073709551615 4194304 4196468 140726484928160 139978828528400 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4350] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4350/stat : 4350 (java) S 4345 4345 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3154262 14316269568 40375 18446744073709551615 4194304 4196468 140726484928160 139978827475856 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4351] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4351/stat : 4351 (java) S 4345 4345 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3154262 14316269568 40375 18446744073709551615 4194304 4196468 140726484928160 139978826423312 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4352] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4352/stat : 4352 (java) S 4345 4345 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3154262 14316269568 40375 18446744073709551615 4194304 4196468 140726484928160 139978825370768 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4353] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4353/stat : 4353 (java) S 4345 4345 3187 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 40375 18446744073709551615 4194304 4196468 140726484928160 139978387716080 139978909125250 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4354] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (java) S 4345 4345 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 40375 18446744073709551615 4194304 4196468 140726484928160 139978386662304 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4355] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4355/stat : 4355 (java) S 4345 4345 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 40375 18446744073709551615 4194304 4196468 140726484928160 139978385609712 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4356] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4356/stat : 4356 (java) S 4345 4345 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3154267 14316269568 40375 18446744073709551615 4194304 4196468 140726484928160 139978384558288 139978909132699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4357] ppid=4345 vsize=13980732 CPUtime=1.65 cores=1,3,5,7
/proc/4347/task/4357/stat : 4357 (java) S 4345 4345 3187 0 -1 1077944384 6883 0 0 0 165 0 0 0 20 0 15 0 3154267 14316269568 40375 18446744073709551615 4194304 4196468 140726484928160 139978383505904 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4358] ppid=4345 vsize=13980732 CPUtime=1.81 cores=1,3,5,7
/proc/4347/task/4358/stat : 4358 (java) S 4345 4345 3187 0 -1 1077944384 7368 0 0 0 180 1 0 0 20 0 15 0 3154267 14316269568 40375 18446744073709551615 4194304 4196468 140726484928160 139978382453360 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4359] ppid=4345 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/4347/task/4359/stat : 4359 (java) S 4345 4345 3187 0 -1 1077944384 3474 0 0 0 61 1 0 0 20 0 15 0 3154267 14316269568 40375 18446744073709551615 4194304 4196468 140726484928160 139978381400816 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4360] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4360/stat : 4360 (java) S 4345 4345 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3154267 14316269568 40375 18446744073709551615 4194304 4196468 140726484928160 139978380348512 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4361] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4361/stat : 4361 (java) S 4345 4345 3187 0 -1 1077944384 470 0 0 0 0 0 0 0 20 0 15 0 3154271 14316269568 40375 18446744073709551615 4194304 4196468 140726484928160 139978379295024 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.81 1.85 1.43 3/215 4368
/proc/meminfo: memFree=31695564/32770624 swapFree=0/159436
[pid=4345] ppid=4342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/4345/stat : 4345 (xcsp3-exec) S 4342 4345 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3154254 9740288 345 18446744073709551615 4194304 5098028 140725491607728 140725491605832 140136116064892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 33378304 140725491614108 140725491614312 140725491614312 140725491617771 0
/proc/4345/statm: 2378 345 289 221 0 87 0
[pid=4347] ppid=4345 vsize=13980732 CPUtime=17.82 cores=1,3,5,7
/proc/4347/stat : 4347 (java) S 4345 4345 3187 0 -1 1077944320 41433 0 0 0 1770 12 0 0 20 0 15 0 3154261 14316269568 55762 18446744073709551615 4194304 4196468 140726484928160 140726484910704 139978909114103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
/proc/4347/statm: 3495183 55762 3215 1 0 3483484 0
[pid=4347/tid=4348] ppid=4345 vsize=13980732 CPUtime=12.55 cores=1,3,5,7
/proc/4347/task/4348/stat : 4348 (java) R 4345 4345 3187 0 -1 4202560 11170 0 0 0 1250 5 0 0 20 0 15 0 3154262 14316269568 55762 18446744073709551615 4194304 4196468 140726484928160 139978913353712 139978507633022 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4349] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4349/stat : 4349 (java) S 4345 4345 3187 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 3154262 14316269568 55762 18446744073709551615 4194304 4196468 140726484928160 139978828528400 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4350] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4350/stat : 4350 (java) S 4345 4345 3187 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 3154262 14316269568 55762 18446744073709551615 4194304 4196468 140726484928160 139978827475856 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
################
# More data... #
################
[pid=4347/tid=4354] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (java) S 4345 4345 3187 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 59988 18446744073709551615 4194304 4196468 140726484928160 139978386662304 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4355] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4355/stat : 4355 (java) S 4345 4345 3187 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 59988 18446744073709551615 4194304 4196468 140726484928160 139978385609712 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4356] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4356/stat : 4356 (java) S 4345 4345 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3154267 14316269568 59988 18446744073709551615 4194304 4196468 140726484928160 139978384558288 139978909132699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4357] ppid=4345 vsize=13980732 CPUtime=2.52 cores=1,3,5,7
/proc/4347/task/4357/stat : 4357 (java) S 4345 4345 3187 0 -1 1077944384 15980 0 0 0 251 1 0 0 20 0 15 0 3154267 14316269568 59988 18446744073709551615 4194304 4196468 140726484928160 139978383505904 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4358] ppid=4345 vsize=13980732 CPUtime=2.65 cores=1,3,5,7
/proc/4347/task/4358/stat : 4358 (java) S 4345 4345 3187 0 -1 1077944384 13229 0 0 0 263 2 0 0 20 0 15 0 3154267 14316269568 59988 18446744073709551615 4194304 4196468 140726484928160 139978382453360 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4359] ppid=4345 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/4347/task/4359/stat : 4359 (java) S 4345 4345 3187 0 -1 1077944384 6099 0 0 0 69 2 0 0 20 0 15 0 3154267 14316269568 59988 18446744073709551615 4194304 4196468 140726484928160 139978381400816 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4360] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4360/stat : 4360 (java) S 4345 4345 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3154267 14316269568 59988 18446744073709551615 4194304 4196468 140726484928160 139978380348512 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4361] ppid=4345 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/4347/task/4361/stat : 4361 (java) S 4345 4345 3187 0 -1 1077944384 926 0 0 0 0 1 0 0 20 0 15 0 3154271 14316269568 59988 18446744073709551615 4194304 4196468 140726484928160 139978379295024 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
Current children cumulated CPU time (s) 108.29
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.94 1.88 1.51 3/215 4372
/proc/meminfo: memFree=31640328/32770624 swapFree=0/159540
[pid=4345] ppid=4342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/4345/stat : 4345 (xcsp3-exec) S 4342 4345 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3154254 9740288 345 18446744073709551615 4194304 5098028 140725491607728 140725491605832 140136116064892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 33378304 140725491614108 140725491614312 140725491614312 140725491617771 0
/proc/4345/statm: 2378 345 289 221 0 87 0
[pid=4347] ppid=4345 vsize=13980732 CPUtime=168.46 cores=1,3,5,7
/proc/4347/stat : 4347 (java) S 4345 4345 3187 0 -1 1077944320 63180 0 0 0 16826 20 0 0 20 0 15 0 3154261 14316269568 57713 18446744073709551615 4194304 4196468 140726484928160 140726484910704 139978909114103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
/proc/4347/statm: 3495183 57713 3222 1 0 3483484 0
[pid=4347/tid=4348] ppid=4345 vsize=13980732 CPUtime=162.08 cores=1,3,5,7
/proc/4347/task/4348/stat : 4348 (java) R 4345 4345 3187 0 -1 4202560 14082 0 0 0 16203 5 0 0 20 0 15 0 3154262 14316269568 57713 18446744073709551615 4194304 4196468 140726484928160 139978913351304 139978512614901 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4349] ppid=4345 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/4347/task/4349/stat : 4349 (java) S 4345 4345 3187 0 -1 1077944384 404 0 0 0 4 1 0 0 20 0 15 0 3154262 14316269568 57713 18446744073709551615 4194304 4196468 140726484928160 139978828528400 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4350] ppid=4345 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/4347/task/4350/stat : 4350 (java) S 4345 4345 3187 0 -1 1077944384 400 0 0 0 4 1 0 0 20 0 15 0 3154262 14316269568 57713 18446744073709551615 4194304 4196468 140726484928160 139978827475856 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4351] ppid=4345 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/4347/task/4351/stat : 4351 (java) S 4345 4345 3187 0 -1 1077944384 3118 0 0 0 4 1 0 0 20 0 15 0 3154262 14316269568 57713 18446744073709551615 4194304 4196468 140726484928160 139978826423312 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4352] ppid=4345 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/4347/task/4352/stat : 4352 (java) S 4345 4345 3187 0 -1 1077944384 2515 0 0 0 4 1 0 0 20 0 15 0 3154262 14316269568 57713 18446744073709551615 4194304 4196468 140726484928160 139978825370768 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4353] ppid=4345 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/4347/task/4353/stat : 4353 (java) S 4345 4345 3187 0 -1 1077944384 1449 0 0 0 2 0 0 0 20 0 15 0 3154264 14316269568 57713 18446744073709551615 4194304 4196468 140726484928160 139978387716080 139978909125250 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4354] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (java) S 4345 4345 3187 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 57713 18446744073709551615 4194304 4196468 140726484928160 139978386662304 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4355] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4355/stat : 4355 (java) S 4345 4345 3187 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 57713 18446744073709551615 4194304 4196468 140726484928160 139978385609712 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4356] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4356/stat : 4356 (java) S 4345 4345 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3154267 14316269568 57713 18446744073709551615 4194304 4196468 140726484928160 139978384558288 139978909132699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4357] ppid=4345 vsize=13980732 CPUtime=2.56 cores=1,3,5,7
/proc/4347/task/4357/stat : 4357 (java) S 4345 4345 3187 0 -1 1077944384 17042 0 0 0 255 1 0 0 20 0 15 0 3154267 14316269568 57713 18446744073709551615 4194304 4196468 140726484928160 139978383505904 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4358] ppid=4345 vsize=13980732 CPUtime=2.75 cores=1,3,5,7
/proc/4347/task/4358/stat : 4358 (java) S 4345 4345 3187 0 -1 1077944384 15128 0 0 0 273 2 0 0 20 0 15 0 3154267 14316269568 57713 18446744073709551615 4194304 4196468 140726484928160 139978382453360 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4359] ppid=4345 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/4347/task/4359/stat : 4359 (java) S 4345 4345 3187 0 -1 1077944384 6738 0 0 0 69 2 0 0 20 0 15 0 3154267 14316269568 57713 18446744073709551615 4194304 4196468 140726484928160 139978381400816 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4360] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4360/stat : 4360 (java) S 4345 4345 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3154267 14316269568 57713 18446744073709551615 4194304 4196468 140726484928160 139978380348512 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4361] ppid=4345 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/4347/task/4361/stat : 4361 (java) S 4345 4345 3187 0 -1 1077944384 956 0 0 0 1 2 0 0 20 0 15 0 3154271 14316269568 57713 18446744073709551615 4194304 4196468 140726484928160 139978379295024 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
Current children cumulated CPU time (s) 168.46
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.93 1.89 1.53 3/214 4534
/proc/meminfo: memFree=31726204/32770624 swapFree=0/159624
[pid=4345] ppid=4342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/4345/stat : 4345 (xcsp3-exec) S 4342 4345 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3154254 9740288 345 18446744073709551615 4194304 5098028 140725491607728 140725491605832 140136116064892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 33378304 140725491614108 140725491614312 140725491614312 140725491617771 0
/proc/4345/statm: 2378 345 289 221 0 87 0
[pid=4347] ppid=4345 vsize=13980732 CPUtime=228.53 cores=1,3,5,7
/proc/4347/stat : 4347 (java) S 4345 4345 3187 0 -1 1077944320 66428 0 0 0 22832 21 0 0 20 0 15 0 3154261 14316269568 51300 18446744073709551615 4194304 4196468 140726484928160 140726484910704 139978909114103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
/proc/4347/statm: 3495183 51300 3222 1 0 3483484 0
[pid=4347/tid=4348] ppid=4345 vsize=13980732 CPUtime=222.08 cores=1,3,5,7
/proc/4347/task/4348/stat : 4348 (java) R 4345 4345 3187 0 -1 4202560 14658 0 0 0 22202 6 0 0 20 0 15 0 3154262 14316269568 51300 18446744073709551615 4194304 4196468 140726484928160 139978913353568 139978509921280 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4349] ppid=4345 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/4347/task/4349/stat : 4349 (java) S 4345 4345 3187 0 -1 1077944384 412 0 0 0 5 1 0 0 20 0 15 0 3154262 14316269568 51300 18446744073709551615 4194304 4196468 140726484928160 139978828528400 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4350] ppid=4345 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/4347/task/4350/stat : 4350 (java) S 4345 4345 3187 0 -1 1077944384 419 0 0 0 5 1 0 0 20 0 15 0 3154262 14316269568 51300 18446744073709551615 4194304 4196468 140726484928160 139978827475856 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4351] ppid=4345 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/4347/task/4351/stat : 4351 (java) S 4345 4345 3187 0 -1 1077944384 3573 0 0 0 5 1 0 0 20 0 15 0 3154262 14316269568 51300 18446744073709551615 4194304 4196468 140726484928160 139978826423312 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4352] ppid=4345 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/4347/task/4352/stat : 4352 (java) S 4345 4345 3187 0 -1 1077944384 2552 0 0 0 5 1 0 0 20 0 15 0 3154262 14316269568 51300 18446744073709551615 4194304 4196468 140726484928160 139978825370768 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4353] ppid=4345 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/4347/task/4353/stat : 4353 (java) S 4345 4345 3187 0 -1 1077944384 1679 0 0 0 2 0 0 0 20 0 15 0 3154264 14316269568 51300 18446744073709551615 4194304 4196468 140726484928160 139978387716080 139978909125250 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4354] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (java) S 4345 4345 3187 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 51300 18446744073709551615 4194304 4196468 140726484928160 139978386662304 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4355] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4355/stat : 4355 (java) S 4345 4345 3187 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 51300 18446744073709551615 4194304 4196468 140726484928160 139978385609712 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4356] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4356/stat : 4356 (java) S 4345 4345 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3154267 14316269568 51300 18446744073709551615 4194304 4196468 140726484928160 139978384558288 139978909132699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4357] ppid=4345 vsize=13980732 CPUtime=2.57 cores=1,3,5,7
/proc/4347/task/4357/stat : 4357 (java) S 4345 4345 3187 0 -1 1077944384 17313 0 0 0 256 1 0 0 20 0 15 0 3154267 14316269568 51300 18446744073709551615 4194304 4196468 140726484928160 139978383505904 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4358] ppid=4345 vsize=13980732 CPUtime=2.77 cores=1,3,5,7
/proc/4347/task/4358/stat : 4358 (java) S 4345 4345 3187 0 -1 1077944384 15903 0 0 0 275 2 0 0 20 0 15 0 3154267 14316269568 51300 18446744073709551615 4194304 4196468 140726484928160 139978382453360 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4359] ppid=4345 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/4347/task/4359/stat : 4359 (java) S 4345 4345 3187 0 -1 1077944384 7586 0 0 0 69 2 0 0 20 0 15 0 3154267 14316269568 51300 18446744073709551615 4194304 4196468 140726484928160 139978381400816 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4360] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4360/stat : 4360 (java) S 4345 4345 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3154267 14316269568 51300 18446744073709551615 4194304 4196468 140726484928160 139978380348512 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4361] ppid=4345 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/4347/task/4361/stat : 4361 (java) S 4345 4345 3187 0 -1 1077944384 985 0 0 0 1 3 0 0 20 0 15 0 3154271 14316269568 51300 18446744073709551615 4194304 4196468 140726484928160 139978379295024 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
Current children cumulated CPU time (s) 228.53
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.80 1.87 1.53 3/214 4534
/proc/meminfo: memFree=31736020/32770624 swapFree=0/159640
[pid=4345] ppid=4342 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/4345/stat : 4345 (xcsp3-exec) S 4342 4345 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3154254 9740288 345 18446744073709551615 4194304 5098028 140725491607728 140725491605832 140136116064892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 33378304 140725491614108 140725491614312 140725491614312 140725491617771 0
/proc/4345/statm: 2378 345 289 221 0 87 0
[pid=4347] ppid=4345 vsize=13980732 CPUtime=246.23 cores=1,3,5,7
/proc/4347/stat : 4347 (java) S 4345 4345 3187 0 -1 1077944320 66454 0 0 0 24602 21 0 0 20 0 15 0 3154261 14316269568 49120 18446744073709551615 4194304 4196468 140726484928160 140726484910704 139978909114103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
/proc/4347/statm: 3495183 49120 3222 1 0 3483484 0
[pid=4347/tid=4348] ppid=4345 vsize=13980732 CPUtime=239.76 cores=1,3,5,7
/proc/4347/task/4348/stat : 4348 (java) R 4345 4345 3187 0 -1 4202560 14665 0 0 0 23970 6 0 0 20 0 15 0 3154262 14316269568 49120 18446744073709551615 4194304 4196468 140726484928160 139978913353536 139978507633022 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4349] ppid=4345 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/4347/task/4349/stat : 4349 (java) S 4345 4345 3187 0 -1 1077944384 416 0 0 0 5 2 0 0 20 0 15 0 3154262 14316269568 49120 18446744073709551615 4194304 4196468 140726484928160 139978828528400 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4350] ppid=4345 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/4347/task/4350/stat : 4350 (java) S 4345 4345 3187 0 -1 1077944384 419 0 0 0 5 1 0 0 20 0 15 0 3154262 14316269568 49120 18446744073709551615 4194304 4196468 140726484928160 139978827475856 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4351] ppid=4345 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/4347/task/4351/stat : 4351 (java) S 4345 4345 3187 0 -1 1077944384 3576 0 0 0 5 1 0 0 20 0 15 0 3154262 14316269568 49120 18446744073709551615 4194304 4196468 140726484928160 139978826423312 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4352] ppid=4345 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/4347/task/4352/stat : 4352 (java) S 4345 4345 3187 0 -1 1077944384 2556 0 0 0 5 1 0 0 20 0 15 0 3154262 14316269568 49120 18446744073709551615 4194304 4196468 140726484928160 139978825370768 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4353] ppid=4345 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/4347/task/4353/stat : 4353 (java) S 4345 4345 3187 0 -1 1077944384 1687 0 0 0 3 0 0 0 20 0 15 0 3154264 14316269568 49120 18446744073709551615 4194304 4196468 140726484928160 139978387716080 139978909125250 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4354] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (java) S 4345 4345 3187 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 49120 18446744073709551615 4194304 4196468 140726484928160 139978386662304 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4355] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4355/stat : 4355 (java) S 4345 4345 3187 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 3154264 14316269568 49120 18446744073709551615 4194304 4196468 140726484928160 139978385609712 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4356] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4356/stat : 4356 (java) S 4345 4345 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3154267 14316269568 49120 18446744073709551615 4194304 4196468 140726484928160 139978384558288 139978909132699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4357] ppid=4345 vsize=13980732 CPUtime=2.57 cores=1,3,5,7
/proc/4347/task/4357/stat : 4357 (java) S 4345 4345 3187 0 -1 1077944384 17313 0 0 0 256 1 0 0 20 0 15 0 3154267 14316269568 49120 18446744073709551615 4194304 4196468 140726484928160 139978383505904 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4358] ppid=4345 vsize=13980732 CPUtime=2.77 cores=1,3,5,7
/proc/4347/task/4358/stat : 4358 (java) S 4345 4345 3187 0 -1 1077944384 15903 0 0 0 275 2 0 0 20 0 15 0 3154267 14316269568 49120 18446744073709551615 4194304 4196468 140726484928160 139978382453360 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4359] ppid=4345 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/4347/task/4359/stat : 4359 (java) S 4345 4345 3187 0 -1 1077944384 7586 0 0 0 69 2 0 0 20 0 15 0 3154267 14316269568 49120 18446744073709551615 4194304 4196468 140726484928160 139978381400816 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4360] ppid=4345 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4360/stat : 4360 (java) S 4345 4345 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3154267 14316269568 49120 18446744073709551615 4194304 4196468 140726484928160 139978380348512 139978909124309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
[pid=4347/tid=4361] ppid=4345 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/4347/task/4361/stat : 4361 (java) S 4345 4345 3187 0 -1 1077944384 985 0 0 0 2 3 0 0 20 0 15 0 3154271 14316269568 49120 18446744073709551615 4194304 4196468 140726484928160 139978379295024 139978909125250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30646272 140726484935125 140726484935300 140726484935300 140726484938703 0
Current children cumulated CPU time (s) 246.23
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 4347 sig 9
??? kill 4345 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 4345 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=879
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1280
# CPU time returned by wait4() is 0.002159
# while last known CPU time is 246.23
#
# 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): 246.23
CPU user time (s): 246.02
CPU system time (s): 0.21
CPU usage (%): 102.591
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000879
system time used= 0.00128
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 1.24184 second user time and 1.23299 second system time
The end