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-4255285-1501979552/watcher-4255285-1501979552 -o /tmp/evaluation-result-4255285-1501979552/solver-4255285-1501979552 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501978204-32403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1257513498 HOME/instance-4255285-1501979552.xml
pid=484
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.82 1.92 1.91 2/199 487
/proc/meminfo: memFree=31362556/32770624 swapFree=0/280240
[pid=487] ppid=484 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/487/stat : 487 (runsolver) D 484 487 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 45770494 24240128 108 18446744073709551615 4194304 4338465 140729881980384 140729881978024 140410451727063 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 38219776 140729881985122 140729881985612 140729881985612 140729881989066 0
/proc/487/statm: 5918 108 54 36 0 2156 0
[startup+0.100089 s]
/proc/loadavg: 1.82 1.92 1.91 2/199 487
/proc/meminfo: memFree=31362556/32770624 swapFree=0/280240
[pid=487] ppid=484 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/487/stat : 487 (xcsp3-exec) S 484 487 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45770494 9740288 345 18446744073709551615 4194304 5098028 140727082922432 140727082920536 140128090698364 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31887360 140727082926497 140727082926701 140727082926701 140727082930155 0
/proc/487/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200599 s]
/proc/loadavg: 1.82 1.92 1.91 2/199 487
/proc/meminfo: memFree=31362556/32770624 swapFree=0/280240
[pid=487] ppid=484 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/487/stat : 487 (xcsp3-exec) S 484 487 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45770494 9740288 345 18446744073709551615 4194304 5098028 140727082922432 140727082920536 140128090698364 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31887360 140727082926497 140727082926701 140727082926701 140727082930155 0
/proc/487/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300195 s]
/proc/loadavg: 1.82 1.92 1.91 2/199 487
/proc/meminfo: memFree=31362556/32770624 swapFree=0/280240
[pid=487] ppid=484 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/487/stat : 487 (xcsp3-exec) S 484 487 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45770494 9740288 345 18446744073709551615 4194304 5098028 140727082922432 140727082920536 140128090698364 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31887360 140727082926497 140727082926701 140727082926701 140727082930155 0
/proc/487/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700153 s]
/proc/loadavg: 1.82 1.92 1.91 2/199 487
/proc/meminfo: memFree=31362556/32770624 swapFree=0/280240
[pid=487] ppid=484 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/487/stat : 487 (xcsp3-exec) S 484 487 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45770494 9740288 345 18446744073709551615 4194304 5098028 140727082922432 140727082920536 140128090698364 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31887360 140727082926497 140727082926701 140727082926701 140727082930155 0
/proc/487/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50063 s]
/proc/loadavg: 1.82 1.92 1.91 5/215 504
/proc/meminfo: memFree=31270192/32770624 swapFree=0/280268
[pid=487] ppid=484 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/487/stat : 487 (xcsp3-exec) S 484 487 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45770494 9740288 345 18446744073709551615 4194304 5098028 140727082922432 140727082920536 140128090698364 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31887360 140727082926497 140727082926701 140727082926701 140727082930155 0
/proc/487/statm: 2378 345 289 221 0 87 0
[pid=489] ppid=487 vsize=13983732 CPUtime=3.63 cores=0,2,4,6
/proc/489/stat : 489 (java) S 487 487 30500 0 -1 1077944320 42062 0 0 0 354 9 0 0 20 0 15 0 45770504 14319341568 32019 18446744073709551615 4194304 4196468 140726640509744 140726640492288 139964746972919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
/proc/489/statm: 3495933 32019 3188 1 0 3484226 0
[pid=489/tid=490] ppid=487 vsize=13983732 CPUtime=1.34 cores=0,2,4,6
/proc/489/task/490/stat : 490 (java) R 487 487 30500 0 -1 4202560 9613 0 0 0 130 4 0 0 20 0 15 0 45770504 14319341568 32019 18446744073709551615 4194304 4196468 140726640509744 139964751207200 139964348436658 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=491] ppid=487 vsize=13983732 CPUtime=0 cores=0,2,4,6
/proc/489/task/491/stat : 491 (java) S 487 487 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45770505 14319341568 32019 18446744073709551615 4194304 4196468 140726640509744 139964666387472 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=492] ppid=487 vsize=13983732 CPUtime=0 cores=0,2,4,6
/proc/489/task/492/stat : 492 (java) S 487 487 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45770505 14319341568 32019 18446744073709551615 4194304 4196468 140726640509744 139964665334928 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=493] ppid=487 vsize=13983732 CPUtime=0 cores=0,2,4,6
/proc/489/task/493/stat : 493 (java) S 487 487 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45770505 14319341568 32019 18446744073709551615 4194304 4196468 140726640509744 139964664281872 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=494] ppid=487 vsize=13983732 CPUtime=0 cores=0,2,4,6
/proc/489/task/494/stat : 494 (java) S 487 487 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45770505 14319341568 32019 18446744073709551615 4194304 4196468 140726640509744 139964343905168 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=495] ppid=487 vsize=13983732 CPUtime=0 cores=0,2,4,6
/proc/489/task/495/stat : 495 (java) S 487 487 30500 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 45770506 14319341568 32019 18446744073709551615 4194304 4196468 140726640509744 139964225505520 139964746984066 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=496] ppid=487 vsize=13983732 CPUtime=0 cores=0,2,4,6
/proc/489/task/496/stat : 496 (java) S 487 487 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45770506 14319341568 32019 18446744073709551615 4194304 4196468 140726640509744 139964224451744 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=497] ppid=487 vsize=13983732 CPUtime=0 cores=0,2,4,6
/proc/489/task/497/stat : 497 (java) S 487 487 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45770507 14319341568 32019 18446744073709551615 4194304 4196468 140726640509744 139964223398640 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=498] ppid=487 vsize=13983732 CPUtime=0 cores=0,2,4,6
/proc/489/task/498/stat : 498 (java) S 487 487 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45770509 14319341568 32019 18446744073709551615 4194304 4196468 140726640509744 139964222347216 139964746991515 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=499] ppid=487 vsize=13983732 CPUtime=0.86 cores=0,2,4,6
/proc/489/task/499/stat : 499 (java) R 487 487 30500 0 -1 4202560 11426 0 0 0 85 1 0 0 20 0 15 0 45770509 14319341568 32019 18446744073709551615 4194304 4196468 140726640509744 139964221276360 139964730436646 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=500] ppid=487 vsize=13983732 CPUtime=0.9 cores=0,2,4,6
/proc/489/task/500/stat : 500 (java) R 487 487 30500 0 -1 4202560 15439 0 0 0 88 2 0 0 20 0 15 0 45770509 14319341568 32019 18446744073709551615 4194304 4196468 140726640509744 139964220228680 139964728517072 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=502] ppid=487 vsize=13983732 CPUtime=0.5 cores=0,2,4,6
/proc/489/task/502/stat : 502 (java) S 487 487 30500 0 -1 1077944384 4264 0 0 0 49 1 0 0 20 0 15 0 45770509 14319341568 32019 18446744073709551615 4194304 4196468 140726640509744 139964219189744 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=503] ppid=487 vsize=13983732 CPUtime=0 cores=0,2,4,6
/proc/489/task/503/stat : 503 (java) S 487 487 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45770509 14319341568 32019 18446744073709551615 4194304 4196468 140726640509744 139964218137440 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=504] ppid=487 vsize=13983732 CPUtime=0 cores=0,2,4,6
/proc/489/task/504/stat : 504 (java) S 487 487 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45770513 14319341568 32019 18446744073709551615 4194304 4196468 140726640509744 139964217084464 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 13993244
[startup+3.10066 s]
/proc/loadavg: 2.08 1.97 1.93 5/215 504
/proc/meminfo: memFree=31201476/32770624 swapFree=0/280272
[pid=487] ppid=484 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/487/stat : 487 (xcsp3-exec) S 484 487 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45770494 9740288 345 18446744073709551615 4194304 5098028 140727082922432 140727082920536 140128090698364 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31887360 140727082926497 140727082926701 140727082926701 140727082930155 0
/proc/487/statm: 2378 345 289 221 0 87 0
[pid=489] ppid=487 vsize=13980732 CPUtime=8.48 cores=0,2,4,6
/proc/489/stat : 489 (java) S 487 487 30500 0 -1 1077944320 60425 0 0 0 836 12 0 0 20 0 15 0 45770504 14316269568 46879 18446744073709551615 4194304 4196468 140726640509744 140726640492288 139964746972919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
/proc/489/statm: 3495183 46879 3188 1 0 3483476 0
[pid=489/tid=490] ppid=487 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/489/task/490/stat : 490 (java) R 487 487 30500 0 -1 4202560 10401 0 0 0 290 4 0 0 20 0 15 0 45770504 14316269568 46879 18446744073709551615 4194304 4196468 140726640509744 139964751211872 139964746984854 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=491] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/491/stat : 491 (java) S 487 487 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45770505 14316269568 46879 18446744073709551615 4194304 4196468 140726640509744 139964666387472 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=492] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/492/stat : 492 (java) S 487 487 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45770505 14316269568 46879 18446744073709551615 4194304 4196468 140726640509744 139964665334928 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=493] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/493/stat : 493 (java) S 487 487 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45770505 14316269568 46879 18446744073709551615 4194304 4196468 140726640509744 139964664281872 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=494] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/494/stat : 494 (java) S 487 487 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45770505 14316269568 46879 18446744073709551615 4194304 4196468 140726640509744 139964343905168 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=495] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/495/stat : 495 (java) S 487 487 30500 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 45770506 14316269568 46879 18446744073709551615 4194304 4196468 140726640509744 139964225505520 139964746984066 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=496] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/496/stat : 496 (java) S 487 487 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45770506 14316269568 46879 18446744073709551615 4194304 4196468 140726640509744 139964224451744 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=497] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/497/stat : 497 (java) S 487 487 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45770507 14316269568 46879 18446744073709551615 4194304 4196468 140726640509744 139964223398640 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=498] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/498/stat : 498 (java) S 487 487 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45770509 14316269568 46879 18446744073709551615 4194304 4196468 140726640509744 139964222347216 139964746991515 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=499] ppid=487 vsize=13980732 CPUtime=2.46 cores=0,2,4,6
/proc/489/task/499/stat : 499 (java) R 487 487 30500 0 -1 4202560 20883 0 0 0 244 2 0 0 20 0 15 0 45770509 14316269568 46879 18446744073709551615 4194304 4196468 140726640509744 139964221276944 139964726658857 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=500] ppid=487 vsize=13980732 CPUtime=2.49 cores=0,2,4,6
/proc/489/task/500/stat : 500 (java) R 487 487 30500 0 -1 4202560 22273 0 0 0 247 2 0 0 20 0 15 0 45770509 14316269568 46879 18446744073709551615 4194304 4196468 140726640509744 139964220229056 139964728492598 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=502] ppid=487 vsize=13980732 CPUtime=0.55 cores=0,2,4,6
/proc/489/task/502/stat : 502 (java) S 487 487 30500 0 -1 1077944384 5509 0 0 0 53 2 0 0 20 0 15 0 45770509 14316269568 46879 18446744073709551615 4194304 4196468 140726640509744 139964219189744 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=503] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/503/stat : 503 (java) S 487 487 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45770509 14316269568 46879 18446744073709551615 4194304 4196468 140726640509744 139964218137440 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=504] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/504/stat : 504 (java) S 487 487 30500 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 45770513 14316269568 46879 18446744073709551615 4194304 4196468 140726640509744 139964217084464 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
Current children cumulated CPU time (s) 8.48
Current children cumulated vsize (KiB) 13990244
[startup+6.30069 s]
/proc/loadavg: 2.08 1.97 1.93 5/215 504
/proc/meminfo: memFree=31158200/32770624 swapFree=0/280272
[pid=487] ppid=484 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/487/stat : 487 (xcsp3-exec) S 484 487 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45770494 9740288 345 18446744073709551615 4194304 5098028 140727082922432 140727082920536 140128090698364 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31887360 140727082926497 140727082926701 140727082926701 140727082930155 0
/proc/487/statm: 2378 345 289 221 0 87 0
[pid=489] ppid=487 vsize=13980732 CPUtime=18.19 cores=0,2,4,6
/proc/489/stat : 489 (java) S 487 487 30500 0 -1 1077944320 88493 0 0 0 1805 14 0 0 20 0 15 0 45770504 14316269568 58534 18446744073709551615 4194304 4196468 140726640509744 140726640492288 139964746972919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
/proc/489/statm: 3495183 58534 3210 1 0 3483476 0
[pid=489/tid=490] ppid=487 vsize=13980732 CPUtime=6.14 cores=0,2,4,6
/proc/489/task/490/stat : 490 (java) R 487 487 30500 0 -1 4202560 11670 0 0 0 609 5 0 0 20 0 15 0 45770504 14316269568 58534 18446744073709551615 4194304 4196468 140726640509744 139964751209680 139964350555815 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=491] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/491/stat : 491 (java) S 487 487 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45770505 14316269568 58534 18446744073709551615 4194304 4196468 140726640509744 139964666387472 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=492] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/492/stat : 492 (java) S 487 487 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45770505 14316269568 58534 18446744073709551615 4194304 4196468 140726640509744 139964665334928 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=493] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/493/stat : 493 (java) S 487 487 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45770505 14316269568 58534 18446744073709551615 4194304 4196468 140726640509744 139964664281872 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=494] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/494/stat : 494 (java) S 487 487 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45770505 14316269568 58534 18446744073709551615 4194304 4196468 140726640509744 139964343905168 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=495] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/495/stat : 495 (java) S 487 487 30500 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 45770506 14316269568 58534 18446744073709551615 4194304 4196468 140726640509744 139964225505520 139964746984066 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=496] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/496/stat : 496 (java) S 487 487 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45770506 14316269568 58534 18446744073709551615 4194304 4196468 140726640509744 139964224451744 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=497] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/497/stat : 497 (java) S 487 487 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45770507 14316269568 58534 18446744073709551615 4194304 4196468 140726640509744 139964223398640 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=498] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/498/stat : 498 (java) S 487 487 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45770509 14316269568 58534 18446744073709551615 4194304 4196468 140726640509744 139964222347216 139964746991515 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=499] ppid=487 vsize=13980732 CPUtime=5.66 cores=0,2,4,6
/proc/489/task/499/stat : 499 (java) R 487 487 30500 0 -1 4202560 37931 0 0 0 563 3 0 0 20 0 15 0 45770509 14316269568 58534 18446744073709551615 4194304 4196468 140726640509744 139964221285936 139964732082485 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=500] ppid=487 vsize=13980732 CPUtime=5.7 cores=0,2,4,6
/proc/489/task/500/stat : 500 (java) R 487 487 30500 0 -1 4202560 30550 0 0 0 567 3 0 0 20 0 15 0 45770509 14316269568 58534 18446744073709551615 4194304 4196468 140726640509744 139964220227552 139964730473316 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=502] ppid=487 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/489/task/502/stat : 502 (java) S 487 487 30500 0 -1 1077944384 6201 0 0 0 64 2 0 0 20 0 15 0 45770509 14316269568 58534 18446744073709551615 4194304 4196468 140726640509744 139964219189744 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=503] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/503/stat : 503 (java) S 487 487 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45770509 14316269568 58534 18446744073709551615 4194304 4196468 140726640509744 139964218137440 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=504] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/504/stat : 504 (java) S 487 487 30500 0 -1 1077944384 568 0 0 0 0 0 0 0 20 0 15 0 45770513 14316269568 58534 18446744073709551615 4194304 4196468 140726640509744 139964217084464 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
Current children cumulated CPU time (s) 18.19
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.07 1.97 1.93 3/215 504
/proc/meminfo: memFree=31093512/32770624 swapFree=0/280276
[pid=487] ppid=484 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/487/stat : 487 (xcsp3-exec) S 484 487 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45770494 9740288 345 18446744073709551615 4194304 5098028 140727082922432 140727082920536 140128090698364 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31887360 140727082926497 140727082926701 140727082926701 140727082930155 0
/proc/487/statm: 2378 345 289 221 0 87 0
[pid=489] ppid=487 vsize=13980732 CPUtime=29.83 cores=0,2,4,6
/proc/489/stat : 489 (java) S 487 487 30500 0 -1 1077944320 105956 0 0 0 2964 19 0 0 20 0 15 0 45770504 14316269568 72151 18446744073709551615 4194304 4196468 140726640509744 140726640492288 139964746972919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
/proc/489/statm: 3495183 72151 3238 1 0 3483476 0
[pid=489/tid=490] ppid=487 vsize=13980732 CPUtime=12.5 cores=0,2,4,6
/proc/489/task/490/stat : 490 (java) R 487 487 30500 0 -1 4202560 12896 0 0 0 1245 5 0 0 20 0 15 0 45770504 14316269568 72151 18446744073709551615 4194304 4196468 140726640509744 139964751211600 139964354292739 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=491] ppid=487 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/489/task/491/stat : 491 (java) S 487 487 30500 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 15 0 45770505 14316269568 72151 18446744073709551615 4194304 4196468 140726640509744 139964666387472 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=492] ppid=487 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/489/task/492/stat : 492 (java) S 487 487 30500 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 15 0 45770505 14316269568 72151 18446744073709551615 4194304 4196468 140726640509744 139964665334928 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
################
# More data... #
################
[pid=489/tid=496] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/496/stat : 496 (java) S 487 487 30500 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 45770506 14316269568 72822 18446744073709551615 4194304 4196468 140726640509744 139964224451808 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=497] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/497/stat : 497 (java) S 487 487 30500 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 45770507 14316269568 72822 18446744073709551615 4194304 4196468 140726640509744 139964223398640 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=498] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/498/stat : 498 (java) S 487 487 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45770509 14316269568 72822 18446744073709551615 4194304 4196468 140726640509744 139964222347216 139964746991515 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=499] ppid=487 vsize=13980732 CPUtime=9.23 cores=0,2,4,6
/proc/489/task/499/stat : 499 (java) S 487 487 30500 0 -1 1077944384 53515 0 0 0 919 4 0 0 20 0 15 0 45770509 14316269568 72822 18446744073709551615 4194304 4196468 140726640509744 139964221295344 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=500] ppid=487 vsize=13980732 CPUtime=8.86 cores=0,2,4,6
/proc/489/task/500/stat : 500 (java) S 487 487 30500 0 -1 1077944384 45049 0 0 0 882 4 0 0 20 0 15 0 45770509 14316269568 72822 18446744073709551615 4194304 4196468 140726640509744 139964220242800 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=502] ppid=487 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/489/task/502/stat : 502 (java) S 487 487 30500 0 -1 1077944384 11240 0 0 0 93 3 0 0 20 0 15 0 45770509 14316269568 72822 18446744073709551615 4194304 4196468 140726640509744 139964219189744 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=503] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/503/stat : 503 (java) S 487 487 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45770509 14316269568 72822 18446744073709551615 4194304 4196468 140726640509744 139964218137440 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=504] ppid=487 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/489/task/504/stat : 504 (java) S 487 487 30500 0 -1 1077944384 862 0 0 0 1 2 0 0 20 0 15 0 45770513 14316269568 72822 18446744073709551615 4194304 4196468 140726640509744 139964217084464 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
Current children cumulated CPU time (s) 121.69
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.73 1.87 1.90 3/219 526
/proc/meminfo: memFree=31022224/32770624 swapFree=0/280432
[pid=487] ppid=484 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/487/stat : 487 (xcsp3-exec) S 484 487 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45770494 9740288 345 18446744073709551615 4194304 5098028 140727082922432 140727082920536 140128090698364 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31887360 140727082926497 140727082926701 140727082926701 140727082930155 0
/proc/487/statm: 2378 345 289 221 0 87 0
[pid=489] ppid=487 vsize=13980732 CPUtime=182.38 cores=0,2,4,6
/proc/489/stat : 489 (java) S 487 487 30500 0 -1 1077944320 137272 0 0 0 18202 36 0 0 20 0 15 0 45770504 14316269568 75036 18446744073709551615 4194304 4196468 140726640509744 140726640492288 139964746972919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
/proc/489/statm: 3495183 75036 3251 1 0 3483476 0
[pid=489/tid=490] ppid=487 vsize=13980732 CPUtime=161.8 cores=0,2,4,6
/proc/489/task/490/stat : 490 (java) R 487 487 30500 0 -1 4202560 17799 0 0 0 16174 6 0 0 20 0 15 0 45770504 14316269568 75036 18446744073709551615 4194304 4196468 140726640509744 139964751209416 139964349502503 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=491] ppid=487 vsize=13980732 CPUtime=0.26 cores=0,2,4,6
/proc/489/task/491/stat : 491 (java) S 487 487 30500 0 -1 1077944384 633 0 0 0 23 3 0 0 20 0 15 0 45770505 14316269568 75036 18446744073709551615 4194304 4196468 140726640509744 139964666387472 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=492] ppid=487 vsize=13980732 CPUtime=0.26 cores=0,2,4,6
/proc/489/task/492/stat : 492 (java) S 487 487 30500 0 -1 1077944384 688 0 0 0 23 3 0 0 20 0 15 0 45770505 14316269568 75036 18446744073709551615 4194304 4196468 140726640509744 139964665334928 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=493] ppid=487 vsize=13980732 CPUtime=0.26 cores=0,2,4,6
/proc/489/task/493/stat : 493 (java) S 487 487 30500 0 -1 1077944384 1773 0 0 0 23 3 0 0 20 0 15 0 45770505 14316269568 75036 18446744073709551615 4194304 4196468 140726640509744 139964664281872 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=494] ppid=487 vsize=13980732 CPUtime=0.26 cores=0,2,4,6
/proc/489/task/494/stat : 494 (java) S 487 487 30500 0 -1 1077944384 1588 0 0 0 23 3 0 0 20 0 15 0 45770505 14316269568 75036 18446744073709551615 4194304 4196468 140726640509744 139964343905168 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=495] ppid=487 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/489/task/495/stat : 495 (java) S 487 487 30500 0 -1 1077944384 1403 0 0 0 3 1 0 0 20 0 15 0 45770506 14316269568 75036 18446744073709551615 4194304 4196468 140726640509744 139964225505520 139964746984066 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=496] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/496/stat : 496 (java) S 487 487 30500 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 45770506 14316269568 75036 18446744073709551615 4194304 4196468 140726640509744 139964224451808 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=497] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/497/stat : 497 (java) S 487 487 30500 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 45770507 14316269568 75036 18446744073709551615 4194304 4196468 140726640509744 139964223398640 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=498] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/498/stat : 498 (java) S 487 487 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45770509 14316269568 75036 18446744073709551615 4194304 4196468 140726640509744 139964222347216 139964746991515 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=499] ppid=487 vsize=13980732 CPUtime=9.32 cores=0,2,4,6
/proc/489/task/499/stat : 499 (java) S 487 487 30500 0 -1 1077944384 53572 0 0 0 928 4 0 0 20 0 15 0 45770509 14316269568 75036 18446744073709551615 4194304 4196468 140726640509744 139964221295344 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=500] ppid=487 vsize=13980732 CPUtime=9.06 cores=0,2,4,6
/proc/489/task/500/stat : 500 (java) S 487 487 30500 0 -1 1077944384 46220 0 0 0 902 4 0 0 20 0 15 0 45770509 14316269568 75036 18446744073709551615 4194304 4196468 140726640509744 139964220242800 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=502] ppid=487 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/489/task/502/stat : 502 (java) S 487 487 30500 0 -1 1077944384 11376 0 0 0 94 3 0 0 20 0 15 0 45770509 14316269568 75036 18446744073709551615 4194304 4196468 140726640509744 139964219189744 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=503] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/503/stat : 503 (java) S 487 487 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45770509 14316269568 75036 18446744073709551615 4194304 4196468 140726640509744 139964218137440 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=504] ppid=487 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/489/task/504/stat : 504 (java) S 487 487 30500 0 -1 1077944384 869 0 0 0 2 3 0 0 20 0 15 0 45770513 14316269568 75036 18446744073709551615 4194304 4196468 140726640509744 139964217084464 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
Current children cumulated CPU time (s) 182.38
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.66 1.82 1.88 2/197 532
/proc/meminfo: memFree=31380336/32770624 swapFree=0/280492
[pid=487] ppid=484 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/487/stat : 487 (xcsp3-exec) S 484 487 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45770494 9740288 345 18446744073709551615 4194304 5098028 140727082922432 140727082920536 140128090698364 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31887360 140727082926497 140727082926701 140727082926701 140727082930155 0
/proc/487/statm: 2378 345 289 221 0 87 0
[pid=489] ppid=487 vsize=13980732 CPUtime=242.75 cores=0,2,4,6
/proc/489/stat : 489 (java) S 487 487 30500 0 -1 1077944320 141918 0 0 0 24234 41 0 0 20 0 15 0 45770504 14316269568 78407 18446744073709551615 4194304 4196468 140726640509744 140726640492288 139964746972919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
/proc/489/statm: 3495183 78407 3251 1 0 3483476 0
[pid=489/tid=490] ppid=487 vsize=13980732 CPUtime=221.69 cores=0,2,4,6
/proc/489/task/490/stat : 490 (java) R 487 487 30500 0 -1 4202560 18632 0 0 0 22163 6 0 0 20 0 15 0 45770504 14316269568 78407 18446744073709551615 4194304 4196468 140726640509744 139964751210664 139964355785112 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=491] ppid=487 vsize=13980732 CPUtime=0.35 cores=0,2,4,6
/proc/489/task/491/stat : 491 (java) S 487 487 30500 0 -1 1077944384 687 0 0 0 31 4 0 0 20 0 15 0 45770505 14316269568 78407 18446744073709551615 4194304 4196468 140726640509744 139964666387472 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=492] ppid=487 vsize=13980732 CPUtime=0.35 cores=0,2,4,6
/proc/489/task/492/stat : 492 (java) S 487 487 30500 0 -1 1077944384 762 0 0 0 31 4 0 0 20 0 15 0 45770505 14316269568 78407 18446744073709551615 4194304 4196468 140726640509744 139964665334928 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=493] ppid=487 vsize=13980732 CPUtime=0.35 cores=0,2,4,6
/proc/489/task/493/stat : 493 (java) S 487 487 30500 0 -1 1077944384 1810 0 0 0 31 4 0 0 20 0 15 0 45770505 14316269568 78407 18446744073709551615 4194304 4196468 140726640509744 139964664281872 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=494] ppid=487 vsize=13980732 CPUtime=0.35 cores=0,2,4,6
/proc/489/task/494/stat : 494 (java) S 487 487 30500 0 -1 1077944384 1793 0 0 0 31 4 0 0 20 0 15 0 45770505 14316269568 78407 18446744073709551615 4194304 4196468 140726640509744 139964343905168 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=495] ppid=487 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/489/task/495/stat : 495 (java) S 487 487 30500 0 -1 1077944384 1518 0 0 0 4 1 0 0 20 0 15 0 45770506 14316269568 78407 18446744073709551615 4194304 4196468 140726640509744 139964225505520 139964746984066 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=496] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/496/stat : 496 (java) S 487 487 30500 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 45770506 14316269568 78407 18446744073709551615 4194304 4196468 140726640509744 139964224451808 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=497] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/497/stat : 497 (java) S 487 487 30500 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 45770507 14316269568 78407 18446744073709551615 4194304 4196468 140726640509744 139964223398640 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=498] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/498/stat : 498 (java) S 487 487 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45770509 14316269568 78407 18446744073709551615 4194304 4196468 140726640509744 139964222347216 139964746991515 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=499] ppid=487 vsize=13980732 CPUtime=9.36 cores=0,2,4,6
/proc/489/task/499/stat : 499 (java) S 487 487 30500 0 -1 1077944384 54953 0 0 0 932 4 0 0 20 0 15 0 45770509 14316269568 78407 18446744073709551615 4194304 4196468 140726640509744 139964221295344 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=500] ppid=487 vsize=13980732 CPUtime=9.1 cores=0,2,4,6
/proc/489/task/500/stat : 500 (java) S 487 487 30500 0 -1 1077944384 47435 0 0 0 906 4 0 0 20 0 15 0 45770509 14316269568 78407 18446744073709551615 4194304 4196468 140726640509744 139964220242800 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=502] ppid=487 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/489/task/502/stat : 502 (java) S 487 487 30500 0 -1 1077944384 12073 0 0 0 94 3 0 0 20 0 15 0 45770509 14316269568 78407 18446744073709551615 4194304 4196468 140726640509744 139964219189744 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=503] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/503/stat : 503 (java) S 487 487 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45770509 14316269568 78407 18446744073709551615 4194304 4196468 140726640509744 139964218137440 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=504] ppid=487 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/489/task/504/stat : 504 (java) S 487 487 30500 0 -1 1077944384 904 0 0 0 2 4 0 0 20 0 15 0 45770513 14316269568 78407 18446744073709551615 4194304 4196468 140726640509744 139964217084464 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
Current children cumulated CPU time (s) 242.75
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.65 1.81 1.88 5/216 627
/proc/meminfo: memFree=31262764/32770624 swapFree=0/280512
[pid=487] ppid=484 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/487/stat : 487 (xcsp3-exec) S 484 487 30500 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 45770494 9740288 345 18446744073709551615 4194304 5098028 140727082922432 140727082920536 140128090698364 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 31887360 140727082926497 140727082926701 140727082926701 140727082930155 0
/proc/487/statm: 2378 345 289 221 0 87 0
[pid=489] ppid=487 vsize=13980732 CPUtime=260.57 cores=0,2,4,6
/proc/489/stat : 489 (java) S 487 487 30500 0 -1 1077944320 144969 0 0 0 26014 43 0 0 20 0 15 0 45770504 14316269568 79334 18446744073709551615 4194304 4196468 140726640509744 140726640492288 139964746972919 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
/proc/489/statm: 3495183 79334 3251 1 0 3483476 0
[pid=489/tid=490] ppid=487 vsize=13980732 CPUtime=239.36 cores=0,2,4,6
/proc/489/task/490/stat : 490 (java) R 487 487 30500 0 -1 4202560 19544 0 0 0 23930 6 0 0 20 0 15 0 45770504 14316269568 79334 18446744073709551615 4194304 4196468 140726640509744 139964751212096 139964349502471 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=491] ppid=487 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/489/task/491/stat : 491 (java) S 487 487 30500 0 -1 1077944384 754 0 0 0 34 5 0 0 20 0 15 0 45770505 14316269568 79334 18446744073709551615 4194304 4196468 140726640509744 139964666387472 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=492] ppid=487 vsize=13980732 CPUtime=0.37 cores=0,2,4,6
/proc/489/task/492/stat : 492 (java) S 487 487 30500 0 -1 1077944384 804 0 0 0 33 4 0 0 20 0 15 0 45770505 14316269568 79334 18446744073709551615 4194304 4196468 140726640509744 139964665334928 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=493] ppid=487 vsize=13980732 CPUtime=0.37 cores=0,2,4,6
/proc/489/task/493/stat : 493 (java) S 487 487 30500 0 -1 1077944384 1824 0 0 0 33 4 0 0 20 0 15 0 45770505 14316269568 79334 18446744073709551615 4194304 4196468 140726640509744 139964664281872 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=494] ppid=487 vsize=13980732 CPUtime=0.38 cores=0,2,4,6
/proc/489/task/494/stat : 494 (java) S 487 487 30500 0 -1 1077944384 2260 0 0 0 33 5 0 0 20 0 15 0 45770505 14316269568 79334 18446744073709551615 4194304 4196468 140726640509744 139964343905168 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=495] ppid=487 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/489/task/495/stat : 495 (java) S 487 487 30500 0 -1 1077944384 1761 0 0 0 4 1 0 0 20 0 15 0 45770506 14316269568 79334 18446744073709551615 4194304 4196468 140726640509744 139964225505520 139964746984066 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=496] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/496/stat : 496 (java) S 487 487 30500 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 45770506 14316269568 79334 18446744073709551615 4194304 4196468 140726640509744 139964224451808 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=497] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/497/stat : 497 (java) S 487 487 30500 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 45770507 14316269568 79334 18446744073709551615 4194304 4196468 140726640509744 139964223398640 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=498] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/498/stat : 498 (java) S 487 487 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45770509 14316269568 79334 18446744073709551615 4194304 4196468 140726640509744 139964222347216 139964746991515 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=499] ppid=487 vsize=13980732 CPUtime=9.4 cores=0,2,4,6
/proc/489/task/499/stat : 499 (java) S 487 487 30500 0 -1 1077944384 56180 0 0 0 936 4 0 0 20 0 15 0 45770509 14316269568 79334 18446744073709551615 4194304 4196468 140726640509744 139964221295344 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=500] ppid=487 vsize=13980732 CPUtime=9.1 cores=0,2,4,6
/proc/489/task/500/stat : 500 (java) S 487 487 30500 0 -1 1077944384 47438 0 0 0 906 4 0 0 20 0 15 0 45770509 14316269568 79334 18446744073709551615 4194304 4196468 140726640509744 139964220242800 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=502] ppid=487 vsize=13980732 CPUtime=0.98 cores=0,2,4,6
/proc/489/task/502/stat : 502 (java) S 487 487 30500 0 -1 1077944384 12109 0 0 0 95 3 0 0 20 0 15 0 45770509 14316269568 79334 18446744073709551615 4194304 4196468 140726640509744 139964219189744 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=503] ppid=487 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/489/task/503/stat : 503 (java) S 487 487 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45770509 14316269568 79334 18446744073709551615 4194304 4196468 140726640509744 139964218137440 139964746983125 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
[pid=489/tid=504] ppid=487 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/489/task/504/stat : 504 (java) S 487 487 30500 0 -1 1077944384 944 0 0 0 3 4 0 0 20 0 15 0 45770513 14316269568 79334 18446744073709551615 4194304 4196468 140726640509744 139964217084464 139964746984066 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726640513498 140726640513673 140726640513673 140726640517071 0
Current children cumulated CPU time (s) 260.57
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 489 sig 9
??? kill 487 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 487 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1934
# CPU time returned by wait4() is 0.001934
# while last known CPU time is 260.57
#
# 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): 260.57
CPU user time (s): 260.14
CPU system time (s): 0.43
CPU usage (%): 108.566
Max. virtual memory (cumulated for all children) (KiB): 13993928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001934
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.944915 second user time and 1.55966 second system time
The end